moaminsharifi/fa-wiki-spell-checker huggingface dataset:
این پرنده پرهای مشکی سخت و سیخ و صورتی آبی‌رنگ دارد. گردن آن به رنگ قرمز روشن یا زرد است و تاجی استخوانی بر سر دارد. پاهایش بزرگ و نیرومند است و پنجه‌ای خنجرمانند دارد. شترمرغ شاخدار در باتلاق‌های ساحلی و جنگل‌های بارانی کم‌ارتفاع شمال گینه نو و سه جزیره اطراف آن زندگی می‌کند و غذای آن از جانوران کوچک و میوه‌ها تشکیل می‌شود.
پرنده چندهمسر ماده در آشیانه‌ای که پرنده نر آماده کرده سه تا پنج تخم می‌گذارد اما خوابیدن روی تخم‌ها و مراقبت از جوجه‌ها تا نه ماه بر عهده جنس نر است.
شترمرغ شاخدار کوتوله که به کاسواری بِنِتی یا کوهستانی هم معروف است، نوعی پرنده بی‌پرواز بومی گینه نو از گروه شترمرغ شاخدار است. این پرنده بومی کوهستان‌های مرکزی گینه نو و دو جزیره بریتانیای نو و یاپن است.
این پرنده زمین‌زی در مقایسه با پرندگان دیگر کاملاً بزرگ است اما کمی کوچکتر از دو کاسواری دیگر (شترمرغ شاخدار شمالی و شترمرغ شاخدار جنوبی) است. وزن آن بین ۱۷ تا ۲۶ کیلوگرم و طول آن یک تا یک و نیم متر است. مانند شترمرغ‌های شاخدار دیگر یک تاج مثلثی کوچک استخوانی بر سر دارد. شترمرغ‌های شاخدار به دلیل همین تاج استخوانی به شترمرغ کلاه‌خودی نیز معروف هستند. شترمرغ شاخدار کوتوله پرهای مشکی سخت و سیخ دارد و دو طرف گردنش آبی است. پاهایش بزرگ و نیرومند است و پنجه‌ای خنجرمانند دارد. نر و ماده شبیه هم هستند. ماده‌ها کمی بزرگ‌تر هستند و تاجشان هم بزرگتر است و پوست زیر پر آنها روشن‌تر است.
شترمرغ شاخدار کوتوله در مناطق کوهستانی تا ارتفاع ۳۶۰۰ متری زندگی می‌کند و در جاهایی که شترمرغ شاخدار جنوبی حضور ندارد به مناطق کم‌ارتفاع هم می‌آید. آنها همه‌چیزخوارند و از میوه‌های افتاده، جانوران کوچک و حشرات تغذیه می‌کنند. زندگی انفرادی دارند و فقط در فصل جفتگیری با هم هستند.
جمعیت این پرنده به دلیل از میان رفتن و زوال زیستگاه‌ها، شکار و زنده‌گیری در حال کاهش است و در ردهٔ حفاظتی نزدیک تهدید طبقه‌بندی شده‌است.
شترمرغ شاخدار جنوبی نوعی پرنده بی‌پرواز سیاه‌رنگ و بزرگِ بومی جنگل‌های بارانی گینه نو، اندونزی و شمال استرالیا است. این پرنده دومین پرنده بزرگ حال حاضر دنیا پس از شترمرغ است.
شترمرغ شاخدار جنوبی پرهای سیاه زبر و خشن، صورت و گردن آبی و سس سر سرخ‌رنگ دارد. یک تاج مثلثی استخوانی بزرگ و شاخ‌مانند بر سرش روییده که ۱۳ تا ۱۷ سانتیمتر ارتفاع دارد. منقار آن بین ۱۰ تا ۱۹ سانتیمتر طول دارد. پاهای سه‌انگشتی نیرومند آن‌ها به پنجه‌هایی خنجرمانند مسلح شده‌اند. نر و ماده شبیه هم هستند. ماده‌ها کمی بزرگ‌ترند و تاج و منقارشان هم بزرگ‌تر و پوست زیر پر آنها روشن‌تر است.
طول این پرنده ۱۲۷ تا ۱۷۰ سانتیمتر، قد آن ۱/۵ تا ۱/۸ متر است. ماده‌ها میانگین وزن ۵۸/۵ و نرها ۲۹ تا ۳۴ کیلوگرم دارند. حداکثر وزن ۸۵ کیلوگرم و بلندترین قد ۱۹۰ سانتیمتر است. این پرنده اکنون (با انقراض شترمرغ عربی و موای نیوزیلندی) بزرگ‌ترین پرنده آسیا و بزرگ‌ترین پرنده استرالیا است (موا کمی بلندتر است اما وزن و طول کمتری دارد).
شهربانو امانی انگنه (زادهٔ ۱۳۳۹خ، ارومیه) فعال سیاسی اصلاح طلب، عضو پنجمین دوره شورای اسلامی شهر تهران، مشاور رئیس سازمان حفاظت محیط زیست ایران در امور زنان و خانواده و نماینده اسبق مردم ارومیه در دوره‌های پنجم و ششم مجلس شورای اسلامی است.
شهربانو امانی انگنه، در روستای انگنه از توابع شهرستان ارومیه در خانواده‌ای پر جمعیت به دنیا آمد. او تحصیلات ابتدایی، راهنمایی و متوسطه خود را در ارومیه به پایان رساند و سپس موفق به اخذ لیسانس مدیریت شد.
وی در سال ۱۳۵۹ ازدواج کرده‌است و دو فرزند دختر دارد.
در نوزدهم شهریور ۱۳۵۸ مصادف با سالروز درگذشت آیت‌الله طالقانی به همراهی گروهی از خیرین، صاحب نظران و جوانان ارومیه "سازمان توحیدی انفاق" را پایه‌گذاری کردند.
وی در سال ۱۳۶۰ به عنوان مددکار در سازمان بهزیستی تازه تأسیس مشغول به کار شد و سپس به ریاست مجتمع حمایتی قدس و پس از آن مجتمع خدمات حمایتی شهید جعفری ارومیه در آمد.
در سال ۱۳۷۵ با کسب بیشترین درصد آراء، ۴۷٫۲۰ و مجموع رای ۱۸۹٬۵۲۶ توانست به عنوان نخستین زن از حوزه انتخابیه ارومیه، استان آذربایجان غربی و همچنین در مقام نخستین زن از دیار آذربایجان به مجلس شورای اسلامی دور پنجم راه پیدا کند.
امانی، برای بار دوم موفق به ورود به مجلس ششم شد و به همراه سهیلا جلودارزاده اولین زنانی بودند که به سمت منشی در هیت رئیسه مجلس انتخاب شدند.
وی در پی اعتراضات ۲۵ بهمن ماه بازداشت شد. و بعد از دو هفته، با سپردن قرار وثیقه از زندان آزاد شد.
در تاریخ چهارم آذر ماه ۱۳۹۲، با حکم معصومه ابتکار معاون رئیس‌جمهور و رئیس سازمان حفاظت محیط زیست، شهربانو امانی انگنه به عنوان مشاور رئیس سازمان حفاظت محیط زیست در امور زنان و خانواده منصوب شد.
شهربانو امانی انگنه، در پنجمین دوره انتخابات شورای اسلامی شهر تهران در لیست امید قرار داشت و با کسب ۱،۲۹۶،۶۵۷ همانند سایر اعضای لیست به شورای شهر تهران راه یافت.
ساب ۳۷ ویگن یک هواپیمای تک سرنشین یک موتوره با برد کوتاه - متوسط ساخت شرکت ساب سوئد می‌باشد. این جنگنده بین سال‌های ۱۹۷۰ تا ۱۹۹۰ تولید شده و چندین مدل متمایز برای اجرای وظایف گوناگون ساخته شده بود مانند جنگنده ضربتی (AJ37) شناسائی اکتشافی (SF37) مراقبت دریایی (SH37) و دو سرنشینه آموزشی. در اواخر ۱۹۷۰ جنگنده رهگیر JA37 برای عملیات در هر گونه شرایط آب و هوائی به سایر مدلها اضافه شد.
ویگن در ابتدا به عنوان جایگزین برای ساب ۳۲ لانزن در نقش ضربتی و سپس جایگزین ساب ۳۵ دراکن در نقش جنگنده توسعه داده شد.. مطالعات برای اولین بار بین سال‌های ۱۹۵۲ و ۱۹۵۷ توسط یک شرکت طراحی هواپیما بنام فنلاندی آرن لاکوما انجام شد. مفاهیم مختلف مورد مطالعه قرار گرفتند شامل دو موتور مجزا یا موتور دوقلو، دو بال دلتا و ساده، همچنین دارا بودن بالچه کانارد، حتی طرح عمود پرواز، با موتورهای بالابر جداگانه در نظر گرفته شد.
هدف تولید یک هواپیمای قوی با عملکرد بسیار خوب در باند کوتاه که بتواند از بسیاری از جاده‌های مخصوص تقویت شده یا بزرگراهها به منظور کاهش آسیب پذیری در شرایط جنگ، استفاده کند. توانایی مافوق صوت در ارتفاع پائین، سرعت ۲ ماخ در ارتفاع بالا و همچنین توانایی ایجاد فرود کوتاه در زاویه پایین حمله از جمله نیازهای مورد انتظار از این پرنده بود. (برای اجتناب از خسارت در باند فرودگاه آسیب دیده). این هواپیما از ابتدا بگونه‌ای طراحی شد که تعمیر و سرویس دهی به آن به وسیلهٔ پرسنل با مهارت معمولی ممکن باشد. برای پاسخ به اهداف این طرح ساب یک پیکربندی ریشه‌ای انتخاب کرد: یک بال دلتا معمولی با یک مجموعه کانارد کوچک بالاتر از سطح بال.
تیم ملی ایران و تیم ملی کامرون تاکنون ۴ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این بازیها، ۳ مساوی و یک برد برای تیم ملی کامرون بوده است.
در این بازیها جمعاً ۵ گل به ثمر رسیده است که ۲ گل سهم تیم ایران و ۳ گل سهم تیم کامرون می‌باشد.
هر چهار دیدار بین این دو تیم غیر رسمی بوده و این دو تیم هیچگاه در یک بازی رسمی به مصاف هم نرفته‌اند.
اولین بازی بین این دو تیم در تاریخ ۱۱ بهمن ۱۳۶۱ در چارچوب جام نهرو در شهر کوچی، هند به مصاف هم رفتند که این دیدار با تساوی بدون گل به پایان رسید.
در تنها دیدار دو تیم که برنده داشت، آخرین بازی دو تیم بود که کامرون در این دیدار ۲ بر ۱ پیروز شد.
پراکسیداسیون لیپید () یعنی دژنراسیون اکسیداتیو چربی‌ها. در این فرآیند رادیکال‌های آزاد، الکترون‌ها را از چربی‌ها (مانند لیپیدهای غشای سلول) جدا می‌کنند و چربی را به صورت رادیکال در می‌آورند. این پروسه شامل یک مکانیسم واکنش زنجیروار از رادیکال‌های آزاد است؛ و اغلب اسیدهای چرب غیر اشباع را تحت تاثیر قرار می‌دهد.
مایکل جی. دورانت ، خلبان بالگرد آمریکایی از نوع سیکورسکی یواچ-۶۰ بلک هاوک با کد عملیاتی "سوپر ۴-۶ (Super۶-۴)" در نبرد موگادیشو بود که در جریان سقوط این پرنده، یازده روز به اسارت شبه نظامیان سومالیایی درآمد. وی در کارنامه عملیاتی خود، حضور در عملیات فرصت برجسته علیه نیروی دریایی ایران را نیز دارد.
پاییز، تنهایی نام هفتمین آلبوم استودیویی احسان خواجه‌امیری، خوانندهٔ پاپ ایرانی است که در ۲۹ دی ماه ۱۳۹۳ منتشر شد. بیشتر قطعات این آلبوم را روزبه بمانی سروده و زهرا عاملی و حسین غیاثی از دیگر ترانه‌سرایان این آلبوم هستند. علیرضا افکاری، احسان خواجه‌امیری، مهرداد نصرتی و علیرضا کهن‌دیری، آهنگ‌های قطعات این آلبوم را ساخته‌اند.
این آلبوم قرار بود پاییز ۹۳ منتشر شود، ولی روند صدور مجوز به موکول شدن انتشار آلبوم به بعد از ماه‌های محرم و صفر منجر شد.
"پاییز، تنهایی" شامل ۱۲ قطعه است که ۲ قطعهٔ آن، «گذشته‌ها» و «تاوان» پیش از این به صورت تک‌آهنگ منتشر شده بودند.
آلبوم(پاییز، تنهایی) برندهٔ تندیس بهترین آلبوم موسیقی پاپ از نگاه مردم در سومین دوره جشنواره موسیقی ما در سال ۱۳۹۳ انتخاب شد.
خواجه‌امیری در آذرماه ۹۲ در مصاحبه‌ای با وبسایت موسیقی ما اعلام کرد که در حال کار بر روی آلبوم جدیدش است و علیرضا کهن‌دیری، بهروز صفاریان، روزبه بمانی، علیرضا افکاری، هومن نامداری، مهرداد نصرتی و حسین غیاثی از عوامل این آلبوم خواهند بود. همچنین اعلام کرد که این آلبوم در سال ۹۳ منتشر خواهد شد. در مهرماه ۱۳۹۳، اعلام شد که نام آلبوم جدید "پاییز، تنهایی" خواهد بود و در کنسرت مهرماه، قطعهٔ «تنهایی» اجرا شد و به نوعی از آلبوم جدید رونمایی شد. قرار بود این آلبوم پاییز ۹۳ منتشر شود، اما صدور مجوز برای ترانه‌های این آلبوم، کمی طول کشید و انتشار آن را تا بعد از ماه محرم و صفر به تأخیر انداخت. به گفتهٔ خواجه‌امیری، دو ماه طول کشیده تا ترانهٔ «عشق ۲» سرودهٔ زهرا عاملی مجوزش صادر شود. اواخر آذرماه ۹۳، خواجه‌امیری در صفحهٔ شخصی‌اش نوشت که مجوز آلبوم صادر شده و "پاییز، تنهایی" اوایل دی ماه منتشر خواهد شد. اما باز هم انتشار آلبوم به دلیل «تیراژ بسیار بالا و طولانی شدنی پروسه فنی» دو هفته به تأخیر افتاد. دوشنبه ۲۲ دی ماه، علی جعفری، مدیر برنامه‌های احسان خواجه‌امیری در مصاحبه با خبرگزاری مهر اعلام کرد که «این اثر هفتهٔ آینده روانهٔ بازار موسیقی خواهد شد.» یک روز بعد رسماً اعلام شد که این آلبوم ۲۹ دی ماه به بازار خواهد آمد.
بهرنگ نامداری طراح کاور، سعید عبداللهی و یاسمن خسروی عکاسان جلد آلبوم هستند.
دو قطعه از آهنگ‌های این آلبوم قبلاً به صورت تک‌آهنگ منتشر شده بودند. «گذشته‌ها» با ترانه‌ای از حسین غیاثی، آهنگسازی مهرداد نصرتی و تنظیم هومن نامداری در مهرماه ۱۳۹۲ منتشر شد. «تاوان» با شعری از روزبه بمانی، آهنگسازی و تنظیم علیرضا کهن‌دیری در آذرماه ۱۳۹۲، به عنوان تیتراژ پایانی سریال آوای باران انتشار یافت.
شعر ۹ قطعه از این آلبوم، سرودهٔ روزبه بمانی است. زهرا عاملی ۲ قطعه و حسین غیاثی ۱ قطعه را سروده‌اند. علیرضا افکاری (٨ قطعه)، احسان خواجه‌امیری( ٢ قطعه )، مهرداد نصرتی و علیرضا کهن‌دیری (هرکدام ۱ قطعه)، آهنگ‌های قطعات این آلبوم را ساخته‌اند. میثم مروستی (سه تار)، هومن نامداری (ساکسفون)، احسان نی‌زن (ویلن و کمانچه)، فرشید ادهمی (گیتار) و نیما رمضان (گیتار)، نوازندگان این آلبوم هستند و آرش پاکزاد میکس و مسترینگ قطعات را بر عهده داشته‌است. سعید زمانی (۴ قطعه)، هومن نامداری (۳ قطعه)، آرون حسینی (۲ قطعه)، معین راهبر (۱ قطعه)، بهروز علیاری (۱ قطعه) و علی‌رضا کهن‌دیری (۱ قطعه) تنظیم‌کنندگان این آلبوم هستند.
"پاییز، تنهایی" شامل ۱۲ قطعه بود که جزئیات این قطعات در پی آمده‌است:
برادران شیردل () یک فیلم فانتزی به کارگردانی «اوله هلبوم» است که در سال ۱۹۷۷ منتشر شد.
این فیلم، بر پایهٔ رمانِ "برادران شیردل"، اثرِ نویسندهٔ سوئدی «آسترید لیندگرن» ساخته شده است و در سال ۱۹۷۸ برندهٔ جایزهٔ «گلدباگن» سوئد بابت «بهترین کارگردانی» گردید.
"فیلم سینمایی برادران شیردل" در دهه ۱۳۶۰ اکبه‌صورت سریالی چهار قسمتی از برنامهٔ کودک و نوجوان شبکه دو صدا و سیمای جمهوری اسلامی ایران پخش و در آبان ۱۳۹۹ توسط شبکه نمایش بازپخش شد.
دو برادر به نام «اسکورپان» و «یوناتان» وارد دنیایی خیالی به نام «نانی‌یالا» می‌شوند که حکمرانی ظالم و سنگدل به نام «تنگیل»، با تکیه بر اژدهای مخوف و آتش‌افروزی به نام «کاتلا» و همچنین سواران سیاه‌پوش خود، مردم آن سرزمین را تحت سلطه و ستم خود قرار داده است. به تدریج و طی وقایعی، برادر بزرگتر (یوناتان) به مقابله بر می‌خیزد و هر دو برادر به همراه گروه مقاومت، دست به مبارزه با این فرمانروای ستمکار می‌زنند.
این فیلم در کشورهای سوئد، دانمارک، ایسلند فیلم‌برداری شده است. در سوئد، محل تصویربرداری، استکهلم و شهرستان اسکونه بود. در دانمارک، تصویربرداری در شهر آرهوس در شبه‌جزیرهٔ یوتلاند انجام پذیرفت و در ایسلند، مکان فیلم‌برداری، ناحیهٔ دینگوتلیر در جنوب غربی آن کشور بود.
این فیلم را ۵۵۳/۰۰۰ نفر در سینماها دیدند که در مجموع ۸/۹۶۳/۰۰۰ کرون سوئد فروش داشت.
در سوئد، منتقدان سینما برخورد و دیدگاه خوبی نسبت به فیلم داشتند. در مقایسهٔ داستان و شخصیت‌های فیلم با تاریخ معاصر، شخصیت «یوناتان» را با شخصیت چه گوارا و شخصیت «تنگیل» را با آدولف هیتلر، ژوزف استالین، آگوستو پینوشه، ریچارد نیکسون و صدام حسین مقایسه کرده‌اند.
در نظریه پیچیدگی محاسباتی، یک ماشین تورینگ متناوب ، ماشین تورینگی غیر قطعی است و شامل قانونی برای پذیرش محاسباتی است که قوانین استفاده شده در تعریف کلاس‌های پیچیدگی NP و co-NP را کلیت می‌بخشد.
مفهوم ATM توسط Chandra و Stockmeyer و مستقلاً توسط Kozen در سال ۱۹۷۶، و سپس به صورت مشترک، باانتشار در یک مجله در سال ۱۹۸۱ مطرح شد.
تعریفNPاز حالت وجودی محاسبات استفاده می‌کند: اگر انتخابی منجر به حالت پذیرش شود، در این صورت همهٔ محاسبات پذیرفته می‌شوند. تعریف CO-NP از حالت عمومی محاسبات استفاده می‌کند: اگر همهٔ انتخاب‌ها منجر به حالت پذیرش شوند، در این صورت تمام محاسبات پذیرفته می‌شوند. ماشین تورینگ متقارن (به‌طور دقیق تر، تعریف نحوه پذیرش این ماشین) بین این ۲ حالت در تناوب است.
ماشین تورینگ متقارن ماشین تورینگی غیر قطعی است که حالاتش به ۲ قسمت تقسیم می‌شوند: حالات وجودی و حالات عمومی.
یک حالت وجودی پذیرفته می‌شود اگر انتقالی وجود داشته باشد که منجر به یک حالت پذیرش شود. یک حالت عمومی پذیرفته می‌شود اگر همهٔ انتقال‌ها به حالت پذیرش ختم شوند .(حالت عمومی بدون انتقال، به‌طور پیش فرض پذیرفته و حالت وجودی بدون انتقال به‌طور پیش فرض رد می‌شود). ماشین (به صورت یک واحد) پذیرفته می‌شود اگر حالت اول آن پذیرفته شود.
ماشین تورینگ متقارن یک ۵ تایی به صورتformula_1است که:
اگرM در وضعیت Q با formula_7 باشد، در این صورت این موقعیت، موقعیتی پذیرفتنی است و اگر formula_8، موقعیتی پذیرفتنی نیست.
موقعیتی با formula_9 پذیرفتنی است اگر همهٔ موقعیت‌هایی که با یک گام می‌توان به آن‌ها دست یافت پذیرفتنی باشند و غیر پذیرفتنی است اگر بعضی از موقعیت‌هایی که با یک گام قابل دسترسی هستند غیر پذیرفتنی باشند.
موقعیتی با formula_10 موقعیتی پذیرفتنی است اگر موقعیتی پذیرفتنی وجود داشته باشد که با یک گام بتوان به آن دست یافت و غیر پذیرفتنی است اگر تمام موقعیت‌هایی که بتوان طی یک گام به آنها دست یافت، غیر پذیرفتنی باشند.
ماشین M رشتهٔ W را در صورتی می‌پذیرد که موقعیت اولیه آن پذیرفتنی باشد و در صورتی آن را رد می‌کند که موقعیت اولیه آن پذیرفتنی نباشد.
هنگامی که می‌خوایم پذیرفتنی بودن یا نبودن یک موقعیت از ماشین ATM را طبق تعریف بالا بررسی کنیم، احتیاجی به بررسی تمام حالت‌های دست یافتنی نیست. به‌طور کلی یک موقعیت وجودی در صورتی پذیرفتنی است که هر موقعیتی جانشین آن پذیرفتنی باشد و یک موقعیت عمومی در صورتی پذیرفتنی نیست که هر موقعیتی جانشین آن، پذیرفتنی نباشد.
ماشین تورینگ متقارن زبان‌های صوری (فرمال) را در مرتبهٔ زمانی formula_11 پردازش می‌کند اگر به ازای هر رشته به طول formula_12، تعیین پذیرفتنی بودن یا نبودن موقعیت اولی با حد اکثر با formula_11 گام امکان‌پذیر باشد
ماشین تورینگ متقارن، زبان را در مرتبهٔ حافظهٔ formula_14 پردازش می‌کند اگر تنها بررسی موقعیت‌هایی که تا formula_14 خانه از سمت چپ را تغییر نمی‌دهند، کافی باشد.
زبانی که توسط ATM در مرتبهٔ زمانی formula_16 (به ازای formula_17) بررسی می‌شود در کلاس formula_18 و زبانی که در مرتبهٔ حافظه‌ای formula_19 بررسی می‌شود در کلاس formula_20 قرار دارد.
احتمالاً آسان‌ترین مسئلهٔ قابل حل برای ATM، مسئلهٔ quantified Boolean formula problem است. این مسئله تعمیم یافتهٔ مسئلهٔ Boolean satisfiability problem که در آن هر متغیر می‌تواند به یک کمیت عمومی یا وجودی محدود شود.
ATM برای بررسی تمام مقادیر متغیرهای وجودی (از چپ به راست) به صورت وجودی و برای بررسی تمام مقادیر متغیرهای عمومی (از چپ به راست) به صورت عمومی منشعب می‌شود. پس از بررسی یک مقدار برای تمامی متغیرها، اگر نتیجه Boolean formula برابر true باشد ماشین آن را پذیرش و اگر false باشد ماشین آن را نمی‌پذیرد.
بنابر این اگر مقداری جایگزین برای متغیر وجودی، موجود باشد که ادامه مسئله سازگار بماند، یا به ازای تمام مقادیر جایگزین برای متغیر عمومی، ادامه مسئله سازگار باقی بماند، ماشین در شرایط پذیرش قرار می‌گیرد.
این ماشین quantified Boolean formulas را در مرتبهٔ زمانی formula_21 و مرتبهٔ حافظه formula_12 بررسی می‌کند.
Boolean satisfiability می‌تواند به عنوان حالت خاصی در نظر گرفته شود که در آن تمام متغیرها به صورت وجودی بین شده و فقط از انشعاب به صورت وجودی استفاده برای حل کارایی استفاده می‌شود. در این حالت استفاده از عدم قطعیت مجاز است.
کلاس‌های پیچیدگی زیر برای تعریف ماشین تورینگ متناوب مورد استفاده قرار می‌گیرند:
این کلاس‌ها، با در نظر گرفتن منابعی که یک ATM به جای ماشین تورینگ قطعی استفاده می‌کند، شبیه به تعریف‌های P و PSPACE و EXPTIME هستند.
Chandra, Kozen, و Stockmeyer قضایای زیر را در شرایطی که formula_26 و formula_27 ثابت کرده‌اند.
شکل کلی تر این روابط توسط تز پردازش موازی، نشان داده می‌شود.
ماشین تورینگ متناوب با K تناوب، ماشین تورینگی متناوب است که حد اکثر K-1 دفعه می‌تواند بین حالت عمومی و حالت وجودی جابجا شود .(در واقع ماشین تورینگی است که حالت‌هایش به K مجموعه تقسیم شده‌اند. حالت‌های با شمارهٔ فرد حالت‌های عمومی و حالت‌های با شماره زوج حالت‌های وجودی در نظر گرفته می‌شوند (عکس آن هم درست است). ماشین هیچ انتقالی از حالت i به j، که j{\rm ATIME}(C,j)=\Sigma_j {\rm TIME}(C)</math> کلاس توابعی است که که در زمان formula_31، از یک حالت وجودی شروع می‌شوند و حد اکثر j-1 بر تناوب می‌کنند و به آن j-امین سطح از سلسله مراتب formula_32 هم گفته می‌شود
formula_35 به صورت مشابه برای محاسبات با حافظهٔ محدود تعریف می‌شود.
مسئلهٔ circuit minimization problem را در نظر بگیرید. مدار A که یک تابع بولی F را محاسبه می‌کند، به همراه عدد N به عنوان ورودی داده می‌شوند.
برای خروجی، وجود یا عدم وجود مداری که با K گیت بتواند تابع F را پیاده‌سازی کند، بررسی می‌شود.
ماشین تورینگ متناوبی که یک تناوب دارد و از حالتی وجودی آغاز به کار می‌کند می‌تواند این مسئله را در مرتبهٔ زمانی چند جمله‌ای حل کند.(این کار با آزمایش مدارهای احتمالی با K گیت و مقایسه خروجی آنها با مدار اصلی انجام می‌شود).
یک سلسله مرتبه هنگامی به مرتبهٔ J کاهش پیدا می‌کند که تمام زبان‌های مرتبهٔ K، در مرتبهٔ J موجود باشند. به عنوان نتیجه‌ای از قضیه Immerman–Szelepcsényi theorem، سلسله مراتب حافظه لگاریتمی، به اولین سطح آن کاهش می‌یابد.
ماشین تورینگ متناوب با مرتبهٔ زمانی چند جمله‌ای و K تناوب، با شروع از یک حالت وجودی (عمومی) می‌تواند تمام مسائل کلاس formula_36(formula_37) را بررسی کند. از این کلاس‌ها اغلب به صورتformula_38(formula_39) در مسائل یاد می‌شود.
نمونهٔ دیگری از حالات خاص سلسله مراتب زمانی، logarithmic hierarchy است.
در یک ماشین حالت متناهی معمولی ، انتقال در ارتباط با مجموعه‌ای از شرایط بولی به عنوان ورودی و مجموعه‌ای از توابع بولی به عنوان خروجی است. در یک مدل ماشین حالت متناهی محدود (EFSM) ، انتقال می‌تواند با یک "عبارت اگر " که شامل مجموعه‌ای از شرایط محرک است، بیان شود. اگر همهٔ شرایط محرک، ارضا شوند ، انتقال خاتمه می‌یابد و ماشین را از حالت جاری به حالت بعدی می‌برد و عملیات داده‌ای خاص را اجرا می‌کند.
EFSM به عنوان ۷ تایی formula_1 تعریف می‌شود که در آن:
معماری FSM: مدل EFSM از سه بلوک اصلی ترکیبی زیر تشکیل شده‌است.
رفتار چرخه‌ای EFSM می‌تواند به سه گام تقسیم شود:
https://en.wikipedia.org/wiki/Extended_finite-state_machine
منوچهر زمانی (متولد ۱۳۰۸) یک کارگردان، بازیگر و صدا پیشه اهل ایران است. وی فعالیت هنری را با دوبله از اواسط دهه ۳۰ آغاز کرد. او در دهه ۴۰ به ایتالیا رفت و کار تهیه و تولید فیلم را ادامه داد.
"منوچهر زمانی متولد 1308 و از اولین کسانی بوده که برای دوبله در فاصله سالهای 36 تا 44 به ایتالیا میرود.  تقریباً جز اولین کسانی بوده که جای هنرپیشه های مهم صحبت کرده. مثل "شورش در کشتی بونتی" که بجای "مارلون براندو" حرف زده و "پل نیومن" در .  "مرد""
"از ویژگیهای این دوبلور اجرای کارهای کمیک بوده و اینکه در یه فیلم جای ده نفر صحبت می‌کرده ، خیلی مقید به استفاده از دوبلور ثابت برای یه نقش نبوده ، جوکها و لطیف های پس گردنی زیادی تو فیلمها می‌گفته چه فیلم کمدی بوده و چه جدی و بقول معروف خوراکش دوبله فیلمهای ایتالیایی بوده و بیشتر کارهای درجه ب دوبله می‌کرده و خیلی کارهای شاخص دوبله نکرده مگر در دوره ایتالیا اون هم چون دوبله اول است کمتر جای هنرپیشه های معروف حرف زده و کمتر با دوبلورهای تراز اول آن زمان کار مشترک دارد کلاً منتقدین و همکارانش  او را خیلی تو دوبله جدی نگرفتند شاید برای همین اطلاعات کمی درباره او موجود است و نام او را کمتر می‌شنویم ولی با اینحال دوبله های بسیاری خوبی در کارنامه اش موجود است مثل "ملاقات در شب"."
"همسرش "ناهید بوستانی" دوبلور بوده البته فقط در ایتالیا و کار شاخصش صحبت بجای "اوا مری سنت" در "شمال از شمال غربی" و "شرلی مک لین" در "چوپان" بوده است.  ظاهرا الان در ایتالیا فرش فروشی دارد و چندی پیش به ایران آمده بود."
"تعدای از کارهای زمانی به شرح زير است:"
"ویلیام هولدن رودخانه کوای (دوبله اول / در این فیلم جای  پنج ،شیش نفر حرف زده ) ، سابرینا ، هفتمین سپیده دم ، کلید"
"جیمز میسون: شمال از شمال غربی ( دوبله اول )"
"گری کوپر: زنگها برای که به صدا در می آید؟"
"گلن فورد: چوپان ، قطار سه و ده دقیقه به یوما"
"برت رینولدز: نوادا جو"
"ریچارد هریس: 44/99 صدم درصد مرگ"
"آلن دلون: جف ، صبح روز حادثه"
"جیمز استوارت: دو کابوی در شاین"
"استیفن بوید : کارناوال و دزدان ، اسکار"
"ژان پل بلموندو : شکست ، تلفن کننده شب ، طوفانگر ، حیوان"
"پیتر سلرز : گلوله ای در تاریکی ، تازه چه خبر پوسی کت ، کجات درد میکنه ، به دنبال روباه"
"راجر مور : زندگي كن و بگذار بميرند٬ مردي با طپانچه طلايي٬ جاسوسي كه مرا دوست داشت ، قدرت طلا"
"استیو مک کویین : بولیت ، نیرنگ بازان ، جونیور بانر ، این فرار مرگبار ، حادثه توماس کراون(دوبله اول)"
در تئوری زبان‌های فرمال (زبان‌های صوری)، لم اوگدن (نامگذاری شده بعد از William F.Ogden) انعطاف‌پذیری بیشتری به لم پمپاژ برای زبان‌های مستقل از متن می‌دهد.
لم اوگدن اظهار می‌کند، اگر زبان L مستقل از متن باشد، آنگاه عدد p>0 وجود دارد بطوریکه برای هر رشته w به طول حداقل p در زبان L، برای هر انتخاب p تایی یا بیشتر از نمادهای w
رشته wرا می‌توان به صورت w=uxyzv تجزیه کرد، بطوریکه
زمانی که لم پمپاژ برای زبان‌های مستقل از متن کارآمد نیست، لم Ogden می‌تواند نشان دهد که یک زبان مستقل از متن نیست.
برای مثال زبان {"a i b j c k d l": "i" = 0 or "j" = "k" = "l"}.
مشاهده می‌شود زمانیکه تمام نمادهای w انتخاب می‌شود لم پمپاژ با لم اوگدن برابر است. به بیان دیگر لم پمپاژ حالت خاصی از لم اوگدن است.
همچنین این لم می‌تواند ثابت کند که بعضی از زبان‌ها ذاتاً مبهم هستند.
کیس‌اکس‌سیس یک مجموعه مانگا سینن ژاپنی که توسط بو دیتاما نوشته و مصورسازی شده‌است. این سری برای اولین بار در نسخهٔ ژانویه ۲۰۰۴ مجلهٔ سینن کودانشا به نام بیساتسو یانگ (هفته‌نامه یانگ فعلی) به چاپ رسید،مانگای کیس‌اکس‌سیس. وب‌گاه مانگافاکسKiss×sis Manga Gets TV Anime Green-Lit for Next Spring نوشته شده در ۱۳ نوامبر ۲۰۰۹و سپس از ۱۱ دسامبر ۲۰۰۵ به صورت منظم در همان مجله انتشار یافت. دو مجموعه انیمه‌ای نیز به کارگردانی موننوری ناوا، توسط استودیوی فیل از روی نسخهٔ مانگای آن ساخته شد; یک مجموعه تلویزیونی انیمه ۱۲ قسمتی که از ۵ آوریل ۲۰۱۰ تا ۲۱ ژوئن ۲۰۱۰ از شبکه ای‌تی-ایکس پخش گردید و یک اووی‌ای ادامه‌دار که از دسامبر ۲۰۰۸ در حال پخش است.
داستان حول محور پسر سال سوم راهنمایی ژاپنی به نام کیتا است که همراه با پدر، نامادری و دو خواهر ناتنی دوقلویش به نام‌های آکو و ریکو زندگی می‌کند. کیتا خود را برای آزمون ورودی به دبیرستان آماده می‌کند و خواهرانش سعی در کمک به او را دارند. اما با جلوتر رفتن داستان، آن‌ها به کیتا وابسته می‌شوند و در نهایت احساسات خود را برای او بازگو می‌کنند...
گردن‌بند () یک فیلم درام به کارگردانی «جان برام» است که در سال ۱۹۴۶ منتشر شد.
داستان فیلم که به صورت چندین صحنهٔ گذشته‌نمایی روایت می‌شود، در مورد دختر جوانی است که در کودکی و به اشتباه، به دزدیِ گردن‌بند هم‌بازی‌اش، متهم شده بود. او در بزرگسالی، دچار جنون دزدی شده و به‌طور دائم و از روی عادت دروغ می‌گوید. به نظر می‌رسد که این رفتار زشت او، نوعی انتقام از دنیای بی‌رحمی است که او را در کودکی و بدون هیچ گناهی به دزدی متهم کرده بود و اینک او از همهٔ مردم انتقام می‌گیرد.
شیوه‌نامهٔ ونکوور شیوه‌نامه‌ای برای منبع‌دهی در نوشتنِ رساله‌ها که کاربردش بیشتر در علوم پزشکی است.از آزاده ف، واعظ ر. «صحت استنادها در پایان‌نامه‌های دوره‌های دکتریِ تخصصیِ پزشکیِ دانشگاه علوم پزشکی تبریز و میزان مطابقت آن‌ها با شیوه‌نامهٔ ونکوور». "مدیریت اطلاعات سلامت"، ۴ فروردین ۱۳۹۱؛ (۹)۱: ۸–۱۱.
این شیوه به صورت شمارشی است. طبق این شیوه، یادکرد منابع در درون متن با شماره مشخص می‌شود و در انتهای فهرست منابع به ترتیب الفبایی قرار می‌گیرد.مختاری ح. «انطباق چکیدهٔ مقاله‌های مجلات دانشگاه‌های علوم پزشکی با دستورالعمل‌های گروه ونکوور و استاندارد ایزو ۲۱۴». "مطالعات ملی کتابداری و سازماندهی اطلاعات" ۱۳۸۳؛ (۱۵)۱: ۴۲–۵۲
در سال ۱۹۷۸ گروه کوچکی از سردبیران نشریات علوم پزشکی در ونکوور بریتیش کلمبیا به‌طور غیررسمی گرد هم آمدند تا دستورالعملی نگارشی برای مقالات ارسالی به نشریاتشان تدوین کنند. این گروه، که در ابتدا گروه ونکوور نامیده می‌شد، بعدها ICMJE کمیتهٔ بین‌المللی ویراستاران نشریات زیست‌پزشکی را تشکیل دادند.
این کمیسیون سالی یک بار تشکیل جلسه می‌دهد. همچنین وظیفه بازنگری را برعهده دارد. در توصیه‌نامهٔ مذکور بخشی به نحوه تدوین استنادهای کتابشناختی در یک مقاله اختصاص یافته‌است.
در نظریهٔ محاسبه پذیری، یک ماشین تورینگ احتمالی یک ماشین تورینگ غیر قطعی است که بین انتقال‌های موجود در هر نقطه بوسیلهٔ برخی از توزیع‌های احتمال به صورت تصادفی یکی را انتخاب می‌کند.
در مورد احتمال‌های برابر برای انتقال‌ها، می‌توان آن را به عنوان یک تورینگ ماشین قطعی در نظر گرفت که دارای یک حوزهٔ اضافی «نوشتن» است که در آن ارزش «نوشتن» به صورت یکنواخت روی الفبای ماشین تورینگ توزیع شده است. (به طور کلی، احتمال مساوی برای نوشتن '۱ 'یا' ۰ ' روی نوار). یکی دیگر از فرمول بندی‌های رایج یک ماشین تورینگ قطعی با یک نوار اضافی که شامل بیت‌های تصادفی است که نوار تصادفی نامیده می‌شود.
به عنوان یک نتیجه، یک ماشین تورینگ احتمالی (بر خلاف یک ماشین تورینگ قطعی) می‌تواند نتایج تصادفی داشته باشد؛ با یک ورودی معین و قرار گرفتن در یک وضعیت از ماشین، ممکن است زمان اجراهای مختلف بدست اورد یا ممکن است ماشین اصلاً متوقف نشود. به علاوه، ممکن است ورودی در یک اجرا پذیرش و همان ورودی در اجرای دیگر رد شود.
بنابراین مفهوم پذیرش یک رشته توسط یک ماشین تورینگ احتمالی را می‌توان به روش‌های مختلف تعریف کرد. کلاس‌های پیچیدگی زمانی متفاوتی که برای تعاریف مختلف پذیرش وجود دارند شامل RP, Co-RP, BPP و ZPP هستند. اگر ماشین به جای زمان چندجمله‌ای به فضای لگاریتمی محدود شود کلاس‌های مشابهRL,Co-RL, BPL, ZPL نیز بدی می ایند. با اجرای هر دو محدودیت RLP ،Co-RLP، BPLP، و ZPLP بدست می ایند.
همچنان محاسبه پذیری احتمالی برای تعریف اکثر کلاس‌های سیستم‌های اثبات تعاملی(interactive proof systems)، حیاتی است.
یکی از سوالات اصلی نظریه پیچیدگی این است که آیا تصادفی بودن قدرت را اضافه می‌کند؟ یعنی ایا مسئله‌ای وجود دارد که بتواند در زمان چندجمله‌ای توسط یک ماشین تورینگ احتمالی حل شود ولی توسط یک ماشین تورینگ قطعی نه؟ یا ماشین‌های تورینگ قطعی می‌توانند تمام ماشین‌های تورینگ احتمالی با حداکثر کاهش سرعت چندجمله‌ای را به صورت موثری شبیه‌سازی کنند؟ در حال حاضر محققان معتقدند که سؤال دوم هم ارز مفهوم P = BPP است. تصور درستی همان سؤال برای فضای لگاریتمی به جای زمان چندجمله‌ای (ایا L = BPLP است ؟) به طور گسترده‌تری مورد باور محققان است. از سوی دیگر، قدرتی که تصادفی بودن به سیستم اثبات تعاملی می‌دهد، مانند الگوریتم‌های ساده است برای مسایل سخت، که نشان می‌دهد تصادفی بودن ممکن است قدرت را اضافه کند.
ماشین تورینگ
NIST website on probabilistic Turing machines
بلک‌هت () فیلمی در ژانر اکشن و مهیج به کارگردانی مایکل مان است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کریس همسورث و ویولا دیویس اشاره کرد.
یک هکر باهوش به نام نیک هاتاوی از زندان آزاد می‌شود، تا یک خلافکار مجازی را یافته و تحویل قانون دهد. اما…
اتین بزو (زاده ۳۱ مارس ۱۷۳۰ در نمورس - درگذشته ۲۷ سپتامبر ۱۷۸۳ در باسس لوگس) ریاضیدان فرانسوی بود. او بیشتر به دلیل قضیه ای در نظریه اعداد که به نام خود او قضیه بزو نامیده شده‌است نامدار است.
پدرش شهردار نمورس بود و برای او هم خواب شغلی دولتی دیده بود. اما درس‌های لئونارد اویلر بزو را شیفته ریاضیات ساخت و پس از چاپ چند مقاله در آکادمی علوم و نیز در اداره سانسور به کار مشغول شد. در سال ۱۷۶۳ به عنوان ممتحن در نیروی دریایی گماشته شد و در اینجا نخستین کتاب درسی اش به نام درسی در «ریاضیات برای نیروی دریایی»Cours de mathématiques à l'usage des Gardes du Pavillon et de la Marine را در ۴ جلد نوشت و پس از آن یک کتاب شش جلدی دیگر به نام «درس کامل ریاضیات برای نیروی دریایی و توپخانه»Cours complet de mathématiques à l'usage de la marine et de l'artillerie نوشت چرا که در ۱۷۶۸ به همان سمت در توپخانه منصوب شده بود. هر دو کتاب بنا بر کاربردشان برای خوانندگان با دانش ریاضی پایین نوشته شده بودند. بزو افزون بر نوشتن مقاله‌های فراوان کتابی با نام «نظریه عمومی معادله‌های جبری»Théorie générale des équations algébriques در پاریس به سال ۱۷۹۹ منتشر کرد که در زمان خودش کتاب بسیار نویی بود و برای نمونه مطالب نویی همچون دترمینان، برآیندها، نظریه حذف و تابع‌های متقارن از ریشه‌های معادلات را بحث می‌کرد. قضیه بزو نخستین بار در همین کتاب به چاپ رسید. بزو همچنین برای نخستین بار از دترمینان‌ها در مقاله‌اش «تاریخ آکادمی پادشاهی»Histoire de l'académie royale در سال ۱۷۶۴ بهره برد. البته این کتاب حالت کلی دترمینان را پوشش نمی‌دهد.
رزیستین () یا (ADSF) یک هورمون پپتیدی غنی از سیستئین است که در انسان از بافت چربی ترشح می‌شود. نشان داده شده‌است که رسستین تولید LDL در سلول‌های کبدی انسان را افزایش می‌دهد و گیرنده‌های LDL در کبد را کاهش می‌بخشد. در نتیجه، کبد کمتر قادر است تا کلسترول را از جریان خون پاک کند. نتیجه نهایی ترشح رسیستین افزاش سطح خونی لیپوپروتئین کم چگال و افزایش خطر بیماری‌های عروقی در انسان است. رسیستین در جوندگان، نخستی‌سانان و سایر پستانداران نیز دیده می‌شود.
فیبرینوژن و رسیستین دو نشانگر التهابی پیشگویی خطر آترواسکلروز در انسان می‌باشند. بالا بودن میزان رسیستین در خون موجب ناتوانی داروهای استاتین در کاهش کلسترول خون بیماران می‌گردد. میزان رزیستین همراه با تجمع چربی احشایی افزایش می‌یابد لذا برای بیماران چاق طبیعی است که میزان بسیاربالایی رسیستین داشته باشند. سطوح سرمی بالای رزیستین با مقاومت به انسولین، میزان بالای کلسترول تام، کلسترول LDL، و تری‌گلیسرید در بیماران ارتباط دارد.
آتروما () تجمع مواد رسوبی در لایه داخلی (اینتیما) سرخرگ‌های متوسط و بزرگ است. بخش عمده‌ای از آتروماها از ماکروفاژها، چربی‌ها (مانند کلسترول) و کلسیم تشکیل شده است. مجرای درون رگ با ضخیم شدن لایه انتیما تنگ می‌شود. پلاکهای آترومی در تصلب شرایین دیده می‌شوند.
انجمن قلب آمریکا بر اساس اطلاعات حاصل از اتوپسی در سنین مختلف پیشنهاد نموده که ضایعات آترواسکلروزیس سیر خاصی را از دوران جوانی تا سنین بالاتر طی می‌کند و در بیماران مبتلا به نوع شدید و علامت دار این ضایعه، مخلوطی از تمام این تغییرات بافتی مشاهده می‌شود. بر اساس این بررسی، ضایعه از تشکیل نوارهای درخشنده چربی (Fatty Streaks) در لایه انتیما در افراد جوان که حاوی سلول‌های حباب دار است شروع و در سیر خود به پلاک فیبروآتروماتو (Fibroatheromatous)، پلاک فیبروزه (Fibrous) و پلاک‌های عارضه دار (Complicated plaque) تبدیل می‌شود.Hansson G K. Inflammation, atherosclerosis and coronary artery disease. New England Journal of Medicine. ۲۰۰۵; ۳۵۲: ۱۶۸۵-۹۵
این ضایعه از سلول‌ها، عناصر موجود در بافت همبند، چربی و مواد حاصل از تخریب سلولی تشکیل شده‌است.
سلول های التهابی و ایمنی که از خون وارد این ضایعه می‌شوند یکی از بخش‌های اصلی این ضایعه را تشکیل می‌دهند. باقی سلول‌هایی که در ساختار این ضایعه دیده می‌شوند عبارت‌اند از سلول‌های اندوتلیوم و عضلات صاف همچنین سلول‌هایی با ظاهر حباب دار و کف آلود (Foam cells) همراه با قطرات چربی آزاد خارج سلولی در مرکز ضایعه آترومی دیده می‌شوند که توسط یک سرپوش متشکل از سلول‌های عضلانی و یک ماده زمینه‌ای پر از کلاژن محدود شده‌اند.
سلول‌های لنفوسیت تی، ماکروفاژها و ماست سل‌ها به این ضایعه نفوذ نموده و به ویژه در کناره‌های ضایعه که برجستگی آن به شکل یک لبه به بخش سالم درونی رگ می‌پیوندد ( و حالت شانه مانندی در اطراف ضایعه به وجود می‌آورد) به تعداد زیاد دیده می‌شوند(از این محل شانه مانند است که ضایعه آترومی گسترش می‌یابد).
علائم حاکی از فعالیت التهابی در بسیاری از سلول‌های ایمنی موجود در آتروم دیده شده و سیتوکین‌های بسیاری توسط این سلول‌ها تولید می‌گردد.
به نظر می‌رسد هیپرکلسترولمی موجب فعال شدن موضعی سلول‌های اندوتلیوم در شریان‌های بزرگ و متوسط گشته و احتباس لیپویروتئین‌ها، به ویژه با چگالی کم (LDL)، در لایه انتیما عامل اصلی در شروع روند تشکیل آتروم باشد.
اکسیداسیون این لیپوپروتئین‌ها توسط رادیکال‌های آزاد که توسط ماکروفاژها تولید می‌گردد و تغییر آنزیمی آن‌ها در انتیما موجب تولید لیپیدهایی می‌شود که از نظر حیاتی فعال می‌باشند. سلول‌های اندوتلیوم و عضلانی صاف موجود در محیط آتروم ممکن است دارای نقش مهمی نیز در این روند باشند.
این لیپوپروتئین‌های اکسید شده باعث آزاد شدن فسفولیپیدهایی می‌شوند که سلول‌های اندوتلیوم را به ویژه در محل‌هایی از رگ که تحت فشار همودینامیک است فعال می‌سازند. LDLهای اکسیده شده خود محرک واکنش‌های التهابی بوده موجب جذب مونوسیت‌های خون و بسیج و تکثیر ماکروفاژهای حاصل از مونوسیت‌های جذب شده می‌گردد.این واکنش‌های التهابی برای از بین بردن LDLهای اکسیده شده پدید می‌آید. در این سیر، چربی‌های اکسیده شده ماکروفاژها را بیشتر فعال کرده و پدیده اکسیداسیون خود را تشدید می‌کنند.
درحضور هیپرکلسترولمی، پاسخ‌های التهابی که برای خنثی کردن اثر LDLهای اکسیده شده آغاز می‌شوند نمی‌توانند عملکرد خود را کامل کنند و در عوض چرخه التهاب، اکسیده شدن لیپوپروتئین‌ها و و بروز التهاب بیشتر در انتیما باقی می‌ماند. لنفوسیت‌های T که از مراحل اولیه در ضایعه آترواسکلروتیک حضور دارند واکنش‌های التهابی را به صورت یک چرخه معیوب تشدید می‌کنند. سلول‌های ماکروفاژ و عضلات صاف با ولع لیپوپروتئین‌های اکسیده را می‌بلعند و سیتوپلاسم آن‌ها از قطرات حاوی استرهای کلستریل پر شده و به آن‌ها ظاهر حباب دار و کف آلود (Foam cells) می‌دهد.
سادات سید باقر مداح به عنوان مادر پرستاری نوین ایران متولد ۱۳۱۱ در تهران دارای دکتری آموزش پرستاری از دانشگاه پرتوریا آفریقای جنوبی می‌باشد.
مدیر مسئول و سردبیر فصلنامه پرستاری و مامایی ایران
مجری و محقق اصلی طرح پژوهشی
“تاثیر آموزش بر میزان عملکرد مراقبت از خود در مددجویان
عقب مانده ذهنی مقیم در مراکز نگهداری و توانبخشی رفیده” ۱۳۷۴–۱۳۷۶
مجری و محقق اصلی طرح پژوهشی بین کشوری
” بررسی وضعیت سلامت، مشکلات و توانمندی‌های سالمندان ایرانی و سوئدی” ۱۳۸۱–۱۳۸۵
تألیف کتاب مبانی نظری پرستاری توانبخشی ۱۳۸۵
مشارکت در تألیف کتاب سلامت در جمهوری اسلامی ایران
نظارت بر تألیف کتاب «اصول طراحی سیستم‌های خدمات بهداشتی اجتماعی مبتنی بر جامعه ویژه سالمندان» ۱۳۸۶
نظارت بر تألیف کتاب «راهنمای مراقبت‌های بهداشتی کودکان در منزل» ۱۳۷۶
مقاله «طراحی مدل ارائه مراقبت در بیماران سکته مغزی» ۲۰۰۸
ارائه مقاله در قالب پانل در دهمین کنگره پرستاری، مادرید اسپانیا ۱۹۹۳
در ریاضیات، قضیه لوروث (Lüroth's Theorem) (یا «قضیه لوروت»)، بیان می‌دارد: هر میدانی که بین دو میدان "K" و "K(X)" قرار داشته باشد، لزوماً توسط توسیعی از "K" تولید شده که آن توسیع از الحاق یک عضو "K(X)" بدست آمده است. این نتیجه را به یاد یاکوب لوروت نامگذاری کرده‌اند که اولین بار آن را در ۱۸۷۶ میلادی اثبات نمود.
فرض کنید formula_1 یک میدان و formula_2 یک متغیر دلخواه و formula_3 میدانی در میان formula_1 و formula_5 باشد. به زبان دیگر : formula_6. آنگاه یک تابع گویای formula_7 وجود دارد که formula_3 را روی formula_1 تولید میکند یا به زبان دیگر : formula_10. این قضیه به دیگر سخن میگوید که هر توسیع میدانی formula_1 که زیر مجموعه formula_5 باشد یک توسیع ساده است.
برای اثبات این قضیه روش های بسیاری وجود دارد از جمله روش هندسی که به وسیله نظریه خم های گویا این قضیه را اثبات میکنند. ولی روش های جبری هم هستند که در بیشتر آنها از لم گاوس برای اثبات بهره میبرند.
باراکامون یک مجموعه مانگایِ ژاپنی که توسط ساتسوکی یوشینو نوشته و مصورسازی شده است. این سری برای اولین بار در مجله گانگان آنلاین اسکوئر انیکس از فوریه ۲۰۰۹ انتشار یافت. داستان مجموعه دربارهٔ یک خوشنویس ژاپنی به نام سیشو هاندا است که برای آرام‌کردن اعصاب و پیدا کردن راهی جدید برای ارتقاء سطح خوشنویسی خود به جزیره‌ای نقل مکان می‌کند.
یک نسخهٔ مشتق از این مانگا نیز با نام هاندا-کون از اکتبر ۲۰۱۳ در ماهنامه شونن گانگان شروع به انتشار شده است. داستان این نسخه شش سال قبل از نسخهٔ اصلی "باراکامون" اتفاق می‌افتد و زندگی هاندا سیشو به عنوان یک دانش‌آموز را در بر می‌گیرد. یک مجموعه تلویزیونی انیمه ۱۲ قسمتی نیز توسط استودیوی کینما سیتروس از روی نسخهٔ مانگا ساخته شده که پخش آن از ۶ ژوئیه ۲۰۱۴ در شبکه نیپون تلویژن شروع شده، و تا ۲۷ سپتامبر ۲۰۱۴ ادامه داشت.Barakamon Countryside Comedy Manga Gets Anime در دانشنامهٔ وب‌گاه Anime News Network
موتور شطرنج در شطرنج کامپیوتری، برنامه‌ای است که موقعیت‌های شطرنج را ارزیابی کرده و بهترین حرکت را انتخاب می‌کند.
موتور شطرنج در مورد اینکه چه حرکتی انجام شود تصمیم می‌گیرد، ولی معمولاً به‌طور مستقیم با کاربر در تعامل نیست. بیشتر موتورهای شطرنج رابط کاربری خود را نداشته و برنامه‌های کنسولی هستند که با استفاده از پروتکل استاندارد با رابط‌های کاربری همچون WinBoard، XBoard یا glChess ارتباط برقرار می‌کنند. این به کاربر امکان می‌دهد که بدون نیاز به یادگیری رابط کاربری جدید برای هر موتور شطرنج، با آن‌ها بازی کرده یا اجازه دهد با همدیگر به رقابت بپردازند.
رابط خط فرمان شطرنج گنو نخستین استاندارد غیررسمی است که پروتکل ارتباطی موتور شطرنج نامیده شده و در آغاز توسط XBoard پشتیبانی شده بود. هنگامی که XBoard به سیستم عامل ویندوز منتقل شد WinBoard نامیده شده، این پروتکل عموماً به 'پروتکل وین‌بورد' تغییر نام یافت. پروتکل WinBoard خودش به دو ویراست ارتقا یافت که با نام‌های 'پروتکل وین‌بورد ۱' (ویراست اصلی) و 'پروتکل وین‌بورد ۲' (ویراست جدید) از آن‌ها یاد می‌شود. پروتکل دیگری به نام رابط شطرنج همگانی نیز وجود دارد. برخی از موتورها هر دو پروتکل را پشتیبانی می‌کنند و هر پروتکل هواداران خودش را دارد. پروتکل وین‌بورد عمومی‌تر است ولی خیلی از توسعه‌دهندگان موتورهای شطرنج به خاطر آسان بودن پیاده‌سازی رابط شطرنج همگانی آن را ترجیح می‌دهند. برخی از رابط‌ها هر دو پروتکل را پشتیبانی کرده در حالی که برخی دیگر مثل WinBoard فقط یکی از آن‌ها را پشتیبانی کرده و به مفسرهای کمکی برای ترجمه پروتکل نیاز دارد.
هر سال بر توانایی موتورهای شطرنج افزوده می‌شود. بخشی از این، به دلیل افزوده شدن بر قدرت پردازشی است که امکان محاسبات بیشتر برای رسیدن به عمق‌های بیشتر در زمان داده شده را می‌دهد. افزون بر این تکنیک‌های برنامه‌نویسی بهبود پیدا کرده و به موتورها این امکان را می‌دهند که گزینش بیشتری برای رسیدن به درک بهتر موقعیت در رشته حرکاتی که ارزیابی می‌کند داشته باشند.
برخی از موتورهای شطرنج از جدول‌های پایان بازی برای افزایش توانایی بازی در پایان بازی استفاده می‌کنند. یک جدول پایان بازی پایگاه داده‌ای است که تمامی موقعیت‌های پایانی با گروه کوچکی از مهره‌ها را در بر می‌گیرد.
نتایج مسابقات کامپیوتری چشم‌اندازی از توانایی نسبی موتورهای شطرنج ارائه می‌دهد. هرچند مسابقات تعداد بازی‌های قابل توجهی از نظر آماری ارائه نمی‌دهند تا به‌طور دقیق توانایی موتورها را بسنجیم. در واقع تعداد بازی‌هایی که برای رسیدن به آمار معنادار نیاز داریم هزاران بازی است و در چارچوب کاری یک مسابقه نمی‌گنجد. بیشتر مسابقات امکان استفاده از سخت‌افزارهای گوناگون را می‌دهند، بنابراین ترکیب موتور/سخت‌افزار مقایسه می‌شود.
به‌طور تاریخی برنامه‌های تجاری توانمندترین موتورها هستند. این تا اندازه‌ای پیش‌گویی خودانجام است؛ اگر یک موتور آماتور در یک مسابقه برنده شود یا خوب بازی کند (برای مثال Zappa در سال 2005)، سپس به سرعت تجاری می‌شود. عنوان‌هایی که در مسابقات زیر اعتبار زیادی برای برنامه‌های برنده و بنابراین برای استفاده بازاریابی به همراه دارد.
لیست‌های ریتینگ شطرنج تعداد بازی‌های قابل توجهی از نظر آماری برای مقایسه توانایی نسبی موتورها فراهم می‌کند. این لیست‌ها چندین بازی بین موتورهای در پلتفرم‌های سخت‌افزاری استاندارد انجام داده، بنابراین تفاوت پردازنده از محاسبات حذف می‌شود. همچنین برخی نیز کتاب‌های گشایش بازی را استانداردسازی کرده تا تنها توانایی موتورها مقایسه شود. این لیست‌ها نه تنها رنکینگ را فراهم می‌کند، بلکه مرز خطای ریتینگ را نیز تعیین می‌کند. همچنین لیست‌های ریتینگ معمولاً به‌طور پیوسته به انجام بازی‌ها پرداخته و به‌روزرسانی‌های زیادی را در هر سال در مقایسه با مسابقاتی که سالیانه انجام می‌شوند، منتشر می‌کنند.
فاکتورهایی که لیست‌های گوناگون را از هم متمایز می‌کند در زیر آمده‌است:
این تفاوت‌ها روی نتایج تأثیر می‌گذارد و مقایسه لیست‌های ریتینگ را دشوار می‌کند.
موتورها را می‌توان با اندازه‌گیری عملکردشان در موقعیت‌های ویژه ارزیابی کرد. معمولاً برای هر موقعیت داده شده باید بهترین حرکت یافته شود. این موقعیت‌ها می‌تواند به سمت بازی‌های پوزیشنال، تاکتیکی یا پایان بازی متمایل شوند.
معمولا یک مهندس نرم افزار وقتی نمی تواند روشی برای حل ایده ال مساله پیدا کند از "روش دست گرمی" استفاده می کند. گر چه امکان دارد مجموعه حاصل هم ریختگی یا به عبارت بهتر وحدت رویه ها را حفظ نکند. برای مثال امکان دارد توابع آورین به همراه الگوی یادگیری مدلی معیوب را منجر شوند هر چند ایده ای نو باشند. یا "انتشار گره" یا "بازی ارتفاعی عادلانه" همچون جرقه ای بدرخشد. عیب دیگر این روش این است امکان دارد پروژه مسیری را طی کند که به دوباره کاری برسد که از اصالت اثر بکاهد یا به آن ارزش دهد. به همین خاطر پروژه به نقطه ای می رسد که "ریسک" آن به 100% است و باید یا دور انداخته شود یا از نو با مستندات علمی نوشته شود. تنها سود تجربه هایی است که به زحمت کسب کرده است. بنابراین همیشه مجموعه های آزمایشی اپ های بدی هم نیستند. هر چند بهره وری هدف این موتورهای شطرنج نیست یا اصلا موتور نیستند و بیشتر به تکه کدهای جامع می مانند که کارایی مطلوب را ندارند بعضی وقتها ریسک به انتشار نسخه می ارزد.
بخش کارزان یکی از بخش‌های تابعه شهرستان سیروان در استان ایلام در غرب ایران است.
بخش کارزان داری 8272 نفر جمعیت در 1693 خانوار است در سرشماری 1385 و بعد خانوار در این بخش 4.8 است
شهرها: شهرک سرتنگ
یاکوب لوروت (زاده ۱۸ فوریه ۱۸۴۴ در مانهایم - درگذشته ۱۴ سپتامبر ۱۹۱۰ در مونیخ) ریاضیدان اهل آلمان بود.
لوروت در آغاز به ستاره‌شناسی دلبسته بود و یکچند به کار در رصد خانه مانهایم پرداخت و سپس در سال ۱۸۶۲ در دانشگاه بن سرگرم تحصیل ستاره‌شناسی شد ولی به دلیل ضعف بینایی این رشته را ترک گفت. از سال ۱۸۶۳ به تحصیل ریاضیات در دانشگاه هایدلبرگ روی آورد و در سال ۱۸۶۵ تحت سرپرستی اتو هسه مدرک دکترای ریاضی را به دست آورد. سپس آموختن ریاضیات را در دانشگاه برلین نزد وایرشتراس و در دانشگاه گیسن نزد کلبش پی گرفت و در سال ۱۸۶۷ درجه شایستگی را در دانشگاه هایدلبرگ به دست آورد و در همانجا به کار مشغول شد. از ۱۸۶۸ در دانشگاه کارلسروهه بود و در ۱۸۶۹ در همانجا به درجه استادی تمام رسید و از سال ۱۸۸۰ جانشین فلیکس کلاین در دانشگاه مونیخ شد. لوروت در پی یک حمله قلبی ناگهانی در حالی که در تعطیلات به سر می برد در گذشت.
لوروت در زمینه‌های بسیاری در هندسه و هندسه جبری کار کرد. به عنوان شاگرد کلبش و هسه او کارهای آنان در زمینه نظریه ناورداها را گسترش داد. او خم های درجه ۴ لوروتLüroth quartic را که به نام خود او نامگذاری شده‌اند در جریان همین کارهایش در ادامه کارهای کلبش کشف نمود. کلبش به دنبال شرایطی بود که در صورت برقرار بودن آن‌ها یک خم درجه ۴ به صورت مجموع پنج جمله با توان ۴ قابل نمایش است.
او همچنین به دلیل قضیه مشهوری که به نام خود او قضیه لوروت نامیده شده‌است نامبردار است. این قضیه به زبان هندسی میگوید که هر خم هم-گویاunirational یک خم گویا است.
لوروت همچنین به توپولوژی پرداخت و در تلاش اثبات این بود که بعد یک ناوردای توپولوژیک است. این قضیه اما نخستین بار به وسیله براوئر به اثبات رسید.
کتاب در آمدی بر مکانیک وی بنا بر گفته ماکس نوتر نخستین کتاب درسی مکانیک است که از گونه نوشتاری برداری بهره میگیرد.
تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و برزیل تاکنون ۱۷ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۱۷ بازی، ۱۶ پیروزی برای برزیل و ۱ پیروزی برای ایالات متحده آمریکا بوده است. گل زده برزیل ۳۵ و گل زده ایالات متحده آمریکا ۱۱ گل بوده است.
تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و استرالیا تاکنون ۳ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۳ بازی، ۱ پیروزی برای ایالات متحده آمریکا و ۱ پیروزی برای استرالیا و ۱ تساوی بوده است. گل زده ایالات متحده آمریکا ۳ و گل زده استرالیا ۲ گل بوده است.
مهر نبوت به مهری گفته می‌شود که محمد پیامبر اسلام برای امضای نامه‌هایش از آن استفاده می‌کرد. این مهر به شکل دایره است و در ۳ خط عبارت «محمد رسول‌الله» روی آن به صورت پایین به بالا نوشته شده‌است (در هر سطر یکی از سه واژه محمد، رسول و الله). دلیل برعکس نوشته‌شدن متن مهر این بود که محمد نمی‌خواست نام خود را بالاتر از نام خداوند قرار دهد. در مورد منشأ و سرنوشت این مهر در منابع اولی‌های نظیر تاریخ طبری، ماجراهایی ذکر شده‌است. اکنون یک مهر مستطیل‌شکل با عبارت محمد رسول‌الله که "ختم‌الرسول" نام دارد در موزه توپقاپی استانبول نگهداری می‌شود.
در قسمت پایین پرچم داعش و چند گروه تروریستی دیگر یک دایره سفید حاوی سه کلمه است که به روایتی شبیه مهر و موم محمد پیامبر اسلام است، مشابه آنچه که محمد، باری برای مهر کردن پاکت نامه استفاده می کرده است.
وو شی (؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.
وی همچنین در تیم ملی فوتبال چین بازی کرده‌است.
لیو جیانی ( ؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.
اشرف نعمان (؛ زادهٔ ) یک بازیکن فوتبال اهل فلسطین است.
عبدالعزیز المشعان (؛ زادهٔ ) یک بازیکن فوتبال اهل کویت است.
سخنران عروسی () فیلمی در ژانر کمدی است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کوین هارت، جش گد، کیلی کوئوکو و اولیویا ترلبی اشاره کرد.
برنامه‌نویسی مبتنی بر اتوماتا یک الگوی برنامه‌نویسی است که در آن کل برنامه یا بخشی از آن به صورت مدلی از ماشین حالات متناهی (FSM) یا دیگر اتوماتاهای قراردادی دیگر (که اغلب پیچیده‌تر هستند) تصور می‌شود (نظریه اتوماتا را ببینید).
اتوماتای بر اساس برنامه‌نویسی نمونه‌ای از برنامه‌نویسی می‌باشد که برنامه و قسمت‌های مختلف آن سعی بر این دارند تا یک ماشین متناهی را مدل کنند.
برنامه‌نویسی مبتنی بر FSM نیز مانند برنامه‌نویسی مبتنی بر اتوماتیک می‌باشد با این تفاوت که تمامی جنبه‌های ماشین متناهی را پوشش نمی‌دهد.
موارد زیر مشخصه‌های برنامه‌نویسی مبتنی بر اتوماتیک است:
۱-زمان اجرای برنامه به وضوح از مراحل اتوماتا جدا می‌باشد.
۲-ارتباط میان مراحل فقط از طریق رفتن از یک وضعیت به وضعیت دیگر می‌باشد.
تمام مراحل اجرای یک اتومات به‌طور کلی یک چرخهٔ اتوماتا را می‌گویند.
برنامه‌ای در زبان C را در نظر که یک متن را از ورودی می‌خواند، خط به خط کلمه اول هر خط را چاپ می‌کند.
برنامه زیر می‌تواند مورد بالا را به روش سنتی برنامه‌نویسی C انجام بدهد:
روش برنامه‌نویسی مبتنی بر اتوماتیک
همان کاری که برنامه قبل انجام میداد را می‌توانیم با ماشین متناهی انجام دهیم.توجه داشته باشید که تجزیه خطوط سه مرحله دارد :
1- عبور کردن از space ها
2- چاپ کردن کلمه
3- گذر از همهٔ حروف کلمه
برنامه به شکل زیر می‌باشد :
اگرچه برنامه طولانی به نظر می‌رسد اما مزیت آن این است که فقط یک دستور خواندن دارد و همچنین تنها یک حلقه در برنامه وجود دارد نه 4 عدد.
کاملاً لازم نیست کد را به گرداننده‌ها ی جدا برای‌ها وضعیت تقسیم کنیم.برنامهٔ زیر همان کار برنامهٔ بالا را انجام می‌دهد با این تفاوت که یک مقدار کوتاه‌تر است.
مهمترین ویژگی برنامه قبل این است که کد مرحله اتوماتیک به صورت محلی تعریف شده‌است. با یک تابع جدا برای این قسمت ما بهتر می‌توانیم این ویژگی را اثبات کنیم.
این مثال به‌طور کامل ویژگی کد مبتنی بر اتوماتا را ثابت می‌کند.
یک اتوماتای متناهی می‌تواند به‌طور صریح و روشن توسط جدول انتقال بیان شود.
در برنامه زیر جدولی وجود دارد که برای هر ترکیب جدول شامل یک وضعیت جدید و یک پرچم می‌باشد.
struct branch the_table[3][3] = {
اتوماتا و اتوماسیون
برنامه‌نویسی مبتنی بر متن نشان دهندهٔ مطابقت میان برنامه‌نویسی و اتوماسیون می‌باشد.
یک چرخهٔ تولید به‌طور کلی به صورت زیر مدل می‌شود.
1.مجموعه‌ای از مراحل که با ورودی مطابقت دارد.
2.مجموعه‌ای از کارها که با حالت کنونی مطابقت دارد.
برنامه‌ای که در بالا ارائه شد از این دیدگاه به صورت زیر بیان می‌شود.
در رشتهٔ اوتوماسیون از یک مرحله به مرحلهٔ دیگر رفتن به این بستگی دارد که چه حروفی به دستگاه وارد می‌شود. این می‌تواند این‌گونه ارائه شود که حروف از یک فایل متنی خوانده شود و به ترتیب وارد دستگاه شود. در واقع این اطلاعات در مورد مکان، سرعت، دما و دیگر عناصر حیاطی دستگاه می‌باشد.
مانند یک برنامه‌نویسی گرافیکی شاخه‌هایی وجود دارند که با یکدیگر اجرا می‌شوند که به صورت زیر می‌توان آن‌ها را نشان داد.
اگر زبان برنامه‌نویسی از ویژگی‌های شی گرایی استفاده کند می‌توان اوتومات‌ها را به صورت یک شی در نظر گرفت. با ابن کار چگونگی پیاده‌سازی آن و جزئیات آن پنهان می‌شود.
به عنوان مثال یک نسخه از برنامه‌ای که در بالا گفته شد با استفاده از ویژگی‌های شی گرایی به صورت زیر نوشته می‌شود.
struct StateMachine::branch StateMachine::the_table[3][3] = {
اوتوماتای مبتنی بر برنامه‌نویسی به صورت گسترده‌ای در تحلیل لغوی و گرامری استفاده می‌شود.
در نظریهٔ اوتوماتیک فکر نیز می‌تواند مورد استفاده قرار بگیرد.
اوتومات‌های مبتنی بر برنامه‌نویسی برای توصیف معانی بعضی از زبان‌های برنامه‌نویسی مورد استفاده قرار میگیرد.
تکنیک مبتنی بر اوتومات‌ها به صورت گسترده‌ای در الکوریتم‌ها و نظریهٔ اوتوماتیک استفاده می‌شود. مثل تحلیل زبان‌های با قاعده.
یکی از ابتدایی‌ترین مقاله‌ها در این زمینه در سال 1968 چاپ شد.
اولین جایی که از اوتومات‌های مبتنی در برنامه‌نویسی به عنوان یک تکنیک عمومی نام برده شده‌است در سال 1963 توسط پیتر نور بود که نویسنده آن را تکنیک تورینگ ماشین نام‌گذاری کرده بود.
Umple
کاپیتان نمو ، شخصیتی خیالی است که اولین بار در کتاب‌های ژول ورن، نویسندهٔ فرانسوی ادبیات علمی–تخیلی از او نام برده شد. او با عنوان شاهزاده داکار (Prince Dakkar) نیز شناخته می‌شود.
نمو (Nemo) در زبان لاتین به معنی "هیچ کس" است. کاپیتان نمو در دو رمان از ژول ورن با نام‌های بیست هزار فرسنگ زیر دریا (۱۸۷۰) و جزیره اسرارآمیز (۱۸۷۴)، فرماندهی یک زیردریایی با نام ناتیلوس را برعهده دارد و در نمایشنامه‌ای از ژول ورن با نام سفری به ناممکن (۱۸۸۲) نیز حضور دارد.
در کتاب بیست هزار فرسنگ زیر دریا، از گذشتهٔ او صحبتی نمی‌شود و تنها می‌خوانیم که خانوادهٔ خود را از دست داده و اکنون تمایلات شدید ضدامپریالیستی دارد. (به ویژه ضد انگلستان)
در کتاب جزیره اسرارآمیز، او خود را شاهزاده داکار، فرزند راجای هندوی باندل‌کوند و نوهٔ تیپو سلطان (از قهرمانان مبارزات آزادی‌خواهانهٔ مردم هند) معرفی می‌کند. او می‌گوید که در نبرد سپاهیان علیه انگلیس شرکت داشته و با از دست دادن خانواده‌اش به انزوا روی می‌آورد و با اندک یاران باقی‌ماندهٔ خود به پژوهش‌های علمی و ساخت ناتیلوس می‌پردازد. پس از ساخت ناتیلوس، نام خود را به کاپیتان نمو تغییر می‌دهد و در دریاها ناپدید می‌شود. با گذشت زمان، افراد او یکی پس از دیگری درمی‌گذرند و او تنها می‌ماند:
او پس از اینکه بالن افراد گم‌گشته به جزیره می‌افتد به آنها کمک می‌کند تا اینکه سرانجام در آخرین ساعات عمر خود، آنها را فرا می‌خواند و خود را معرفی میکند و از آنها می‌خواهد که پس از مرگش ناتیلوس را غرق کنند تا آرامگاه او در بستر اقیانوس باشد. پناه‌آورندگان به جزیره، به آخرین وصیت او عمل می‌کنند و جسد او به همراه ناتیلوس به قعر اقیانوس می‌رود.
در کتاب "بیست هزار فرسنگ زیر دریا" ابتدا قرار بود که کاپیتان نمو یکی از نجیب‌زادگان لهستانی باشد که خانواده‌اش در جریان قیام ژانویه بدست نیروهای روسیهٔ تزاری کشته شده‌اند. اما ویراستار ژول ورن، پیر-ژول هرتزل، او را از این کار بازداشت چون از ممنوع شدن کتاب در بازار روسیه و نیز مخالفت دولت روسیه در هراس بود و از این رو اصلیت کاپیتان نمو در این کتاب نامشخص ماند.Mike Perschon. "Finding Nemo: Verne’s Antihero as Original Steampunk". Verniana: Jules Verne Studies. February 1, 2010. pp. 181-182.
کتاب بیست هزار فرسنگ زیر دریا در سال‌های ۱۸۶۹ و ۱۸۷۰ میلادی نوشته شد و در آن، سفرهای کاپیتان نمو با ناتیلوس در سال‌های ۱۸۶۶ تا ۱۸۶۸ گزارش شده‌است. کتاب جزیره اسرارآمیز در ۱۸۷۴ نوشته شده اما داستان آن به پس از جنگ داخلی آمریکا یعنی در سال‌های ۱۸۶۵ تا ۱۸۶۸ می‌پردازد. در کتاب جزیرهٔ اسرارآمیز می‌فهمیم که کاپیتان نمو، شش سال گذشته را در جزیره به سر برده و در همان‌جا نیز شاهد مرگ او هستیم اما این با تاریخ سفرهای او در کتاب "بیست هزار فرسنگ زیر دریا" ناسازگار است.
لارین دی (; – ) یک هنرپیشه، مجری تلویزیون، و پدیدآور اهل ایالات متحده آمریکا بود.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به متکبرها، خبرنگار خارجی، گردن‌بند، و یکی زیبا بود، صدای سوم اشاره کرد.
در ریاضیات، خم درجه چهارم لوروت یک خم صفحه‌ای ناتکین از درجۀ چهار است که رأس‌های یک ستاره کامل را در بر می‌گیرد. این خم‌ها به افتخار ریاضی‌دان آلمانی، یاکوب لوروت، که نخستین بار آن‌ها را کشف کرد و به نامِ او خوانده می‌شود. در سال ۱۹۱۹، فرانک مورلی ثابت کرد که خم‌های لوروت یک زیرمجموعۀ باز از یک ابررویه درجۀ ۵۴ تشکیل می‌دهند که آن را «ابررویه لوروت»Lüroth hypersurface نام نهاد که در فضای پیمانه‌ایmoduli space خم‌های درجۀ چهار یعنی، formula_1 جای می‌گیرد.Morley, Frank (1919), "On the Lüroth Quartic Curve", American Journal of Mathematics (The Johns Hopkins University Press) 41 (4): 279–282 بنینگ و بوتمر در سال ۲۰۱۱ نشان دادند که فضای پیمانه‌ای خم‌های لوروت گویا است.Böhning, Christian; von Bothmer, Hans-Christian (2011), "On the rationality of the moduli space of Lüroth quartics", Mathematische Annalen (Springer Berlin / Heidelberg): 1–9,