moaminsharifi/fa-wiki-spell-checker huggingface dataset:
کنوانسیون اصطلاحات فیلسوفانی که قبل از سقراط فعال بودند، پیش از سقراط با انتشار 1903 Fragmente der Vorsokratiker، هرمان الکساندر دیلس مالی کسب می‌کردند. هرچند این اصطلاح با افلاطون و ارسطو و سقراط) با عنوان "مدرسه آتن" شناخته می‌شود، یک تغییر عمیق در موضوع و روش‌های فلسفه ایجاد کرد. تز فریدریش نیچه که این تغییر با افلاطون و نه سقراط شروع شد از این رو، طبقه‌بندی او از "فلسفه پیش از سقراط") مانع غلبه بر تمایز "پیش از سقراط" نشده‌است.Greg Whitlock, preface to "The Pre-Platonic Philosophers", by Friedrich Nietzsche (Urbana: University of Illinois Press, 2001), xiii–xix.
فلاسفه قبل از سقراط، قبل از هر چیز به کیهان‌شناسی، هستی‌شناسی و ریاضیات می‌پرداختند. آن‌ها با غیر فیلسوفان با کنار زدن توضیحات اسطوره‌ای به نفع گفتگوی منطقی، متمایز می‌شدند.John Burnet, "Greek Philosophy: Thales to Plato", 3rd ed. (London: A & C Black Ltd. , 1920), 3–16. Scanned version from Internet Archive
"تالس میلتس، که ارسطو از او به عنوان اولین فیلسوف یاد می‌کرد،Aristotle, Metaphysics Alpha", 983b18." تصریح کرد که همه چیز از یک ماده (فیزیک) به وجود می‌آید:آب. این به این معنا نیست که او کیهان‌زایی را به وجود آورد که جان بورنت او را «اولین انسان علم» می‌نامد. اما چون او توضیح طبیعت‌گرایی از کیهان را ارائه داد و با دلایل آن را پشتیبانی کرد.Burnet, "Greek Philosophy", 3–4, 18."
بر حسب سنت، تالس قادر به پیش‌بینی "ماه گرفتگی بود و مصری‌ها را نیز آموخت که چگونه ارتفاع هرم‌ها را اندازه‌گیری کنند.Burnet, "Greek Philosophy", 18–20; Herodotus, Histories", I.74.""
مکتب ملطی از تالس و پس از او از آناکسیماندروس الهام گرفت. آن‌ها استدلال می‌کردند که لایه زیرین یا آرچ نمی‌تواند از اب یا عناصر چهارگانه باشد بلکه در واقع چیزی «نامحدود» یا «بینهایت» می‌باشد که به یونانی به آن آپایرون می‌گویند.
در عصر هلنیستی و دوران امپراطوری رم ، مکتب‌های فکری مختلفی در دنیای هلنیستی و در جهان یونانی رومی به وجود آمدند. یونانی‌ها، مصری‌ها، عرب‌ها و سوری‌ها به این مکتب افزودند. مواردی از فلسفه در ایران و فلسفه هندی در این مکتب تأثیر گزاردند.
فروردین ١٣٨٥، نخستین ماه سال ١٣٨٥ هجری خورشیدی است.
آغاز آن جمعه، ۱ فروردین ۱٣٨٥ (۲۱ مارس ۲۰۱۴ میلادی) برابر با ۱۹ جمادی الاول ۱۴۳۵ هجری قمری است.
در علوم رایانه، فیبر یک نخ اجرایی سبک‌وزن است.
مانند نخ‌ها فیبرها دارای فضای آدرس مشترک هستند ولی فیبرها از چندکارگی همکارانه استفاده می‌کنند ولی نخ‌ها از چندکارگی به‌کمک قبضه‌کردن استفاده می‌کنند.Wikipedia contributors, "Fiber (computer science)," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Fiber_(computer_science)&oldid=598708959 (accessed April 5, 2014).
اسلوبودان کواچ
باشگاه والیبال پی جی ای کا پ اس اسکرا بلچاتوف اس آ معروف به اسکرا بلچاتوف یا اسکرا بلخاتوف باشگاه حرفه‌ای والیبال مستقر در بلچاتوف لهستان است. این باشگاه در سال ۱۹۳۰ با نام ار کا اس اسکرا تأسیس شد و از زمان تأسیس تا به امروز شش بار تغییر نام داد. اسکرا با ۷ قهرمانی در پلوس لیگا موفق‌ترین باشگاه لهستان است. میلاد عبادی پور بازیکن ایرانی، بازیکن سابق این تیم بوده‌است
نیروگاه گازی کُنارک (استان سیستان و بلوچستان، شهرستان کنارک، بهره‌برداری(۱۳۵۶)، یکی از نیروگاه‌های ایران از نوع گازی با ظرفیت تولید ۱۴۲٫۵ مگاوات است که شامل ۶ واحد گازی ۲۳٫۸ مگاواتی مدل GE-Frame5 ساخت شرکت فرانسوی آلستوم است.
قدرت عملی نیروگاه در زمستان ۱۰۸ مگاوات و در تابستان ۱۰۲ مگاوات است. میانگین قدرت عملی هر واحد ۱۷٫۸ مگاوات است.
سوخت واحدها گاز طبیعی و سوخت پشتیبان گازوئیل است که گازوئیل در ۹ مخزن، مجموعاً به ظرفیت ۲۰ میلیون لیتر ذخیره‌سازی می‌شود.
طبق آمار سال ۱۳۹۱، مصرف گازوئیل نیروگاه کنارک [در سال ۱۳۹۱] ۱۳۵۲۰۹ هزار لیتر، راندمان ۲۲٫۶ درصد و کارکرد نیروگاه در سال ۳۱۹۳ ساعت که کارکرد نیروگاه در سال طبق درصد ۳۶٫۴ درصد بوده‌است.نیروگاه 6 واحدی کنارک
در اردیبهشت ۱۳۹۱، ۱۰۰ درصد سهام نیروگاه کنارک به ارزش کل پایه ۷۴ میلیارد و ۸۹۷ میلیون و ۶۲۰ هزار تومان به وکالت از سوی توانیر واگذار شد.
احمد عجم سیاستمدار ایرانی است که به عنوان ششمین استاندار قزوین در دولت دهم فعالیت می‌کرد.
احمد عجم در پیشینه کاری خود
دارا می‌باشد.
هیلتون ورلدواید شرکت خدمات هتل‌داری و مهمان‌نوازی آمریکایی است، که اکثریت سهام آن متعلق به گروه سرمایه‌گذاری بلک‌استون می‌باشد.
شرکت هیلتون در سال ۱۹۱۹ توسط کنراد هیلتون، با نام؛ هتل هیلتون در شهر سیسکو، تگزاس تأسیس شد و در حال حاضر با در اختیار داشتن شبکه‌ای از ۳٫۸۹۷ هتل، که در ۹۱ کشور گسترده می‌باشند، پس از گروه هتل‌های اینترکنتیننتال به‌عنوان دومین گروه هتلداری بزرگ جهان شناخته می‌شود.Hilton website
دفتر مرکزی این گروه در شهر تایسونز کرنر، ویرجینیا، در ایالات متحده آمریکا قرار دارد و بخشی از سهام آن در بازار بورس نیویورک معامله می‌شود. در ماه اوت سال ۲۰۱۲ در رتبه‌بندی انجام شده توسط مجله اقتصادی فوربز، شرکت هیلتون در رتبه ۳۸ از بزرگترین شرکت‌های خصوصی ایالات متحده قرار گرفت.
باشگاه والیبال سادا کروزیرو باشگاه حرفه‌ای والیبال مستقر در بلو هوریزونته٬ میناس گرایس، برزیل است. این باشگاه در سال ۲۰۰۶ تأسیس شد. سادا در سال ۲۰۱۳ قهرمان باشگاه های جهان شد و پیشرفت چشمگیری از زمان تأسیس زود هنگام خود داشت.
این آلبوم ها بر روی نوار کاست منتشر شدند.
سال انتشار: ۱۳۵۸
سال انتشار: ۱۳۶۰
این ترانه ها بر روی صفحه ۴۵ دور گرامافون منتشر شدند.
سال انتشار: ۱۳۵۰
سال انتشار: ۱۳۵۱
در سال ۱۳۵۲ برای فیلم "زن باکره" استفاده شد.
سال انتشار: ۱۳۵۲
سال انتشار: ۱۳۵۳
در روی دوم صفحه آهنگی از "دمیس روسس" است.
آهنگ و تنظیم مشترک با "ماهی خسته من" و شعر متفاوت. برای فیلم "تنگسیر".
این آهنگ ها در مجموعه های مختلف بر روی نوار کاست یا سی دی منتشر شدند.
جزایر ویرجین مجمع‌الجزایری است واقع در دریای کارائیب، بین دریای کارائیب و اقیانوس اطلس شمالی و در شرق پورتوریکو. این جزایر به سه بخش جزایر ویرجین آمریکا، جزایر ویرجین بریتانیا و جزایر ویرجین اسپانیا تقسیم می‌شوند.
آندره آ زورزی ملقب به زورو متولد ژوئیه ۱۹۶۵ در نوآله استان ونیز بازیکن سابق، تحلیلگر و اسطوره ایتالیایی والیبال، که دو عنوان قهرمانی جهان با تیم ملی والیبال مردان ایتالیا در سال‌های (۱۹۹۰ و ۱۹۹۴) به دست آورده‌است. زورزی در سال ۱۹۹۱ توسط فدراسیون جهانی والیبال به عنوان برترین بازیکن سال جهان اعلام شد. زورزی با تعدادی از شبکه‌های مهم ایتالیا به عنوان کارشناس همکاری و همچنین در روزنامه‌ها و مجلات نیز حضور فعال داشته‌است.
زورزی در سال ۱۳۹۰ به ایران سفر کرد و پس از دیدن بازی برگشت سایپا و شهرداری ارومیه نیز عازم آمل شد تا از نزدیک شاهد بازی حساس پیکان و کاله در بازی سوم مرحله نیمه پایانی لیگ برتر ایران در این شهر باشد. زورزی را در این سفر خولیو ولاسکو مربی پیشین او و داورزنی رئیس فدراسیون والیبال ایران همراهی کردند. زورزی به محل تمرین تیم ملی وزنه‌برداری ایران هم رفت و از آن جا دیدن نمود.
ویلیام رید پریدی معروف به رید پریدی، (متولد ۱ اکتبر ۱۹۷۷ در ریچموند، ویرجینیا، آمریکا) بازیکن تیم ملی والیبال آمریکا است. پریدی به عنوان یکی از بهترین پشت خط زن‌های آمریکا محسوب می‌شود.
پریدی در ریچموند، ویرجینیا به دنیا آمد.
پریدی از دبیرستان مانتین فونت در فونیکس، آریزونا فارغ‌التحصیل شد و در همان اولین سال دانشکده خود، دانشگاه ایالت آریزونا، سال ۱۹۹۶ در مسابقات والیبال شرکت کرد. پرایدی در سال ۲۰۰۰ از دانشگاه لویولا مریمانت با تحصیل در رشته مطالعات ارتباطات فارغ‌التحصیل شد. پریدی در ادامه دانشگاه ایالتی کالیفرنیا در نورتریج و دانشگاه کالیفرنیا، سانتا باربارا استخدام شد. پریدی در تاریخ ۱۰ مارس ۲۰۰۷ با لیندسی پیرس ازدواج کرد.
ویلیام اولین بازی ملی خود را در سال ۱۹۹۹ در بازی‌های پان امریکن انجام داد. پریدی به همراه تیم ملی آمریکا موفق به کسب مدال طلا بازی‌های المپیک تابستانی ۲۰۰۸ و مدال برنز المپیک ریو ۲۰۱۶ شد.
سینوپاریکی از داروهای درمان پوکی استخوان در خانم‌های یائسه است که این خانم‌ها با خطر بالای شکستگی استخوان مواجه هستند.
برای درمان افزایش تراکم استخوان در مردانی که دارای بیماری هیپوگنادال استئوپروسیس هستند نیز بکار می‌رود که این مردان با خطر بالای شکستگی استخوان مواجه هستند.
سینوپار برای درمان بیماری بیماران مبتلا به استئوپروسیس بکار می‌رود که این بیماران مدت طولانی است که برای درمان خود از گلوکوکورتیکوئید استفاده می‌کنند و این بیماران با خطر بالای شکستگی استخوان مواجه هستند. ریسک بالای شکستگی استخوان می‌تواند به دلیل پوکی استخوان یا ناتوانی در درمان پوکی استخوان با داروهای دیگر باشد.
تری پاراتید هورمون
سینوپار یک پاراتیروئید هورمون نوترکیب انسانی است که به آن rhPTH نیز گفته می‌شود. پاراتیروئید هورمون از ۸۴ اسیدامینه تشکیل شده‌است که بخش فعال بیولوژیک آن حاوی ۳۴ اسیدامینه است که در بخش N.terminal آن قرار دارد. وزن مولکولی این هورمون ۴۱۱۷٫۸ دالتون می‌باشد.
برای تولید سینوپار از سویه ای از باکتری اشرشیاکولی استفاده شده‌است که توسط تکنولوژی DNA نوترکیب در این سویه تغییرات ژنتیکی ایجاد گردیده‌است.
پاراتیروئید هورمون نقش اولیه در تنظیم متابولیسم کلسیم و فسفات را در استخوان‌ها و کلیه دارد. فعالیت بیولوژیکی PTH و سینوپار از طریق اتصال به رسپتورهای سطحی سلول و تنظیم فعالیت این سلول‌ها صورت می‌گیرد. اثری که سینوپار بر سیستم اسکلتی بدن می‌گذارد وابسته به الگوی اثر سیستماتیک دارو دارد.
اثرات جانبی:
عوارض جانبی جدی که گاهی باعث توقف مصرف دارو می‌شوند:
اثرات جانبی با جدیت کمتر:
بیمارانی که داروی دیگوگسین باید در مصرف سینوپار محتاط باشند.
سینوپار به صورت ویال‌های 3ml حاوی 250mcg دارو به همراه ۲۸ سرنگ انسولین و یک بروشور وجود دارد.
اسکندر کینس مشاور سیاسی و بازیگر سابق انگلیسی است که بیشتر برای ایفای نقش ادموند پونسی در "سه‌گانه فانتزی سرگذشت نارنیا" شهرت دارد.Skandar Keynes. "IMDb", retrieved 2011-07-18
اسکندر کینس در ۵ سپتامبر ۱۹۹۱، در منطقه کمدن لندن به دنیا آمد. او فرزند «زِلفا حورانی» و «رندال کینس» است. او یک خواهر بزرگتر (متولد ۱۹۸۹) به نام «سمیه-ان» دارد که در تولیدات مختلف رادیو بی‌بی‌سی ۴ ظاهر شد و در حال حاضر به عنوان یک اقتصاددان در مؤسسه مطالعات مالی کار می‌کند.Soumaya Keynes at the Institute for Fiscal Studies . "Institute for Fiscal Studies", retrieved 2013-11-23
اسکندر از جانب پدر خود، انگلیسی‌تبار است. او نوه فیزیولوژیست ریچارد کینس، برادرزاده دو استاد کمبریج (مورخ سیمون کینس و عصب‌شناس راجر کینس) پسر عموی نویسنده کاتولیک و مدافع لورا کینسWest, Ed (2013-06-13). ‘Descendant of Darwin Becomes a Catholic Apologist|Descendant of Darwin Becomes a Catholic Apologist’ . "The Catholic Herald". Retrieved 2013-07-09. و نوه نوه برادرزاده اقتصاددان، جان مینارد کینس است.پدر بزرگ پدربزرگ پدربزرگ او، طبیعت‌شناس و زمین‌شناس معروف، چارلز داروین بود. شوهر خواهر پدر پدربزرگ او، زیست‌شناس معروف، آرچی‌بالد هیل و همچنین پدربزرگ و مادربزرگِ پدربزرگ و مادربزرگ او، برنده‌های جایزه نوبل و هستر آدریان و ادگار آدریان بودند.او از جانب مادری، تبار لبنانی، فارسی و ترکی دارد.SKANDAR KEYNES – Personal Facts . "Skandar-keynes.com", 2008-07-31, retrieved 2011-07-18 (نام اسکندر، پشتویی نام یونانی الکساندر است). البته طبق قانون تابعیت لبنان، او از نظر قانونی در لبنان، یک خارجی است و آن را وطن دوم خود در نظر می‌گیرد.مادربزرگ مادری او فروغ افنان و پدربزرگش سیسیل فالدو حورانی مشاور رئیس‌جمهور اخیر تونس، حبیب بورقیبه بود. خانواده حورانی از مرجعیون، لبنان به منچستر مهاجرت کرده بودند. دو عموی مادر اسکندر آلبرت حورانی، مورخ بزرگ خاورمیانه و جورج حورانی، فیلسوف و مورخ کلاسیک بود.
مسجد کوفه بوشهر در عهد سلطنت ناصرالدین شاه قاجار ساخته شدهو دارای فرم مساجد قاجاریه است.اداره کل میراث فرهنگی و گردشگری استان بوشهراین مسجد که در کنار منزل آیت الله سید مهدی علم‌الهدی بوشهری قرار دارد به گفته معمرین محله بهبهانی یکی از مساجدی بوده که وی در آن نماز جماعت را برگزار می‌کرده است.
این مسجد که با طرح شبستانی و پوشش مسطح در محله بهبهانی از محلات چهارگانه قدیم بوشهر شکل گرفته، نمونه‌ای از بناهای مذهبی است. این مسجد از جهت سادگی ومناسبات انسانی یادآور مساجد قرون اولیه هجری است. از ویژگیهای این مسجد تکثر درها و پنجره هاست که با توجه به شرایط آب و هوایی بوشهر ساخته شده است. حیاط مسجد مربع شکل است و تعداد ستونهای شبستانهای آن هشت عدد است که به صورت هفت و پنج ابرویی کار شده‌اند.
جورجینا هلن "جورجی" هنلی (زاده ۹ ژوئیه ۱۹۹۵ در یورک‌شر غربی) بازیگر انگلیسی است که برای بازی در نقش لوسی پونسی در "سه‌گانه فانتزی سرگذشت نارنیا" شناخته‌ می‌شود.
جورجی هنلی ۹ ژوئیه ۱۹۹۵ در ایکلی، یورک‌شر غربی به‌دنیا آمد. پدر و مادر او مایک و هلن هنلی می‌باشند. هنلی در مدرسه دخترانه مورفیلد درس خواند و سپس در مدرسه بردفورد گرامر ادامه تحصیل داد. جورجی هنلی دو خواهر بزرگ‌تر به نام‌های ریچل و لورا دارد. ریچل در فیلم "" نقش لوسی در بزرگسالی را بازی کرد.
هنلی در اولین فیلم خود نقش لوسی پونسی در فیلم "" محصول ۲۰۰۵ براساس کتاب شیر، جادوگر، جالباسی نوشتهٔ سی. اس. لوئیس بازی کرد. فروش جهانی فیلم بیش تر از ۷۵۰ میلیون دلار شد. هنلی بعد از آن دوباره در نقش لوسی پونسی ظاهر شد. سال ۲۰۰۸ در فیلم ""، سال ۲۰۱۰ در فیلم "". همچنین هنلی از سال ۲۰۰۶ تا ۲۰۱۳ در تئاتر حضور داشت.
او در اقتباس بی‌بی‌سی از رمان جین ایر در نقش کودکی جین ایر بازی کرد. هنلی در فیلم جنایی-درام "خواهران بی‌نقص" نقش بث را بازی کرد. داستان فیلم در مورد دو خواهر نوجوان کانادایی است که مادر خود را می‌کشند. هنلی در فیلم "انجمن خواهری شب" نقش ماری وارن را بازی کرد.
هنلی در زمان تحصیل خود در دانشگاه کمبریج در تئاتر نیز حضور یافت و در نمایش‌نامه‌های "دوباره بنواز،سم" توسط وودی آلن، "پنلوپیاد" توسط مارگارت اتوود و "زنان تروا: یک ساعت نارنجی" توسط آنتونی برگس بازی کرد.
در سال ۲۰۱۵، هنلی اولین فیلم کوتاه خود، "تاید"، را به نویسندگی و کارگردانی خود ساخت. در اواخر ۲۰۱۶، هنلی در فیلم "به همه مناطق دسترسی داشته‌باشید" نقش بث را بازی کرد. هنلی همچنین در پیش‌درآمد بدون عنوان سریال "بازی تاج‌وتخت" انتخاب شده‌است.
هنلی در ایکی، یورکشر غربی زندگی می‌کند. او حمایت کننده روستای کودکان اس‌او‌اس، سازمان بین‌المللی خیریه فراهم‌کنندۀ خانه و مادر برای فرزندان یتیم و رهاشده است.
لوسی به همراه خواهر و برادرانش به دلیل شدت گرفتن جنگ به اجبار به حومه شهر، نزد پروفسوری به نام دیگوری کریک، می‌روند. در روز دوم اقامتشان هنگامی که در حال قایم‌باشک بازی هستند، لوسی کمدی را پیدا می‌کند که راه ورود به نارنیاست. لوسی در نارنیا با یک فائون، آقای تامنس، ملاقات می‌کند.
یک‌سال از بازگشت فرزندان پونسی از نارنیا گذشته‌است که سرزمین نارنیا دوباره آن‌ها را فرا می‌خواند.
جنگ ادامه دارد. لوسی و ادموند به اجبار در خانه یکی از اقوام دورشان زندگی می‌کنند.
در این بازی هر کارکتر قدرت متفاوتی دارد. لوسی می‌تواند حیوانات را رام کرده و با حیوانات مختلف سواری کند. همچنین او قدرت شفادهی دارد.
اندرو آدامسون
سی. اس. لوئیس
سرگذشت نارنیا (مجموعه کتاب)
سرگذشت نارنیا (مجموعه فیلم)
ویلیام موزلی
آنا پاپل ول
اسکندر کینیس
نیکول ماری دیویس معروف به نیکول دیویس، (متولد ۲۴ آوریل ۱۹۸۲ در استاکتون، آمریکا) بازیکن تیم ملی والیبال آمریکا است. دیویس به همراه تیم ملی آمریکا به مدال نقره بازی های المپیک ۲۰۰۸ و ۲۰۱۲ رسید.
فهرست استانداران خراسان رضوی شامل استانداران استان خراسان رضوی پس از تقسیم استان خراسان از سال تشکیل استان در سال ۱۳۸۳ تا کنون می‌باشد.
در فهرست زیر برخی واکنش‌های معدنی مهم عنوان شده‌است:
زبان نیااورالی زبانی بازسازی شده مربوط به خانواده زبان‌های اورالی است. این زبان در اصل در ناحیه‌ای کوچک در سال‌های ۲۰۰۰–۷۰۰۰ (تخمین‌ها متفاوت است) قبل از میلاد استفاده می‌شده‌است. موقعیت دقیق منطقه نامعلوم است و فرضیه‌های متفاوتی وجود دارد ولی بیشتر در همسایگی کوه‌های اورال تخمین زده می‌شود.
به نظر می‌رسد این زبان به دو زبان نیاسمویدی و نیافینی-اوگری منشعب شده باشد؛ که زبان نیافینی-اوگری تفاوت کمتری با زبان نیااورالی دارد.Janhunen, Juha. 1981a. "در ساختار پرتو ارالی." فنلاندی اوگریک پژوهش44, 23–42. هلسینکی: Société finno-ougrienne.
واکنش اولمان که با نام جفت شدن اولمان نیز شناخته می‌شود، گونه‌ای از واکنش جفت شدن بین چند آریل هالید درحضور فلز مس است که نخستین بار توسط فریتس اولمان و همسر وی ایرما گلدبرگ کشف گردید.
هر تابع منطقی را می‌توان به فرم‌های مختلفی بیان نمود. برای آنکه بتوان دو تابع منطقی را با هم مقایسه نمود از فرم‌های نرمال استفاده می‌کنیم. انواع فرم‌های نرم عبارتند از:مینایی، بهروز، و دیگران. ساختمان‌های گسسته. تهران:مدرسان شریف،1393.
اکنون هدف، بررسی فرم نرمال عطفی (CNF) است.
فرم نرمال عطفی یا سی ان اف در منطق بولین به ترکیبی از جملات (در منطق) گویند به‌طوری‌که جمله تشکیل شده از تفکیک یا فصل منطقی لیترال‌ها باشد. (لیترال:یک متغیر بولی یا مکمل آن می‌باشد) از سوی دیگر می‌توان گفت به صورت and و orهایی است که به شکل an AND of ORs ترکیب شداند.
تنها عملگرهای گزاره‌ای در این فرم or, and و not هستند. عملگر not تنها می‌تواند به عنوان بخشی از لیترال استفاده شود. به این معنی که فقط می‌تواند قبل از یک متغیر گزاره‌ای بیاید.
همه فرمول‌های زیر در فرم CNF هستند:
در ضمن دو فرمول آخر در فرم DNF هم هستند.
فرمول‌های زیر در فرم CNF نیستند:
هر فرمولی می‌تواندهم ارز با یک فرمول دیگر در فرم CNF باشد.
به‌طور مثال برای سه مثال بالا، به ترتیب سه فرمول زیر در فرم CNF، هم ارز با آن‌ها وجود دارد:
راه اول:
گام اول: جایگزین کردن علامت‌های (formula_15) , (formula_16)به صورت زیر:
گام دوم: استفاده از قانون دمورگان (برای انتقال نقیض(formula_19) به داخل پرانتزها)
گام سوم :استفاده از قانون توزیع‌پذیری (پخش کردن or روی andها):
به مثال توجه کنید:CNF عبارت روبه رو را به دست می‌آوریم. formula_24
استفاده از جدول درستی:(که البته راه طولانی تری است)
به مثال روبه رو توجه کنید.formula_27
formula_29 و formula_30
ایمره ایساک (؛ زاده ۲۱ فوریه ۱۹۲۹ درگذشته ۲۱ آوریل ۱۹۶۵) یک ریاضی‌دان، فیزیک‌دان، و ستاره‌شناس اهل مجارستان بود.
ژوزف پتزول (؛ زاده درگذشته ) یک فیزیک‌دان اهل مجارستان بود.
یوهان آندریاس سگنر (؛ زاده درگذشته ) یک ریاضی‌دان و فیزیک‌دان اهل آلمان بود.
جان وِن فیلسوف و منطق‌دان بریتانیایی بود و به دلیل نمودار ون که به طور گسترده در بسیاری از علوم استفاده می‌شود، شهرت یافت.
در جنگ جهانی دوم (۱۹۴۱–۴۵) آمریکا از پروپاگاندا برای حمایت از جنگ و قول پیروزی متفقین استفاده کرد و مجموعهٔ وسیعی از رسانه‌ها، مبلغان دامن زن به نفرت نسبت به دشمن و حمایت از متفقین آمریکا را به کار گرفت تا مردم از جنگ و هزینه‌های جنگی و باغ پیروزی بیشتر حمایت کنند و متقاعد شوند که صرفه جویی کنند تا از جنگ و خرید اوراق مشارکت جنگ بیشتر حمایت شود. وطن پرستی در مرکز تبلیغات جنگ قرار داشت. به صورت مشخص در کمپین‌های خرید اوراق مشارکت جنگ، ارتقای کارایی کارخانه‌ها، کاهش شایعات ناخوشایند و روحیهٔ مقاوم مردمی نمودار بود. جنگ نقش تبلیغات صنایع در جامعهٔ آمریکا را مستحکم و نقدها را منحرف کرد.Inger L. Stole, ‘’Advertising at War: Business, Consumers, and Government in the 1940s’’ (University of Illinois Press; 2012)
شمارنده حلقوی نوعی از شمارنده محسوب می‌شود که با استفاده از رجیسترهای حلقوی ایجاد می‌شود. در این شمارنده، خروجی شیفت رجیستر آخر به عنوان ورودی اولین رجیستر در نظر گرفته می‌شود.
در شمارنده‌های حلقوی دو مدل متفاوت می‌توان دید:
مقدار دهی اولیه این شمارنده با ۱۰۰۰ است.
پس بر اساس کار این شمارنده، الگوی زیر را خواهیم داشت:
۱۰۰۰٬۰۱۰۰٬۰۰۱۰٬۰۰۰۱٬۱۰۰۰,….
فقط به این نکته نوجه نمایید که یکی از این رجیسترها در این شمارنده با مقدار ۱ باید پر شود تا این شمارنده صحیح عمل نماید.
این شمارنده، شمارنده Johnson یا Mobius نیز نامیده می‌شود. در این شمارنده همانند شمارنده حلقوی معمولی عمل می‌نماید، اما به جای اعمال خروجی آخر به رجیستر اول، مکمل آن وارد می‌شود، در این مدل شمارنده صفرها یا یک‌ها در حال چرخش در رجیسترها هستند.
به‌طور مثال، یک شمارنده چهار بیتی را در نظر بگیرید که با ۰۰۰۰ مقدار دهی اولیه شده‌است، الگویی که در هنگام کار این شمارنده ایجاد خواهد شد به شکل زیر است:
۰۰۰۰٬۱۰۰۰٬۱۱۰۰٬۱۱۱۰٬۱۱۱۱٬۰۱۱۱٬۰۰۱۱٬۰۰۰۱٬۰۰۰۰,…..
سلسله مراتبی یک شمارنده حلقوی چهاربیتی و شکل مدار منطقی آن در شکل نمایش داده شده:
شمارنده‌های حلقوی در طراحی‌های منطقی سخت‌افزاری همانند (ASIC , FPGA) جهت ایجاد یک به کار می‌روند.
یک شمارنده باینری نیاز به یک شمارنده دارد که نسبت به یک شمارنده حلقوی از پیچیدگی بیشتری برخوردار است. از دیگر معایب یک شمارنده معمولی در تأخیر ایجاد شده توسط آن می‌باشد که نسبت به تعداد بیتهای شمارنده افزایش می‌یابد در حالی که این موضوع در شمارنده حلقوی یک تأخیر ثابت دارد و وابستگی به تعداد بیتهای شمارنده ندارد (این تأخیر همان زمان انتقال یک رجیستر به رجیستر بعدی است).
ترکیب پیچیده منطقی که در یک شمارنده معمولی وجود دارد باعث ایجاد خطاهای زمانی و در نتیجه بهره‌وری سخت‌افزاری نامنظم خواهد شد.
در شمارنده‌های حلقوی در هنگام بروز پدیده مغناطیسی و نویز ( که در محیطهای پر از نویز احتمال آن زیاد است امکان تشخیص آن را دارد.
اما از معایب شمارنده‌های حلقوی می‌توان به کم بودن چگالی کدها اشاره کرد. یک شمارنده باینری که شامل N بیت است، می‌تواند 2^N حالت را نمایش دهد در حالی که در شمارنده حلقوی در مدل معمولی آن فقط N حالت و در مدل جانسون، 2N وضعیت را می‌توان نمایش داد که در طراحی سخت‌افزاری و هزینه آن بسیار تأثیرگذار خواهد بود، چرا که طراحی و پیاده‌سازی رجیسترها نسبت به مدارات ترکیبی گرانتر تمام می‌شود.
این مقاله بر گرفته شده از مقاله ای از سایت ویکپدیا می‌باشد.
تِسوتان نیکولائف سوکولوف با تلفظ دیگر اِسوتان سوکولُف، (متولد ۳۱ دسامبر ۱۹۸۹ در دوپنیتسا، بلغارستان) بازیکن تیم ملی والیبال بلغارستان است.
سوکولوف در سال ۲۰۰۸ به تیم ملی بلغارستان دعوت شد و با بلغارستان قهرمان قهرمانی والیبال اروپا در سال ۲۰۰۹ را به دست آورد و در سال ۲۰۱۳ با درخشش خود تنوانست به عنوان بهترین پشت خط زن لیگ جهانی لقب بگیرد.
تسوتان والیبال خود را در سن ۱۴ سال آغاز نمود و با وجود سن کم در تیم مارک دوپنیتسا خود را به عنوان یکی از بهترین بازیکن جوان اروپا نشان داد . این رشد سریع او را مورد توجه مردم و والیبال اروپا کرد. سوکولوف در سال ۲۰۰۸ مورد توجه تیم ترنتینو قرار گرفت اما با بندی که در قوانین لیگ سری آ بود نتوانست به این تیم بپوندد اما پس از یک سال و با منحل شدن این بند در آخرین دقایق نقل و انتقالات ۲۰۰۹ با قراردادی سه ساله به ترنتینو پیوست. او تنها پس از چند ماه حضور در ترنتینو موفق به کسب مقام قهرمانی جام حذفی ایتالیا و قهرمانی لیگ قهرمانان اروپا شد.
سوکولوف در سال ۱۳-۲۰۱۲، به باشگاه پیمونته قرض داده شد و در فصل ۱۴-۲۰۱۳ دوباره به ترنتینو بازگشت و چند روز پس از بازگشت به ترنتو موفق به کسب دومین سوپر جام ایتالیا خود با تیم خود شد و در ادامه با ترنتینو به قهرمانی جام باشگاه‌های جهان دست یافت. سوکولوف در چند سال گذشته با پیشرفت خود به عنوان یکی از بهترین پشت خط زن‌های حال حاضر تبدیل شده‌است.
سد مخزنی فریم صحرا واقع در روستای مجی که سد خاکی با هسته رسی می‌باشد در ۶۰ کیلومتری جنوب شرقی ساری بر روی رودخانه عروس و داماد از سرشاخه‌های تجن در سال ۱۳۷۹ برای زیv کشت بردن ۱۲۷۰ هکتار اراضی کشاورزی و با هزینه ۲۹،۶۷۴،۰۰۰،۰۰۰ ریال احداث شد.
قلیا ممکن است یکی از موارد زیر باشد:
اساسینز کرید: وحدت یک بازی ویدئویی به سبک اکشن-ماجراجویی و مخفی‌کاری از مجموعه بازی‌های "اساسینز کرید" است که توسط یوبی‌سافت مونترآل توسعه یافته و به‌وسیلهٔ شرکت یوبی‌سافت در ۱۱ نوامبر سال ۲۰۱۴ برای کنسول‌های پلی‌استیشن ۴، ایکس‌باکس وان و همچنین مایکروسافت ویندوز منتشر شد. این بازی دهمین نسخه از مجموعه بازی‌های اساسینز کرید و بعد از "" است. اتفاقات این قسمت از بازی در دوره انقلاب فرانسه رخ می‌دهد. این اولین نسخه در این مجموعه بود که فقط بر روی کنسول‌های نسل هشتم منتشر می‌شود. "اساسینز کرید: وحدت" برای اولین بار دارای بخش گیم پلی گروهی است و همچنین دارای داستانی زیبا می‌باشد. در این سری شخصیت قابل بازی و نقش اول بازی آرنو دوریان نام دارد. آرنو در سنین کودکی پدر خود را توسط شی کورمک (شخصیت اساسینز کرید: سرکش) از دست می‌دهد و به فرقه آساسین‌های فرانسه می‌پیوندد..
این بازی اولین بازی سری اساسینز کرید است که به صورت ویژه برای کنسول نسل هشتم توسعه داده شده‌است، و در آن پاریس با نسبت ۱:۱ ترسیم شده‌است و هزاران شخصیت دارد. بازیکنان می‌توانند در تمام شهر بگردند یا حتی وارد شمار زیادی از ساختمان‌هایی که درشان یا یکی از پنجره‌هایشان باز است، بشوند یا از سیستم فاضلاب پاریس یا دخمه مردگان پاریس بگذرند. حتی بعضی از مکان‌های تاریخی مانند کلیسای نوتردام به نسبت یک چهارم فضای واقعی قابل دسترس هستند. حتی ساختمان‌های خالی نیز می‌توانند اتاق‌هایی قفل نشده با گنج‌های یافتنی داشته باشند. هنگامی که بر یک بلندی ایستاده باشید با یک دکمه می‌توان اجسام سه‌بعدی مانند زنگ‌های خطر را مشاهده نمود. پیشنهاد می‌کنم بازی کنید.
بیشتر کومه‌های کاه معروف از محیط بازی حذف شدند و این بار می‌توان دویدن به سوی بالا و پایین را با دکمه‌های مختلف کنترل کرد. پنهان شدن میان جمع بسیار پیشرفت پیدا کرده و می‌توان با یک دکمه این حالت را فعال کرد. همچنین مبارزات رزم‌آزمایی واقع‌گرایانه‌تری داشته باشند.
ترورها با نام «مأموریت‌های جعبهٔ سیاه» معرفی شده و استراق سمع نیز از گیم‌پلی بازی نخست اساسینز کرید تبعیت می‌کند.
اما در کمال تعجب، او در خاطرات لافرنیه ، می‌بیند که ظاهرا او اهداف خوبی را دنبال میکرده و دارای روابط دوستانه با دولاسر بود. او کسی بود که با عنوان ال، نامه هشدار را برای رهبر تمپلار ها فرستاده بود .هم اکنون هم، لافرنیه در حال جمع کردن تمپلار های سنتی برای حمله به کودتا گران در هتل پاریس بود ولی بدست ارنو کشته شد.ارنو به هتل پاریس، محل دیدار مخفیانه تمپلار ها وارد می‌شود و آنجا، چهار شخص ، یکی لاتوش، یکی فردریک رولیه ،زنی بنام ماری لویک و درنهایت گرند مستر جدید، رهبر همه اینها که صورتش نامعلوم بود را دید. آرنو متوجه شد که آنها در حال صحبت درباره الیز دولا سر و توطئه‌ی قتل او بودند. آرنو سریعا هتل را ترک می‌کند و پس از پیدا کردن الیز، او را در حال انتظار برای فردی می‌بیند. آن فرد، یک دشمن بود که در لباس لافرنیه به ملاقات با الیز رفته بود، آرنو شخص را کشت و جان الیز را نجات داد. او بعد ها خبر لافرنیه را به شورا برد و بشدت مورد مواخذه قرار گرفت.
پس از تمام شدن ماجرای توطئه، آرنو که حالا تا حدودی به الیز دوباره اثبات شده بود، از او می‌خواهد تا در کافه تئاتر با او دیدار کند. آرنو در خواسته ای غیر منتظره، الیز را به شورا می‌برد و از رهبران اسسین ها می‌خواهد تا یک اتحاد را با الیز که مخالف دیگر تمپلار هاست به راه بیندازند.که البته مورد انتقاد شدید اساسین ها ،بخصوص بلک که یک محافظه کار است قرار می‌گیرد. با این وجود، میرابو قبول می‌کند تا بعدا شخصا با الیز ، دختر متحد قبلی خود حرف بزند .
آرنو و الیز از شورا خارج می‌شوند و در طول راه، آرنو اتفاقی از نقره گری بنام ژغماین که او را به اشتباه به لافرنیه هدایت کرده بود گفت. ناگهان الیز شروع به دویدن کرد و آرنو نیز او را تعقیب کرد. آنها سپس به خانه ژغماین رسیدند. الیز به آرنو توضیح داد که ژرمن خودش یک تمپلار بود که سال ها پیش ادعا کرد که در حال دریافت وحی هایی از ژاک دو موله است که مولای ناخشنودی خود را از نزدیکی میان تمپلار ها و حکومت(که از نسل فیلیپ چهارم بود) و اسسین ها نشان می‌داد.او بسبب تفکرات افراطی خود در باره اصل فرقه، توسط پدرش(دولاسر )از فرقه اخراج شد.الیز با کمک ارنو، شروع به گشتن خانه ژغماین میکنند. آنها در ادامه متوجه شدند که ژغماین، از قصد و برای نابود کردن رقیب خود لافرنیه(که به دولاسر وفادار بود)آرنو را به او هدایت کرد.او قاتل فرانسوا دولاسر، فرد پشت صحنه انقلاب بر علیه لوئی شانزدهم، و استاد بزرگ جدید فرقه تمپلار است.
پس از فهمیدن این حقیقت، به سرعت به خانه میرابو رفتند تا موفقیت در شناسایی گرند مستر تمپلار ها را با او درمیان بزارند.اما در انجا با جنازه کشته شده میرابو، رهبر اساسینها مواجه شدند. گلوگاه او با همان سنجاق معروف تمپلار ها بریده شده بود و ضارب ، آنرا زیر بالشت گذاشته بود. همچنین پیش از این، الیز، یک تمپلار با او قرار ملاقات داشته بود. در حالی که تمامی شواهد بر علیه الیز بود، آرنو این را نپذیرفت و شروع به گشتن کرد.او یک لیوان سمی که به تازگی استفاده شده را در کمد میرابو پیدا کرد. آرنو و الیز با گرفتن رد فروشنده آن سم، متوجه شدند که قاتل میرابو، یک هودی پوش(اساسین)بود. آرنو با کمک دید عقاب، رد اساسین قاتل را تا بالای کلیسا کلیسای سن-شپل گرفت .او در آنجا با بلک دیدار کرد.بلک گفت که صلح میان اسسین ها و تمپلار ها ناشدنی و غیرمنطقی است، بنابرین میرابو را کشت تا از این فاجعه جلوگیری کند.بلک ادامه داد که این نخستین بار نیست که یک اساسین برای نجات فرقه دست به همچین کار بزرگی می‌زند.بلک و آرنو باهم مبارزه کردند و پس از یک درگیری سخت و طولانی ، آرنو بلک را شکست داد.پیر بلک در آخرین لحظات خود،از آرنو خواست تا کار را تمام بکند،وگرنه، دوباره برمی‌خیزد و آن دختر (الیز)را می‌کشد. آرنو چاقو را به گلوی بلک فرو کرد و دوست قدیمی خود را کشت.در خاطرات بلک، لحظه مسموم شدن رهبر اساسینها توسط او، و همچنین نجات پدر ارنو شارل و دادن ساعت یادگاری به او در سال ها پیش مشاهده شد.
چند روز گذشت، آرنو در حالی که هنوز در میان دیگر رهبر ها منفور بود به شورا برگشت.او در جلسه اساسین ها حضور پیدا کرد. یکی از استاد های اسسین ، با نگرانی اعلام کرد که وضع کشور اصلا خوب نیست. برخی از اعضای گارد ملی تحت کنترل انقلابیون ژاکوبین درآمده و خبر هایی نیز از خلع پادشاه از سوی مجمع ملی و تشکیل حکومت جمهوری، که در راس آن تمپلار ها قرار دارند به گوش می‌رسد. تمپلار ها در قالب ژاکوبین های ملی‌گرا در حال تند کردن روند انقلاب و گرفتن قدرت هستند.
مستر اسسین دیگر ادامه داد که در صورت بالا گرفتن اعتراضات، مردم احتمالا به کاخ تویلری ،محل زندگی خانواده سلطنتی هجوم می‌برند و این اثرات فاجعه باری را خواهد داشت. کنت دو میرابو،پیش و پس از انقلاب با شاه نامه نگاری هایی داشت. اگر نامه ها بدست مردم عصبانی بی افتد، قطعا اسسین ها نابود می‌شوند.ارنو در ماموریت جدید خود ، به منطقه تویلری که حالا در دست تندرو ها افتاده بود ، نفوذ کرد. او توانست بدون شناسایی شدن، به دفتر کار لوئی شانزدهم برسد.جایی که نامه های میرابو در آن نگهداری میشد و هنوز توسط انقلابیون شناسایی نشده بود. آرنو به دفتر شاه وارد شد، او در آنجا با یک افسر تنها مواجه شد. او پس ازینکه متوجه دشمن نبودن آرنو میشود، خود را افسر توپخانهناپلئون بناپارت معرفی می‌کند. ناپلئون با اهداف شخصی، دزدکی به تویلری نفوذ کرد و در تلاش برای پیدا کردن در مخفی برای خروج است. ‌آرنو نیز در این میان مدارک را پیدا و در آتش میسوزاند.سپس، پیش از آمدن انقلابیون تندرو، از در مخفی فرار می‌کنند.
آرنو اینبار برای کشتن فردریک رویله، به دفتر بناپارت می‌رود.ناپلئون به آرنو می‌گوید که رویله(فرمانده انقلابی)،در grand chatelet، در حال قتل عام تعداد زیادی از اعضای گارد سلطنتی و مخالف ژاکوبین ها است.ارنو رویله را روی سقف ساختمان، در حال شکنجه روحی چند سرباز ، کشت.در خاطرات رویله ، متوجه برخی از جنایات او می‌شویم. آرنو بدنبال هدف بعدی، دوباره پیش الیز بازمی‌گردد و از او ، در مورد زنی بنام ماری لوِک پرسید. الیز برخی اطلاعات را به او داد و آرنو، با تعقیب یک قایق پر از غلات متعلق به لوک و دزدیدن مدارک از کاپیتان قایق، متوجه نقشه لوِک شد.ماری لوِک، که زن ثروتمندی بود برای بیشتر کردن اعتراضات بر علیه لوئی شانزدهم، دست به احتکار غلات و گرسنگی دادن مردم در دو ماه اخیر زده بود. آرنو محل او در یک کاخ را پیدا کرده و اورا در یک میهمانی می‌کشد. سپس متوجه همدست او،لوئی-میشل لوپلتیه می‌شود. او پلتیه را هم در کاخ کاردینال(رویال)می‌کشد.اودر خاطرات پلیر می‌بیند که ان شب، پلتیه در یک جلسه پر اهمیت در مجمع ملی حاضر شد و آخرین رای را برای اعدام لویی، پادشاه فرانسه داد.آرنو و الیز، ،همان شب با بالن، از دست ماموران فرار می‌کنند و شب عاشقانه ای را در فراز آسمان پاریس، می‌گذرانند.
روز اعدام پادشاه مخلوع(۲۱ ژانویه ۱۷۹۳)فرا می‌رسد. قرار است تا لوئی در میدان میدان کنکورد، به جلادان تحویل داده شود و زیر تیغ گیوتین ، اعدام شود.همچنین علاوه بر گارد ملی، تندرو ها هم در سرتاسر جمع حضور دارند. بنابرین ژغماین هم در مراسم اعدام حاضر است.ارنو با الیز دیدار میکند،سپس وارد جمعیت می‌شود و با ایگل ویژن، ژغماین را پیدا می‌کند.او پس از گذر از گارد ها، با رهبر تمپلار ها، دیدار می‌کند. همان لحظه، زمان اعدام پادشاه در انطرف میدان شروع میشود، لوئی پس از گفتن سخنرانی معروفش، بی زیر گیوتین رفت.در زمان جدایی سر لویی، ژغماین زیر لب گفت:ژاک د مولای، انتقام شما گرفته شده.در همان لحظه، الیز فرا می‌رسد و به کمک میاید، او از آرنو می‌خواهد تا سریعا بدنبال توماس،که در حال فرار است برود. آرنو قبول نمیکند و از ترس کشته شدن الیز، در مهلکه می‌ماند.ژغماین فرار می‌کند و بار دیگر نقشه اسسین برای نابودی تمپلار ها ناموفق می‌ماند.الیز، بشدت از آرنو بخاطر دنبال نکردن ژغماین عصبانی است. او از آرنو می‌خواهد که دیگه بدنبال او نیاید.ارنو سپس به شورا برمیگردد تا خبر تمام کار هایی که تاکنون کرده است را بدهد .اما توسط اسسینها، به طبقه پایین، جایی که به اساسین تبدیل شد فرستاده می‌شود. شورا اسسینها، آرنو ویکتور دوریان را بخاطر نافرمانی و خودسری برای چندمین بار، از فرقه اخراج می‌کنند و علنا با رفتن الیز و اخراج از فرقه،آرنو تمام انگیزه خود را از دست می‌دهد.
چند ماه می‌گذرد و ارنو، در طول این مدت به ورسای و عمارت دولاسر رفت و به مشروب خواری و قمار روی آورد.یکی از شب ها که از شدت مستی خوابش برده بود،پس از بیدار شدن متوجه نبود ساعت پدرش شد،او به یاد آورد که ساعتش را در مبارزه با یک گروه در یک بار از دست داد.ارنو بدنبال ساعت خود، با همان حالت مستی تا کاخ ورسای که متروک شده بود دنبال کاپیتان آن گروه، رفت و او را شکست داد.اما در جیبش ساعتش را پیدا نکرد.که ناگهان صدایی آشنا توجه آرنو را جلب کرد.الیز، که ساعت آرنو را در دست داشت.ارنو به الیز گفت که تلاش کرد تا قضیه دولاسر تکرار نشود،ولی حالا که به او نیازی نیست،پس از کل انقلاب و تمپلار ها و اساسینها کنار کشیده.اما الیز پافشاری می‌کند تو باری دیگر تلاش کنند و این قضیه را به پایان برسانند.
سرانجام آرنو متقاعد شد و لباس و اسلحه هایش را پس گرفت و با الیز به محل برگزاری اعدام‌های ورسای رفت. الویس لا توش،کارگر روی دس تونز ،هم اکنون به فرماندهی اعدام مخالفان انقلاب در ورسای گماشته شده.ارنو،با جا زدن خود بعنوان یک زندانی، به لا توش نزدیک شد و پیش از آنکه لاتوش متوجه بشود، با هیدن بلید اورا می‌کشد.در خاطرات لاتوش، با مردی بلند قد و چهار شانه مواجه شد که در چند خاطره دیگر و اتفاقات نیز از او نام برده شده.او ماکسیمیلیان روبسپیر ،رئیس جمهور انقلابی فرانسه و اصلی ترین حامی ژغماین در حکومت فرانسه است.
پس از مرگ لاتوش و پایان اعدام های ژاکوبین ها در ورسای،آرنو و الیز با یک کالسکه به مقصد پاریس،روستا را ترک می‌کنند.البته پیش از ان، باید در همایش جمهوری در باغ سلطنتی نزدیکی پاریس ،نفوذ کنند.رییس جمهور کنوانسیون ملی (جمهوری اول فرانسه)،ماکسیمیلیان روبسپیر نیز در این همایش بزرگ حضور خواهد داشت.ارنو و الیز با کمک هم، ابتدا مدارکی بر ضد روبسپیر را می‌دزدند و در جیب های طرفدارانش میگذارند، و سپس، نوشیدنی روبسپیر را الکلی می‌کنند و موجب می‌شوند تا روبسپیر در سخنرانی خود دچار توهم و هذیان گویی شود.با رفتن آبروی روبسپیر، آرنو و الیز محل را ترک می‌کنند و به پاریس برمی‌گردند.
مدتی بعد،کنوانسیون ملی(که پس از تشکیل جمهوری ، جایگزین مجمع ملی شد و همان قوه مقننه بود)،روبسپیر،رهبر حزب کوهستان(ژاکوبین)را عملا ضد کشور و تحت تعقیب نامید.جنگ داخلی میان تندرو ها و گارد ملی در بخش هایی از پاریس در حال انجام است.ارنو روبسپیررا در حال فرار از پلیس شناسایی میکند و رد او را تا hotel de villeگرفت. آرنو به خوبی به هتل وارد شد و به دفتر روبسپیر هجوم برد .همزمان، الیز هم آمد و بلافاصله با شلیک به دهان ربسپیر، از او خواست تا مکان ژرمن را بنویسد.روبسپیر، روی کاغد، نام معبد پاریس (که در ابتدای بازی در بازه زمانی برای تمپلار ها بود)را نوشت.ارنو و الیز رفتند و همان لحظه، پلیس به اتاق روبسپیر هجوم برد و اورا به جرم خیانت علیه کشور و دولت،برای اعدام در روز بعد برد.
آرنو الیز به معبد پاریس میروند،آرنو از الیز می‌خواهد تا راه های زیرزمینی را طی کند ک خود را به ژغماین که در بخش بالای برج قلعه قرار دارد برساند.ارنو از برج بالا می‌رود و خود را برای تمام کردن ماجرا آماده می‌کند.اما با صحنه بسیار عجیبی مواجه میشود،ژغماین ، شمشیر عدن را پیدا کرده بود و آنرا در دست داشت.ژغماین که استفاده از شمشیرجادویی عدن را بلد بود ، با انرژی که از شمشیربیرون می اید، آرنو را به عقب پرت کرد .آرنو در نهایت ژغماین را از پشت با هیدن بلید کشت،البته کارساز نبود، چون زخم ژغماین درمان شد و بعد، با کمک شمشیر،به طور ناگهانی غیب شد.ارنو که هنوز در عجب بود، ژغماین را در زیرزمین معد پیدا میکند و با کمک الیز و در حالیکه ژغماین شمشیر جادویی را در دست داشت، با او مبارزه کرد.در نهایت، ژغماین بشدت زخمی شد ولی آرنو را باز با انرژی شمشیر به چند متر انور تر پرتاب کرد، به طوری که یکی از ستون های نیایشگاه بر روی آرنو فرو ریخت، در اینزمان، الیز، با وجود اصرار هایی که آرنو به او کرد، به سمت ژغماین حمله کرد تا از فرارش جلوگیری کند. آرنو که از خطر آن شمشیر آگاه بود، بسرعت خود را از زیر آوار خارج کرد و به سمت الیز دوید.اما پیش از رسیدن آرنو، ناگهان نور بسیاری سرتاسر نیایشگاه را در برگرفت.چند ثانیه بعد، آرنو ار جای خود بلند شد و رفت تا الیز را پیدا کند، ولی الیز را بی جان در انطرف سالن دید.ارنو با گریه های بسیار، از الیز خواهش می‌کند تا بلند شود .اما الیز بخاطر نیروی بالای شمشیر و فشاری که به تنش وارد شد،مرده بود.ارنو سپس ژغماین را که چند متر انور تر بود دید.به سمت او رفت و به آرامی، اورا کشت.ارنو به دنیای ارواح رفت،ولی اینبار با خود ژرمن نیز حرف زد.ژغمن به آرنو گفت که در شب، ها،درحال انجام کار، تصاویری را می‌دید که خاطرات گذشتگانش را در خود داشتند.این تصاویر نا مفهوم و سخت، موجب سردرد او میشد و مجبور بود تا به آنها پایان بدهد.فرانسوا توماس ژرماین خود سیج بود خاطراتی از زندگی های پیشین خود،به ارث برده بود که در ذهن او جریان داشتند.بنابربن مجبور بود تا برای اتمام کار هایی که در زندگی های پیشین در آنها ناموفق بود،دست به همچین کار هایی بزند.او در نهایت از مرگ افرادی همچون الیز و مولای، ابراز تاسف کرد.ارنو با اندوه فراوان ،جنازه الیز را از معبد خارج کرد و در کنار مقبره پدرش فرانسوا دفن کرد.سالها بعد آرنو، با ژنرال بناپارت، به معبد بازگشت و اسکلت پوسیده ژرمن را، در میان هزاران هزار اسکلت دخمه پاریس جای داد.
خاطره ژنی از اینجا قطع می‌شود.بیشاپ،عنوان می‌کند که در چنین وضعیتی ، تمپلار های ابسترگو دیگر نمی‌توانند جنازه ژغماین را پیدا کنند.او از کار کاربر احساس رضایت می‌کند و قول می‌دهد تا دوباره با او تماس بگیرد.
۲۷ نوامبر ۲۰۱۴ رئیس یوبی‌سافت از طرف استودیوی سازندهٔ بازی به خاطر ضعیف بودن بازی در هنگام انتشار عذرخواهی کرد، اعلام کرد «کیفیت کلی بازی به خاطر باگ‌ها و مشکلات غیرمنتظرهٔ فنی کاهش پیدا کرد و کاربران را از تجربهٔ بازی در بهترین حالت بازداشت.» (با این حال در آخرین به روزرسانی این بازی، باگ‌ها به‌طور کامل رفع شده‌اند و احتمال وجود باگ در بازی به حد خیلی کمی رسیده‌است) در پاسخ به موضوع یوبی‌سافت اعلام کرد که فروش محتوای Season Pass و نسخهٔ طلایی بازی را متوقف خواهد کرد و به عنوان جبران اولین محتوای قابل دانلود بازی به نام Dead Kings -شاهان مرده- را برای خریداران بازی رایگان خواهد کرد. کسانی که نسخهٔ طلایی بازی یا کارت Season Pass را خریداری کرده‌اند نیز می‌توانند از یک کپی دیجیتالی رایگان انتخابی از بین عناوین ، سگ‌های نگهبان، گروه، فار کرای ۴، جاست دنس ۲۰۱۵، ریمن لجندز و همین‌طور محتوای خاصی مثل Assassin's Creed : Chronicles بهره ببرند.
این بازی توانست نقدهای مطلوب و نسبتاً متوسطی را دریافت کند و این را می‌توان به علت مشکلات فنی و باگ‌های زیاد در ابتدای عرضه و چندین سال پس از عرضه دانست. (در آخرین آپدیت بازی باگ‌ها و مشکلات بازی به‌طور کامل رفع شده‌است و در بازی خیلی سخت می‌توان باگی را پیداکرد). با این حال این بازی، داستانی زیبا، جزئیات فراوان و گیم پلی جذابی را داراست و می‌تواند سرگرم‌کننده باشد.
جون کوندو (؛ زادهٔ – ۱۱ مارس ۲۰۲۲) یک فیزیک‌دان اهل ژاپن بود.
آنتونی ایچیرو ساندا (؛ زاده ) یک دانشمند اهل ژاپن است.
عبدالله جهان‌پناه زاده ۱۲۹۶ ش در خیابان مولوی تهران یکی از موسیقی‌دانان سنتی ایران بود. وی از کودکی عاشق موسیقی بود و در دوران جوانی از سال ۱۳۱۳ ش توسط یکی از دوستانش با نام حسن سخی با موسیقی به صورت آکادمیک آشنایی پیدا کرد و پس از چندی نزد علیرضاخان چنگی به یادگیری ویولن پرداخت. بعد از ایشان نزد آقای آساطوریان رفت و موسیقی غربی را نیز توسط وی آموخت. در سال ۱۳۲۳ با تشکیل ارکستری مرکب از آقایان: محمد شیرخدایی (قره‌نی) حبیب‌الله صالحی (تار) اسماعیل کمالی (تار) عباس صیادی‌نژاد (پیانو) و مصطفی قراب (تنبک) آهنگی را که در پیش‌درآمد اصفهان و رِنگی را که خود ساخته بود به خوانندگی قاسم فاریا در استودیو بی‌سیم اجرا کرد.
پس از چندی موفقیت، از جهان‌پناه برای شرکت در "برنامه گل ها" دعوت می‌شود و وی در این برنامه با استادانی چون محجوبی، صبا، تجویدی، تهرانی و چند تن از هنرمندان بزرگ همکاری خود را شروع می‌کند.
وی برای خوانندگانی چون غلامحسین بنان، ایرج، ناصر مسعودی، جمال وفایی، احمد عاشورپور آهنگ ساخت.
جهان‌پناه در ۸ آبان ۱۳۷۵ درگذشت و در قطعه هنرمندان بهشت زهرا به خاک سپرده شد.
دارونشانی یا دارورسانی هوشمند ، روشی برای رساندن دارو به بیمار است، به‌گونه‌ای که در بخش مشخصی از بدن بیشترین مقدار جذب و تأثیرگذاری را داشته‌باشد.
دارونشانی به دو صورتِ «جابه‌جایی هوشمند» و «جذب هوشمند» امکان‌پذیر است.
جابجایی هوشمند به انتقال دارو به‌وسیلهٔ یک حمل‌کننده یا ورارسان که در نقطهٔ مشخصی عملی را انجام می‌دهد رخ می‌دهد.
مهم‌ترین جابجاگران هوشمند عبارت‌اند از:
جذب هوشمند، استفاده از ویژگی‌های فیزیکی یا شیمیایی بافت در نشان‌گذاری برای تأثیر یا کارکرد داروست.
برای مثال، داروها در کپسول‌هایی از جنس بسپار قرار داده می‌شوند. این کپسول‌ها در پی‌اچ یا دمای مشخصی تجزیه می‌شوند و آن پی‌اچ یا دما فقط در بافتِ مشخصی از مسیر فارماکودینامیک دارو وجود دارد که نشانه و هدف دارو نیز همان بافت است.
ترکیبات آلی فلزی و کمپلکس‌های@12@ شیمیایی فلزدار نیز چنین نقش‌هایی را بازی می‌کنند.
یکی از مهم ترین جنبه ها در طراحی سامانه های نوین داروسان،عملکرد دقیق و اختصصاصی این سامانه ها در بدن می باشد. جهت نیل به این هدف باید به‌طور مؤثر و کارآمدی از علوم پایه و علوم فنی مهندسی استفاده کرد تا بتوان سامانه هایی با دقت و عملکرد بالایی طراحی و سنتز کرد و در صورت اخذ نتلیج مثبت وارد مرحله کار آزمائی بالینی کرد.
پیشرفت در فناوری نانو، در ساخت داروها، تحویل دارو و تشخیص بیماری ها انقلابی را به وجود آورده است. امکان تولید مولکول های زیستی که عمل "داروسازی در سلول" را انجام دهند،ایجاد می شود. این مولکول های زیستی قادر به آزاد سازی نانو ذراتی از مواد شیمیائی ضد سرطان در پاسخ به علامت خاصی از سلول مبتلا می باشد.
هم اکنون امکان تهیه داروهای جدید در مقیاس نانو فراهم شده است. مساحت سح بالای این ذرات کوچک به آن ها امکان حل شدن در جریان خون را می دهد؛ در حالی که ذرات میکرو معمولی یا بزرگتر این توانائی را ندارند.
مایکل کورلئونه (به ایتالیایی: Michael Corleone) نام شخصیت داستانی-سینمایی کتاب و فیلم پدرخوانده ساختهٔ ماریو پوزو و فرانسیس فورد کاپولا می‌باشد که ایفای این نقش به عهدهٔ آل پاچینو بود. آل پاچینو برای بازی در این کاراکتر نامزد دو جایزهٔ اسکار و یک گلدن گلوب شد که به هیچ یکی از آنها دست نیافت.
از این نقش به عنوان یکی از ماندگارترین نقش‌های تاریخ سینما یاد می‌شود.
نیروگاه گازی دورود (استان لرستان، شهرستان دورود، بهره‌برداری ۱۳۵۶)، یکی از نیروگاه‌های ایران از نوع گازی با ظرفیت تولید ۹۰ مگاوات است که شامل ۳ واحد گازی ۳۰ مگاواتی مدل Type 9-TCZ ساخت شرکت براون باوری است.
قدرت عملی نیروگاه در زمستان ۶۰ مگاوات و در تابستان ۵۰ مگاوات است.
سوخت واحدها گاز طبیعی و سوخت پشتیبان گازوئیل است که گازوئیل در ۳ مخزن، مجموعاً به ظرفیت ۷ میلیون لیتر ذخیره‌سازی می‌شود.
طبق آمار سال ۱۳۹۱، مصرف گازوئیل نیروگاه دورود [در سال ۱۳۹۱] ۱۴۶ هزار لیتر، مصرف گاز ۱۷۷۶۱ هزار مترمکعب، راندمان ۱۸٫۷ درصد و کارکرد نیروگاه در سال [۱۳۹۱] ۱۱۳۵ ساعت که کارکرد نیروگاه در سال طبق درصد ۱۲٫۹ درصد بوده‌است.
سلطان کمدی یک فیلم آمریکایی در ژانر کمدی جنایی به کارگردانی مارتین اسکورسیزی است که در سال ۱۹۸۳ منتشر شد. رابرت دنیرو و جری لوییس ستارگان فیلم هستند. این فیلم نامزد نخل طلایی جشنواره فیلم کن شد.
«روپرت پاپکین» (رابرت دنیرو) برای رسیدن به آرزویش که تبدیل شدن به یک کمدین تلویزیونی است، هر راهی را برای نزدیک شدن به بُت خویش، «جری لانگ‌فورد» (جری لوئیس) می‌آزماید و در این حال دوباره با «ریتا» (دایان ابوت)، آشنائی قدیمی که اینک در یک کافه مشغول به کار است برخورد می‌کند. او سرانجام پی می‌برد که «جری» علاقه‌ای به برنامه او یا آینده‌اش ندارد.
در اینجا «روپرت» به کمک یکی دیگر از علاقه‌مندان برنامه‌های «جری» به نام «ماشا» (ساندرا برنارد)، او را می‌رباید و بهای آزادی‌اش را حضور در نمایش «جری» اعلام می‌کند. سرانجام او به استودیوی تلویزیونی راه می‌یابد تا تک‌گوئی کمیک خود را اجرا کند. «جری» نیز با کلک از دست «ماشا» خلاص می‌شود. «روپرت» با مأموران اف‌بی‌آی به کافه «ریتا» می‌رود و در آنجا برنامه خودش را می‌بیند.
او به زودی به شش سال حبس محکوم می‌شود ولی پس از دو سال و نه ماه از زندان بیرون می‌آید. در این فاصله ظاهراً چهره مشهوری شده و اکنون او را در حال اجرای نمایش تلویزیونی خودش می‌بینیم.سلطان کمدی، وبگاه (آفتاب)
http://boxofficemojo.com/movies/?id=kingofcomedy.htm
مرکز تحقیقات هسته‌ای نِگِو () واقع در حاشیه شهر دیمونا در کشور اسرائیل که در ایران و کشورهای عربی به نیروگاه اتمی دیمونا معروف است.
اسرائیل سال‌ها در این مرکز به طور مخفیانه و به‌دور از نظارت جامعه جهانی، مشغول ساخت سلاح هسته‌ای بود که بعدها و با افشا شدن منابع متعدد، تولید و نگهداری بمب‌های اتمی در این مرکز مورد تایید سازمان‌های اطلاعاتی قرار گرفت ولی هیچگاه توسط مقامات کشور اسرائیل مورد تایید رسمی قرار نگرفت.
گروه فلسطینی حماس بارها تلاش کرده است که این مجموعه هسته‌ایی را با راکت، هدف قرار دهد ولی با توجه به لایه‌های امنیتی و محافظت از موشک مرکز، تاسال۲۰۲۲ موفق به انجام این امر نشده است.
منابع محلی بامداد پنجشنبه ۲۲ اوریل ٢۰٢۱ از به‌ صدا درآمدن آژیر هشدار حمله ی موشکی در شهرک‌های اطراف نوار غزه خبر دادند.خبرگزاری فلسطینی شهاب گزارش داد: «آژیرهای هشدار در نقب به صدا درآمدند. پس از به صدا درآمدن آژیرهای هشدار دهنده در شهرک‌های نزدیک نوار غزه، صدای انفجار مهیبی شنیده شده است.»
این خبرگزاری نوشت: «شهرک‌نشینان در شبکه‌های اجتماعی نوشته‌اند، پس از به صدا درآمدن آژیرهای هشدار در اطراف نوار غزه، انفجاری در جنوب کرانه ی باختری شنیده شده است.»
شبکه ۱۲ تلویزیون اسرائیل گزارش داد: «صدای آژیرها در منطقه ی ابو قرینات، نزدیک دیمونا در نقب پخش می‌شود... به نظر می‌رسد یک موشک از نوار غزه به سمت منطقه ی دیمونا شلیک شده است.»
خبرگزاری شهاب به نقل از ساکنان جوامع بادیه‌نشین در نزدیکی دیمونا نوشت: «خانه های ما به دلیل انفجاری که پس از به صدا درآمدن آژیرهای هشدار رخ داد، لرزید. شاهدان نیز می‌گویند پس از به صدا درآمدن آژیرهای هشدار، صدای انفجار شدیدی در سراسر مناطق الخلیل، اورشلیم (قدس) و رام‌الله شنیده شده است.»
"تنها نیستی" ترانه‌ای از گروه راک آمریکایی لینکین پارک است به سبک پاپ که در ۱۹ ژانویه ۲۰۱۰ به عنوان تک‌آهنگ تبلیغاتی منتشر شد. این ترانه بخشی از آلبوم تلفیقی دانلود برای کمک به هائیتی است. این آلبوم برای مؤسسهٔ خیریهٔ موسیقی برای امداد رسانی و در جهت کمک به زلزله زدگان هائیتی در سال ۲۰۱۰ تهیه شد.
در آلبوم دانلود برای کمک به هائیتی هنرمندان زیادی همچون اسلش، انریکه ایگلسیاس، پیتر گابریل، دیو متیوز بند و… با لینکین پارک همکاری کرده‌اند.
دانلود برای کمک به هائیتی با ۱۱۵٬۰۰۰ دانلودی که داشت توانست بیش از ۱۴۸٬۳۵۰ دلار به بازماندگان این حادثه کمک کند.
این آهنگ در ورژن دوم آلبوم دانلود برای کمک به هائیتی که در سال ۲۰۱۱ منتشر شد نیز وجود دارد.
ترانه، چهارمین سینگل تبلیغاتی موفق بعد از نوری که هرگز نمی‌آید، دروغگویی از تو و ناتوان است.
لینکین پارک تاکنون این ترانه را در هیچ‌کدام از کنسرت‌ها و تورهایش اجرا نکرده‌است.
موزیک ویدئویی که بیل بوید برای این ترانه ساخت نشان می‌دهد که مردم هائیتی چگونه از زلزله جان سالم به در برده‌اند، بعد از زلزله چگونه به زندگی خود ادامه می‌دهند. همچنین امدادرسانی‌ها و همدردی مردمان دیگر از سراسر جهان را نیز به تصویر کشیده‌است. در بین این صحنه‌ها، تصاویری از گروه را هم نشان می‌دهد، چستر بنینگتون در حال خواندن و مایک شینودا در حال ضبط موسیقی و بقیه هم در حال ساخت و تنظیم ترانه هستند. در پایان ویدئو کاور آلبوم روی صفحه نمایش داده می‌شود.
موزیک ویدئو در ۲ مارس ۲۰۱۰ در یوتیوب، آی‌تیونز و مای اسپیس نمایش داده شد.ویدئوی not Alone در یوتیوب.
ترانه، در هیچ‌کدام از نمودارهای موسیقی قرار ندارد.
رِزولوشن در منطق ریاضی و اثبات قضیه خودکار، یک نوع قاعده استنتاج است. رزلوشن منجر به یک نوع فن اثبات قضیه از نوع باطل‌سازی برای جمله‌ها در منطق گزاره‌ای و منطق مرتبه اول می‌گردد؛ یعنی اگر قاعده رزلوشن را چندین بار و به صورت مناسب اعمال کنیم، می‌توانیم بگوییم که «آیا یک فرمول گزاره‌ای صادق هست»، و یا اثبات کنیم که «یک فرمول مرتبه اول صادق نیست». تلاش برای اثبات آنکه یک فرمول مرتبه‌اول صادق نیست می‌تواند منجر به محاسبات بی‌پایان بشود؛ اما در منطق گزاره‌ای این مشکل وجود ندارد.
قاعده رزلوشن را می‌توان به کارهای دیویس و پاتنم در سال ۱۹۶۰ نسبت داد؛ Here: p.  210, "III. Rule for Eliminating Atomic Formulas". با این حال، در آن‌ها نیاز بود که «همه» برای فرمول داده شده را آزمایش کرد. این منبع انفجار ترکیب‌ها در سال ۱۹۶۵ و توسط الگوریتم یکسان‌سازی نحوی از بین رفت. در این الگویتم، امکان نمونه‌برداری از فرمول در مدت اثبات «در موقع تقاضا» فراهم بود، این نمونه‌برداری فقط تا آنجا بود که کامل‌بودن باطل‌سازی حفظ شود.
به بند ایجاد شده توسط قاعده رزلوشن، جواب هم می‌گویند.
رزلوشن در منطق ریاضی راهی است برای اثبات قضیه خودکار که در حساب گزاره‌ای و منطق مرتبه اول کاربرد دارد.
اهمیت رزولوشن در این است که الگوریتم‌هایش کامل است یعنی با دریافت واقعیت‌هایی از جهان یا مسئله مورد نظر می‌تواند راه حل یا پاسخ را در صورت وجود بیابد.
یک قاعده رزلوشن در منطق گزاره‌ای یک قاعده استنتاج درست و منفرد است که یک بند جدید را، به عنوان پیامد برای دو بند ورودی شامل لیترال‌های مکمل می‌سازد. یک لیترال یک متغیر گزاره‌ای یا نقیض یک متغیر گزاره‌ای است. موقعی دو لیترال مکمل هستند که "یکی نقیض دیگری باشد" (در زیر formula_1 یک مکمل برای formula_2 در نظر گرفته می‌شود). بند نتیجه‌شده شامل همه لیترال‌هایی است که مکمل ندارند. به صورت صوری:
رزلوشن بالا را می‌توان به صورت زیر هم نوشت:
به بند تولید شده توسط قاعده رزلوشن، جواب برای دو بند ورودی هم می‌گویند. اصل اجماع به بندها و نه اصطلاح‌ها (term) اعمال می‌گردد.D.E. Knuth, "The Art of Computer Programming" 4A: "Combinatorial Algorithms", part 1, p. 539
موقعی که دو بند شامل بیش از یک جفت لیترال مکمل باشند، قاعده رزلوشن را می‌توان (به صورت مستقل) برای هر جفت به کار برد؛ با این حال، نتیجه همیشه همان‌گویی دارد.
وضع مقدم را می‌توان نوع خاصی رزلوشن درنظرگرفت (از یک بند تک لیترالی و یک بند دو لیترالی).
موقعی که رزلوشن با یک الگوریتم جستجوی کامل همراه گردد، قاعده رزلوشن منجر به یک الگوریتم استوار و کامل برای تصمیم‌گیری در مورد صداقت یک فرمول گزاره‌ای می‌شود، و با گسترش آن، اعتبار یک جمله تحت نظر مجموعه‌ای از بنداشت‌ها می‌شود.
این فن رزلوشن از برهان خلف استفاده می‌کند، و بر اساس این واقعیت است که هر جمله در منطق گزاره‌ای را می‌توان به یک جمله معادل در حالت نرمال عطفی تبدیل نمود. گام‌های این فن این‌گونه اند:
نمونه ای از این الگوریتم، اصلی است، که بعدها به صورت تصفیه شد، در این نوع تصفیه‌ای نیاز برای «نمایش صریح جواب‌ها» حذف شده است.
این توصیف فن رزلوشن از یک «مجموعه "S»"، به عنوان ساختمان داده زیربنایی برای نمایش شاخه‌های رزلوشنی استفاده می‌کند. لیست‌ها، درخت‌ها، و گراف‌های بدون‌دور سودار، دیگر جایگزین‌های معمول و ممکن هستند. نمایش درختی به این واقعیت که قاعده رزلوشن، یک قاعده دودویی است بیشتر وفادار است. همراه با یک نماد ترتیبی برای بندها، یک «نمایش درختی» این موضوع را روشن می‌سازد که «چگونه قاعده رزلوشن به حالت خاصی از "" مرتبط است»، و به فرمول‌های برش اتمی محدود می‌شود. با این حال، نمایش‌های درختی به اندازه نمایش‌های مجموعه‌ای یا لیستی فشرده نیستند، زیرا به صورت صریح زیرشاخه‌های استنتاجی «زاید» برای بندهایی که بیش از یکبار در استنتاج بند خالی استفاده شده‌اند را نمایش می‌دهند. نمایش‌های گرافی می‌توانند از نظر تعداد بندها به اندازه نمایش‌های لیستی فشرده باشند، و آن‌ها همچنین "اطلاعات ساختاری" دربارهٔ اینکه «کدام بند برای اسنتاج هر جواب حل شده‌است» را ذخیره‌سازی کنند.
در زبان ساده: فرض کنید formula_13 نادرست باشد. برای آنکه فرضیه formula_14 درست باشد، formula_15 باید درست باشد. از سوی دیگر، فرض کنید که formula_13 درست است. برای آنکه فرضیه formula_17 درست باشد، formula_2 باید درست باشد؛ بنابراین، صرف‌نظر از نادرستی یا درستی formula_13، اگر هر دو فرضیه برقرار باشند، آنوقت نتیجه formula_20 درست است.
قاعده رزلوشن را می‌توان به منطق مرتبه اول تعمیم داد:Enrique P. Arís, Juan L. González y Fernando M. Rubio, Lógica Computacional, Thomson, (2005).
که در آن formula_22 عمومی‌ترین یکسان‌ساز برای formula_23 و formula_24، و formula_25 و formula_26 هیچ متغیر مشترکی ندارند.
"گمشده در پژواک" دومین تک‌آهنگ و اولین قطعهٔ آلبوم پنجم لینکین پارک، چیزهای زنده، در ۸ اکتبر ۲۰۱۲ در سبک الکترونیک راک، آلترنتیو راک و رپ راک منتشر شد و در کل توانست نظر مثبت منتقدان موسیقی را جلب کند.
همان‌طور که در ویدئوی ساخت آلبوم به نام درون موجودات زنده نشان داده شد، عنوان کاری این ترانه "Holding Company" بود. گروه کار ضبط ترانه را در مارس ۲۰۱۲ آغاز کرد. مایک شینودا تهیه‌کننده و رپر گروه، در مصاحبه با هافینگتون پست این آهنگ را یکی از لحظاتی دانست که نشان می‌دهد کل آلبوم در مورد چیست و به نظر گروه این اولین بار در طول این چند سال بود که از کار راضی بوده و واقعاً خوب کار کرده‌اند.
این تک‌آهنگ در ابتدا قرار بود در ۲۳ ژوئیه ۲۰۱۲ منتشر شود اما با تأخیر در ۱۹ اکتبر منتشر شد. ترانه را هر دو خواننده مایک شینودا و چستر بنینگتون اجرا می‌کنند.
فیلمبرداری این ویدئو در اول ژوئیه در دیترویت میشیگان آمریکا آغاز شد. این ویدئو را "Jason Zada" و "Jason Nickel" کارگردانی کرده‌اند. از بازیگران این ویدئو می‌توان "Carly Francavilla" و "Melanie Boria" مدل و"Gino the Ghost" رپر -که نقش اصلی را در ویدئو دارد- را نام برد. نسخهٔ اولیه‌ای که در ۲۹ اوت از این ویدئو منتشر شد یک نسخهٔ تعاملی بود که بینندگان با اتصال به فیس بوک می‌توانستند ویدئو را مشاهده کنند. به این ترتیب تصاویری که در فیس بوک خود به اشتراک گذاشته بودند در ویدئو نمایش داده می‌شد و همان‌طور که مایک شینودا در مصاحبه‌های مختلف گفته بود، بیننده خاطرات شخصی خود را در ویدئو می‌دید و به واقع معنای شخصی بودن آلبوم را درک می‌کرد.
ترانه و ویدئو هر دو نظرات مثبت منتقدان را به خود جلب کردند اگرچه بیشتر منتقدان عقیده داشتند دیدن عکس‌های فیس بوکی در ویدئو، خنده دار و طنز می‌شود.