title: گرامر درخت منظم

text: در اینجا یک بافت ( متن ) به معنی یک درخت با دقیقاً یک حفره در آن است و ["S"["t" نشان دهندهٔ نتیجهٔ پر کردن درخت T با حفره‌ای از S است .


title: گرامر درخت منظم

text: زبان درخت تولید شده توسط T زبان { "L"("G") = { "t" ∈ "T" | "Z" ⇒ "t" است.


title: گرامر درخت منظم

text: در اینجا "T" نشان دهندهٔ مجموعه‌ای از تمام درختان تشکیل شده از نمادهای Σ , درحالیکه ⇒ نشان دهندهٔ عملیات پی در پی از ⇒ است.


title: گرامر درخت منظم

text: فرض کنید "G" = ("N",Σ) , "Z" , "P" که در آن


title: گرامر درخت منظم

text: مثالی از اشتقاق گرامر "G" :


title: گرامر درخت منظم

text: "BList" ⇒ "cons"("Bool","BList") ⇒ "cons"("false","cons"("Bool","BList")) ⇒ "cons"("false","cons"("true","nil"))


title: گرامر درخت منظم

text: تصویر نشان می‌دهد که درخت اشتقاق مربوطه ، آن درخت از درختان (تصویر اصلی) است ، در حالیکه یک درخت اشتقاق در گرامر کلمه یک درخت از رشته (جدول بالا سمت چپ) است .


title: گرامر درخت منظم

text: زبان درخت تولید شده توسط "G" مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است ، که ("L"("G" برابر با "T" شده‌است. گرامر "G" مرتبط است با اظهارات نوع داده جبری .


title: گرامر درخت منظم

text: در زبان برنامه نویسی استاندارد ML : هر عضو از "(L"("G" مرتبط است با مقدار استاندارد ML از نوع دادهٔ BList .


title: گرامر درخت منظم

text: به عنوان مثال دیگر ، فرض کنید ("G" = ("N",Σ, "BList1" , "P" ∪ "P" با استفاده از مجموعه‌ای از غیر پایانی‌ها و الفبای بالا ، گسترش تولیدات "P" , متشکل از تولیدات زیر است :


title: گرامر درخت منظم

text: زبان "(L"("G" مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است که حداقل یکبار شامل مقدار «درست» ( true ) می‌باشند . مجموعهٔ ("L"("G" هیچ همتای نوع داده‌ای نه در استاندارد ML و نه در هیج زبان تابعی دیگر ندارد . این یک زیرمجموعه مناسب از ("L"("G" است . ترم مثال بالا نیز در ("L"("G" است ، همانطور که اشتقاقزیر نشان می‌دهد :


title: گرامر درخت منظم

text: "BList1" ⇒ "cons"("false","BList1") ⇒ "cons"("false","cons"("true","BList")) ⇒ "cons"("false","cons"("true","nil")).


title: گرامر درخت منظم

text: اگر "L" و "L" هر دو زبان درخت منظم باشند ، مجموعهٔ درخت "L" ∩ "L" و "L" ∪ "L" و "L" \ "L" نیز درخت زبان منظم هستند ؛ و می‌توان نتیجه گرفت که آیا "L" ⊆ "L" یا "L" = "L" هست یا نه .


title: گرامر درخت منظم

text: Rajeev Alur و Parthasarathy Madhusudan یک زیرکلاس از زبان درخت دودویی منظم را به کلمات تو در تو و زبان‌های پشته‌ای مشخصه ارتباط دادند .


title: گرامر درخت منظم

text: زبان‌های درخت منظم همچنین شامل زبان‌های به رسمیت شناخته شدهٔ درخت‌های پایین به بالا و درخت‌های غیرقطعی بالا به پایین هستند .


title: گرامر درخت منظم

text: گرامرهای درخت منظم کلیتی از گرامرهای کلمه منظم هستند .


title: آدیپونکتین

text: آدیپونکتین () یک هورمون پپتیدی است که در انسان از بافت چربی ترشح می‌شود و بر متابولیسم چربی و گلوکز مؤثر است. آدیپونکتین با افزایش حساسیت کبد به انسولین، میزان خروجی گلوکز از کبد را کاهش می‌دهد، همچنین مصرف گلوکز در عضلات را افزایش داده و مانع افزایش قند خون می‌شود. آدیپونکتین در سایر جانوران نیز مشاهده می‌شود و در انسان از ۲۴۴ اسیدآمینه تشکیل شده است.


title: آدیپونکتین

text: آدیپونکتین موجب کاهش گلوکونئوژنز، افزایش برداشت گلوکز، فروگشت چربی، افزایش حساسیت به انسولین و کاهش وزن می‌شود.


title: آدیپونکتین

text: رزیستین


title: فیلم ۴۳

text: فیلم ۴۳ () فیلمی آنتولوژی کمدی محصول آمریکا است که در سال ۲۰۱۳ منتشر شد. فیلم چهارده خط داستانی متفاوت را روایت می‌کند که هر بخش توسط کارگردان‌های مختلفی مانند الیزابت بنکس، استیون بریل، استیو کار، راستی کاندیف، جیمز دافی، گریفین دان، پاتریک فورزبرگ، جیمز گان، برت راتنر، باب ادنکیرک، ویل گراهام و جاناتان ون تولکن کارگردانی می‌شود. الیزابت بنکس، کریستن بل، هلی بری، جرارد باتلر، کیت وینسلت، هیو جکمن، نائومی واتس، اوما تورمن، اما استون، آنا فاریس، لسلی بیب، ست مک‌فارلن، کلویی گریس مورتس، کریس پرت، کیت باسورث و جاستین لانگ از جمله بازیگران فیلم هستند. جولیان مور، تونی شالهوب و آنتون یلچین نیز در سکانسی که با نسخه دی‌وی‌دی عرضه شده‌بود، حضور دارند.


title: فیلم ۴۳

text: ساخت فیلم تقریبا یک دهه طول کشید، زیرا اکثر استودیوها فیلم‌نامه را رد می‌کردند تا اینکه توسط رلتیویتی مدیا به مبلغ ۶ میلیون دلار خریداری شد. فیلم در طول چندین سال فیلم‌برداری شد زیرا انتخاب بازیگران برای تهیه‌کنندگان یک چالش بود.


title: فیلم ۴۳

text: "فیلم ۴۳" درباره چندین فیلم کوتاه است که توسط سه نوجوان در اینترنت به عنوان ناپسندترین فیلم‌ها پیدا شده‌اند.


title: آصف مندوی

text: آصف مندوی (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۹۵ میلادی تا کنون مشغول فعالیت بوده است.


title: آصف مندوی

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "آخرین بادافزار"، "خواستگاری"، "مرد عنکبوتی ۲"، "فیلم ۴۳"، "مارجین کال"، "محاصره"، "کارآموز"، "تحلیل این" و "فریدم لند" اشاره کرد.


title: راغب مصطفی غلوش

text: راغب مصطفی غلوش (زادۀ ۵ ژوئیهٔ ۱۹۳۸ – درگذشتۀ ۴ فوریه ۲۰۱۶) از قاریان برجستۀ قرآن و اهل سرزمین مصر بود.


title: راغب مصطفی غلوش

text: مصطفی غلوش ۵ ژوئیهٔ ۱۹۳۸ در روستای برما در استان طنطا واقع در غرب کشور مصر متولد شد. او از سنین نوجوانی از حافظان قرآن بوده‌است.


title: راغب مصطفی غلوش

text: "عبدالغنی الشرقاوی"، "ابراهیم الطبهیلی" و "ابراهیم سلام" از استادان او بوده‌اند. غلوش تا مدت‌ها از مقلدان مصطفی اسماعیل بود و صوت آن‌ها شباهت زیادی به‌هم دارد. او از ۲۴ سالگی در رادیو و تلویزیون رسمی مصر به‌عنوان قاری حضور یافت و از همان زمان رفته‌رفته سبک خودش در قرائت را دنبال کرد.


title: راغب مصطفی غلوش

text: راغب مصطفی غلوش حدود ۳۰ سال برای قرائت به کشورهای مختلف از جمله آمریکا، بریتانیا، ایران، فرانسه و کانادا سفر کرد ولی در سال‌های پایانی زندگی‌اش بیشتر در مصر به سر می‌برد.


title: راغب مصطفی غلوش

text: مصطفی غلوش ۴ بار در سال‌های ۱۳۶۸، ۱۳۷۴، ۱۳۷۹  و ۱۳۸۱ به ایران سفر کرد و تلاوت‌های مختلفی در این کشور اجرا کرد.


title: راغب مصطفی غلوش

text: غلوش صبح روز پنجشنبه ۴ فوریه ۲۰۱۶ (۱۴۳۷ قمری) و در سن ۷۷ سالگی در مصر درگذشت. پیکر او پس از نماز عصر روز ۴ فوریه ۲۰۱۶ در زادگاهش، روستای برما در مصر دفن شد.


title: هل‌بلید: پیشکش سنوئا

text: هل‌بلید: فداکاری سنوئا یک بازی ویدئویی خیال‌پردازی تاریک در سبک اکشن-ماجراجویی است که توسط استودیوی انگلیسی نینجا تئوری ساخته شده‌است و در اوت ۲۰۱۷، برای پلی‌استیشن ۴ و مایکروسافت ویندوز منتشر شد. این بازی ابتدا قرار بود به صورت انحصاری برای کنسول پلی‌استیشن ۴ منتشر شود، اما مدتی بعد نینجا تئوری خبری مبنی بر عرضهٔ این عنوان بر روی رایانه‌های شخصی را نیز آشکار ساخت. نسخه کنسول اکس‌باکس وان این عنوان در ۱۱ آوریل ۲۰۱۸، تنها به صورت توزیع دیجیتال و همچنین با پشتیبانی از گرافیک پیشرفته برای اکس‌باکس وان اکس در دسترس قرار گرفت. نسخه کنسول‌های نینتندو سوئیچ در آوریل ۲۰۱۹، و اکس‌باکس سری اکس/اس در اوت ۲۰۲۱ عرضه شدند. "هل‌بلید" توسط توسعه‌دهندگان به عنوان یک بازی مستقل ای‌ای‌ای توصیف شده‌است، این بدین معنی است که بازی به‌طور مستقل توسعه و انتشار یافته، اما با تمام ارزش‌های کیفیت و ساختی که هر بازی ای‌ای‌ای در بازار دارد.


title: هل‌بلید: پیشکش سنوئا

text: "هل‌بلید" همانند بازی "شمشیر آسمانی" پیچیده و شیطانی به نظر می‌رسد و همچنین نام بازی «هل‌بلید»، به‌طور مستقیم نقطه مقابل آن است و در هر دو عنوان از شخصیت‌های مؤنث به عنوان شخصیت اصلی و ناجی سرنوشت استفاده شده‌است. این بازی با الهام از اساطیر اسکاندیناوی و فرهنگ سلت‌ها ساخته شده‌است و به دنبال شخصیت سنوئا، یک جنگجوی پیکت اهل اورکنی است که به منظور نجات و رهایی روح معشوق مرده خود از دست ایزدبانوی سرزمین مردگان هل، باید با شکست دادن موجوداتی از دنیای دیگر و مواجه با چالش‌های آن‌ها، راهی سرزمین هل‌هایم شود. در بازی ترکیب چندین سبک از بازی‌های ویدئویی شامل هک اند اسلش، معمایی و وحشت روان‌شناختی وجود دارد.


title: هل‌بلید: پیشکش سنوئا

text: هل‌بلید یک موفقیت تجاری بود و با واکنش‌های مطلوبی از سوی منتقدان همراه بود که آن را به عنوان یک اثر هنری مورد ستایش قرار دادند، و همچنین تصمیمات غیر معمول حول محور روان‌پریشی، کیفیت و منحصر به فرد بودن رویکرد آن از شرایط، و داستان و شخصیت اصلی بازی نیز مورد تحسین قرار گرفت، اگرچه منتقدان از گیم‌پلی و اِلمان‌های دیگری در بازی انتقاداتی داشتند. همچنین نمایش کلی بازی، در کنار اجرای ملینا یورگنس، از نظر کیفیت چیزی بیش از آنچه در نظر گرفته می‌شود که اغلب در بازی‌های مستقل ارائه می‌دهند. دنبالهٔ این بازی تحت عنوان "" در مراسم جوایز بازی سال ۲۰۱۹ رونمایی شد.


title: هل‌بلید: پیشکش سنوئا

text: داستان بازی در اواخر سده ۸ (میلادی) و بر اساس اساطیر سلتی بوده و شخصیت اصلی داستان یک دختر جنگجوی پیکت به نام سنوئا است که به منظور نجات روح معشوقه مرده‌اش از دست ایزدبانوی هل، اقدام به انجام سفری به دنیای مردگان (هل‌هایم) و عالم اموات می‌کند.


title: هل‌بلید: پیشکش سنوئا

text: "هل‌بلید" برای اولین بار در تاریخ ۱۲ اوت ۲۰۱۴ و در طی نشست رسانه‌ای شرکت سونی در نمایشگاه گیمزکام به همراه تریلری رونمایی شد. خبر انتشار نسخهٔ مایکروسافت ویندوز بازی نیز در ۹ ژانویه ۲۰۱۵ اعلام شد. بر طبق گفته‌های نینجا تئوری نسخه ویندوز بازی از وضوح ۴کی پشتیبانی خواهد کرد. کار توسعه بازی توسط تیمی کوچک متشکل از ۱۵ نفر از اوایل سال ۲۰۱۵ و با بودجه‌ای محدود آغاز شد. عنوان رسمی بازی در مارس ۲۰۱۶، "هل‌بلید: پیشکش سنوئا" اعلام گردید.


title: هل‌بلید: پیشکش سنوئا

text: کار صداپیشگی و ضبط حرکت شخصیت سنوئا توسط عکاس کارمزدی آلمانی، ملینا یورگنس صورت گرفته‌است که پیش از پروژه هل‌بلید هیچ‌کدام از این کارها را انجام نداده بود.


title: هل‌بلید: پیشکش سنوئا

text: "هل‌بلید" به‌طور کلی مورد تحسین منتقدین قرار گرفت و نسخه پلی‌استیشن ۴ با میانگین امتیاز ۸۱ از ۱۰۰ بر اساس ۶۸ نقد، و نسخه ویندوز با امتیاز ۸۳ بر اساس ۲۴ نقد در وبگاه متاکریتیک قرار دارند. وبگاه آی‌جی‌ان و گیم‌اسپات به ترتیب امتیاز ۹ و ۸ از ۱۰ را به این بازی تقدیم کردند. وبگاه گیم‌اسپات ترکیب گرافیک شگفت‌انگیز و طراحی نوآورانه بازی را برای تقویت داستان و روند بازی، طراحی باورنکردنی صدا، مبارزات رضایت بخش و قوی و روایت داستانی بازی را مورد تقدیر قرار داد، و در طرف دیگر ساختار معماهای تکراری و دستورالعمل‌ها و مسیرهای بیشمار که در برخی مواقع پیشروی در بازی را با اختلال مواجه می‌کرد را مورد انتقاد قرار داد.


title: هل‌بلید: پیشکش سنوئا

text: "سرگذشت‌نامه سنوئا: هل‌بلید ۲" در مراسم جوایز بازی سال ۲۰۱۹ رونمایی شد و قرار است برای مایکروسافت ویندوز و کنسول جدید اکس‌باکس سری اکس منتشر شود.


title: خانواده پواسونار

text: «خانواده پواسونار» () یک تله‌فیلم درام و کمدی به کارگردانی «ادوارد مولینارو» است که در سال ۱۹۸۱ از شبکهٔ تی‌اف۱ فرانسه پخش شد. فیلم‌نامهٔ این فیلم ۲ قسمتی را «پیر پلگری» و «روژه هنن» بر پایهٔ رمانی به همین نام اثر «ژان دوتور» نگاشته‌اند.


title: خانواده پواسونار

text: لازم است ذکر شود که عنوان اصلی این فیلم که در زبان فرانسوی «اُ بُن بُق» خوانده می‌شود اصطلاحی است به معنیِ «کره خوب»؛ اما در فیلم، این عبارت در واقع «نام یک فروشگاه» است که «خانواده پواسونار» در آن به فروش لبنیات و خواربار مشغول‌اند و چون نام خاص است، نباید ترجمه شود.


title: خانواده پواسونار

text: این فیلم، نخستین بار در مردادماه ۱۳۶۷ از شبکه ۱ سیمای جمهوری اسلامی ایران و با نام «خانواده پواسونار» پخش گردید.


title: خانواده پواسونار

text: وقایع این فیلم در سال ۱۹۴۱ میلادی و در خلال جنگ جهانی دوم در فرانسه رخ می‌دهد. «لئون» یک دانشجوی آرمانگرای رشته تاریخ است که از کمپ زندانیان جنگ می‌گریزد و به خانه مادرش در پاریس پناه می‌برد و در آنجا پنهان می‌شود. کمی بعد، سربازان آلمانی، با نامه‌ای بی نام و امضاء، از محل اختفای او آگاه شده و به خانه مادرش حمله می‌کنند، اما «لئون» موفق می‌شود بگریزد و به شهر لیون برود. او که می‌خواهد به کشورش خدمت کند، تصمیم می‌گیرد «پیر لاوال» را ترور کند، اما نقشه‌اش خوب پیش نمی‌رود و دوباره دستگیر شده و این بار، به ۱۰ سال زندان محکوم می‌شود.


title: خانواده پواسونار

text: در همین هنگام در پاریس، آقا و خانم پواسونار که صاحب یک مغازهٔ فروش محصولات لبنی هستند، از فرصت بدست‌آمدهٔ ناشی از جنگ، بیشترین استفاده را کرده و روز به روز، پولدارتر می‌شوند. مادر «لئون» هم از مشتریان همین مغازه است. آنها خانواده‌ای فرصت‌طلب هستند که به روش‌های مختلف و نامعلوم، اجناس مورد نیاز مردم را از بازار سیاه تهیه کرده و با چندین برابر قیمت به مردم می‌فروشند. خانواده پواسونار، آشکارا از سیاست‌های «مارشال پتن» حمایت می‌کنند.


title: خانواده پواسونار

text: کمی بعد «خانوادهٔ پواسونار» احساس می‌کنند شرایط سیاسی در حال تغییر است. در نتیجه رنگ عوض کرده و رفتار خود را تغییر می‌دهند. آنها جان یک یهودی را نجات داده و حتی یک گروه مقاومت درست می‌کنند و رهبری‌اش را خودشان بعهده می‌گیرند. در انتها و با پایان گرفتن جنگ، «خانواده پواسونار» بیش از گذشته پولدار شده‌اند و احترام و شهرت خاصی در جامعه برای خود کسب کرده‌اند. از طرفی «لئون» که اینک در دبیرستانِ قدیمی و مشهورِ «ژان باتیسته سه» یک معلم تاریخ است، مورد مؤاخذه واقع شده و او را بر خلاف میلش به جای دیگری منتقل می‌کنند، چرا که در درس تاریخ، به پسر آقای پواسونار، نمره خوبی نداده است.


title: لم تزریق برای زبان‌های مستقل از متن

text: در علوم کامپیوتر، در نظریه زبان‌های فرمال، لم تزریق برای زبان مستقل از متن که از آن با عنوان لم بار-هیلل نیز نام برده می‌شود، روشی است که ویژگی‌های مشترک زبان‌های مستقل از متن را ارائه داده و لم تزریق زبان‌های منظم (رگولار) را تعمیم می‌دهد.


title: لم تزریق برای زبان‌های مستقل از متن

text: اگر زبان L مستقل از متن باشد، آن‌گاه عدد صحیح P≥۱ موجود می‌باشد (که P طول تزریق می‌باشد) که هر رشته S در L که بلندتر یا مساوی نمادهای P است (برای مثال s|≥p|)، می‌تواند به صورت زیر نوشته شود: S=uvwxy که زیر رشته‌های u, v، w, x و y به این چنین هستند: که مورد ۳ برای همه n≥۰ در L قرار دارد.


title: لم تزریق برای زبان‌های مستقل از متن

text: لم تزریق زبان‌های مستقل از متن که در ادامه مقاله تنها با عنوان لم تزریق نام برده می‌شود، بیانگر ویژگی مشترک از تمام زبان‌های مستقل از متن است که در واقع ویژگی تمام رشته‌هایی در زبان است که حداقل طول p را دارا هستند و p ثابتی است که طول تزریق نامیده می‌شود و بین انواع زبان‌های مستقل از متن متفاوت است. s را رشته‌ای با حداقل طول p در زبان بنامید. لم تزریق بیان می‌کند که s می‌تواند به ۵ زیر رشته تقسیم شود: s=uvwxy، که در آن vx غیرتهی است و طول vwx حداکثر p می‌باشد؛ بطوری‌که تکرار v و x در s، هر بار رشته‌ای را تولید می‌کند که خودش در زبان وجود دارد (این امکان وجود دارد تا رشته صفر بار تکرار شود که برای حذف v و x از رشته مفید می‌باشد). این فرایند تزریق کپی‌های اضافه v و x، همان چیزی است که از نام لم تزریق برمی‌آید.


title: لم تزریق برای زبان‌های مستقل از متن

text: زبان‌های متناهی (که منظم و در نتیجه مستقل از متن هستند)، با داشتن p، برابر با حداکثر طول رشته در L بعلاوه یک، بدیهی است که از لم تزریق پیروی کنند و چون رشته‌ای با این طول وجود ندارد، بنابراین لم تزریق نقض نمی‌شود.


title: لم تزریق برای زبان‌های مستقل از متن

text: لم تزریق گاهی برای اثبات این‌که زبان L داده شده مستقل از متن نیست، به‌کار می‌رود. بدین‌صورت که نشان می‌دهد رشته‌های بلند s دلخواهی در L هستند که بدون تولید رشته‌هایی خارج از L نمی‌توانند تزریق شوند. برای مثال، زبان {L={abc | i> 0، با استفاده از لم تزریق در برهان خلف ثابت می‌شود که مستقل از متن نیست. ابتدا فرض کنید که L مستقل از متن است، با بکارگیری لم تزریق، می‌گوییم عدد صحیح p وجود دارد که طول تزریق زبان L می‌باشد. رشته s=abc را در L در نظر بگیرید. لم تزریق می‌گوید که می‌توانیم s را به صورت s=uvwxy بنویسیم که در آن u, v، w, x و y زیررشته هستند، چنانچه vwx|≤P| و vx| ≥ ۱| و uvwxy برای هر عدد صحیح i ≥ ۰ در L قرار می‌گیرند. با انتخاب s و پیش‌فرض vwx| ≤ p|، به آسانی مشاهده می‌شود که زیر رشته vwx نمی‌تواند بیش از دو نماد (symbol) مجزا داشته باشد؛ بنابراین، یکی از این ۵ احتمال زیر برای vwx وجود دارد.


title: لم تزریق برای زبان‌های مستقل از متن

text: در هر مورد کاملاً مشهود است که uvwxy برای هر i≠۱ از تعداد برابری از هر حرف برخوردار است؛ بنابراین، uvwxy فرم abc را ندارد و این با تعریف L مغایر است. از این‌رو فرض اولیه مبنی بر این‌که L مستقل از متن است، باید غلط باشد.


title: لم تزریق برای زبان‌های مستقل از متن

text: علی‌رغم این‌که لم تزریق اغلب برای این به کار می‌رود که اثبات کند زبان داده‌شده مستقل از متن نیست، هیچ‌گونه‌ای توصیفی از زبان‌های مستقل از متن ارائه نمی‌دهد و اگر زبانی شرایط لم تزریق را پوشش ندهد، می‌گوییم مستقل از متن نمی‌باشد.


title: لم تزریق برای زبان‌های مستقل از متن

text: از طرف دیگر، زبان‌هایی هستند که مستقل از متن نمی‌باشند، اما با این‌حال شرایط لم تزریق را در بر می‌گیرند؛ برای مثال، زبان {L = { bcd | j, k, l ∈ ℕ } ∪ { abcd | i, j ∈ ℕ, i≥۱ برای رشته s=bcd با مثلاً j≥۱، vwx را برای اینکه فقط شامل bها باشد، انتخاب می‌کند و برای رشته s=abcd، vwx را برای اینکه شامل فقط a باشد، انتخاب می‌کند. در هر دو مورد، هر دو رشته تزریق‌شده در L قرار دارند.


title: لم تزریق برای زبان‌های مستقل از متن

text: اگرچه روش‌های اثبات قوی‌تری مانند لم اوگدن (Ogden)، در دسترس می‌باشند اما حتی آن‌ها هم توصیف دقیقی از زبان‌های مستقل از متن ارائه نمی‌دهند.


title: عنکبوت زنبوری

text: عنکبوت زنبوری نام یک گونه از تیره عنکبوت‌های گردباف است که در سراسر مرکز اروپا، شمال اروپا، شمال آفریقا، بخش‌هایی از آسیا و مجمع الجزایر آزور زیست می‌کنند.


title: خاطرات خون‌آشام (فصل ۵)

text: خاطرات خون‌آشام یک سریال یک ساعته آمریکایی به سبک ماورایی و درام است که در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد. فصل پنجم در ۳ اکتبر ۲۰۱۳ به دنبال سریال اصیل‌ها، روی آنتن رفت. این سریال در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد. اولین جلسه نویسندگان در ۱۵ آوریل ۲۰۱۳ برگزار شد. فیلمبرداری در ۱۰ ژوئیه ۲۰۱۳ آغاز شد و در ۱۰ آوریل ۲۰۱۴ به پایان رسید.


title: خاطرات خون‌آشام (فصل ۵)

text: طی سه قسمت ابتدایی، چهار شخصیت جدید معرفی شدند: نادیا، دختری انتقامجو که دور دنیا سفر می‌کند، جسی، پسری که به دانشگاه می‌رود. الگا فوندا و کندریک سمپسون به ترتیب بازیگران نقش نادیا و جسی بودند. در ۲ اوت ۲۰۱۳ اعلام شد که جانینا گاوانکار نقش تسا را بازی می‌کند.


title: نینجا تئوری

text: نینجا تئوری یک شرکت مستقل توسعه‌دهنده بازی‌های ویدئویی واقع در کمبریج، انگلستان است. این شرکت ابتدا با نام جاست اد مانسترز در مارس ۲۰۰۰ تأسیس شد، اما شرکت در نوامبر ۲۰۰۴ توسط جرمی سان، مؤسس سابق شرکت آرگونات گیمز خریداری گردید. سرانجام "نینجا تئوری" در سال ۲۰۰۴ با همکاری سه شریک، شامل مدیران فعلی مجموعه نینا کریستنسن (مدیر توسعه)، تمیم آنتونیادز (مدیر تولید) و جز سان (مدیر غیر اجرایی) تشکیل شد.


title: نینجا تئوری

text: این شرکت در سال ۲۰۱۸ توسط اکس‌باکس گیم استودیوز خریداری شد.


title: نینجا تئوری

text: اولین بازی این تیم به عنوان "جاست اد مانسترز"، «کونگ‌فو کی‌آس» نام داشت که در سال ۲۰۰۳ توسط استودیو مایکروسافت به طور انحصاری برای کنسول اکس‌باکس انتشار یافت.


title: نینجا تئوری

text: "شمشیر آسمانی"، اولین عنوان استودیو "نینجا تئوری" در سال ۲۰۰۷ توسط سونی کامپیوتر انترتینمنت به طور انحصاری و بازی زمان عرضه برای کنسول پلی‌استیشن ۳ منتشر شد. نقش ناریکو، شخصیت اصلی و مو قرمز این بازی توسط بازیگر استرالیایی آنا تورو بازی شده‌است.


title: نینجا تئوری

text: بازی "" توسط نامکو باندای گیمز در اکتبر ۲۰۱۰ برای هر دو کنسول اکس‌باکس ۳۶۰ و پلی‌استیشن ۳ منتشر شد. دی‌ام‌سی نسخهٔ بازسازی‌شده و پنجمین بخش از سری بازی‌های "شیطان هم می‌گرید" توسط کپ‌کام در ژانویه ۲۰۱۳ برای اکس‌باکس ۳۶۰، پلی‌استیشن ۳ و مایکروسافت ویندوز عرضه شد. "نینجا تئوری" همچنین با همکاری چیلینگو (یکی از بخش‌های شرکت آمریکایی الکترونیک آرتس) اولین بازی تلفن همراه خود را با نام "فایت‌بک" در سال ۲۰۱۳ روانه بازار کردند. آخرین بازی این استودیو با نام "" نیز در اوت ۲۰۱۷ برای پلی‌استیشن ۴ و مایکروسافت ویندوز عرضه شد، و نسخه کنسول‌های اکس‌باکس وان و نینتندو سوئیچ به ترتیب در سال ۲۰۱۸ و ۲۰۱۹ منتشر شدند. دنبالهٔ این بازی نیز تحت عنوان "" قرار است در تاریخی نامشخص برای اکس‌باکس سری اکس/اس و مایکروسافت ویندوز منتشر شود.


title: بتا اکسیداسیون

text: بتا اکسیداسیون () فرایندی است که در طی آن مولکول‌های اسید چرب در میتوکندری تجزیه و استیل کوآ تولید می‌کنند. بتا اکسیداسیون از روی کربنی به نام بتا آغاز می‌شود.


title: بتا اکسیداسیون

text: ابتدا در سیتوزول(غشای خارجی میتوکندری) آنزیم‌هایی مانند آسیل کوآ سنتتاز (تیوکیناز) اسید چرب را به آسیل چرب کوآ تبدیل می‌کند. در این واکنشATP به AMP و PPi تبدیل می‌شود. در ادامه آسیل کوآ با زنجیره کوتاه و متوسط (کمتر از ۱۰ کربن) به راحتی وارد میتوکندری می‌شوند. آسیل کوآ با زنجیره بلند (بیش از ۱۲ کربن) به راحتی از غشای خارجی میتوکندری عبور می‌کنند ولی قادر به عبور از غشای داخلی میتوکندری نیستند. عبور آسیل کوآی بلند زنجیره از غشای داخلی میتوکندری با استفاده از کارنیتین و در سه مرحله صورت می‌پذیرد


title: بتا اکسیداسیون

text: در ماتریکس میتوکندری طی واکنش‌هایی که طی چهار مرحله به صورت متوالی بر روی آسیل کوآ انجام می‌گیرد در هر چرخه دو مولکول کربن طی یک استیل کوآ از زنجیره اسید چرب جدا می‌شود تا بتدریج تمام اسید چرب تجزیه شود.


title: بتا اکسیداسیون

text: این چهار مرحله عبارتند از: دهیدروژناسیون (توسط آنزیم آسیل کوآ دهیدروژناز)؛ هیدروژناسیون (توسط آنزیم انوئیل کو آنزیم A هیدراتاز)؛ اكسيداسيون (آنزیم این مرحله بتا هیدروکسی اسیل کو آنزیم A دهیدروژناز است) و تیولیزاسیون (بوسیله آنزیم تیولاز) که یک مولکول استیل کو آنزیم A جدا می‌شود.


title: بتا اکسیداسیون

text: استیل کوآی تولید شده وارد چرخه اسید سیتریک می‌شود. در طول چرخه به ازای هر co۲ یک ATP و ۴H۲ در فرم ۳NADH۲ و یک FADH۲ تولید می‌شود. در این واکنش‌ها اکی والان‌های احیایی زنجیره آسیل به شکل FADH2 و NADH در می‌آیند و انرژی حاصله ذخیره می‌شود.


title: بتا اکسیداسیون

text: بتا اکسیداسیون اسیدهای چرب غیر اشباع بخاطر وجود پیوندهای دوگانه در ساختمانشان انرژی کمتری ایجاد می‌نمایند. واکنش‌ها مشابه است ولی دو آنزیم ایزومراز و اپیمراز نیز دخیل هستند.


title: بتا اکسیداسیون

text: بیشتر اسیدهای چرب شرکت‌کننده در ساختار تری گلیسریدها از نوع اسیدهای چرب غیر اشباع با یک یا چند پیوند دوگانه می‌باشند که شکل ایزومری پیوند، CIS می‌باشند و بنابراین نمی‌توانند توسط آنزیم انوئیل کوآ هیدراتاز تحت تأثیر قرار گیرند. دو آنزیم انوئیل کوآ ایرومراز و ۲و ۴ دی انوئیل کوآ ردوکتاز برای این مسیر علاوه بر آنزیم‌های بتا اکسیداسیون اسیدهای چرب اشباع مورد نیاز است.


title: دکتر آز (برنامه تلویزیونی)

text: دکتر آز عنوان یک برنامهٔ تلویزیونی است که دکتر محمت آز (مهمت آز) به‌عنوان مجری، دربارهٔ موضوعات پزشکی بدن انسان توضیحاتی داده و به سؤالات حاضرین و بینندگان تلویزیون پاسخ می‌دهد. این برنامه از سال ۱۳۹۳ خورشیدی از شبکهٔ فارسی۱ پخش می‌شود. وزن دکتر آز قبل از رژیم موفقیت‌آمیز صدو بیست کیلو بود ولی پس از عمل جراحی به کاهش چشم‌گیری رسید به گفته سارا نیوز این مجری موفق هرگز تن به ورزش نداده‌است. شایعات حاکی از اعتیاد وی به مواد مخدر دارد که البته این شایعه هرگز مورد تأیید نبوده‌است این نمایش بوسیله جامعه پزشکی نکوهش شده، بر اساس یک مطالعه ۵۴ درصد از توصیه‌های بهداشتی این برنامه از نظر پزشکی پشتیبانی نمی‌شود.


title: دکتر آز (برنامه تلویزیونی)

text: این برنامهٔ تلویزیونی برندهٔ دو جایزهٔ اِمی برای تولیدات تلویزیونی شده‌است.


title: سمورچه هوپی

text: سمورچه هوپی نام یک گونه از سرده سمورچه غربی است که در کلرادو، یوتا و آریزونا در جنوب غربی ایالات متحده یافت می‌شوند.


title: محمت آز

text: محمت آز یا محمت اُز یا محمد آز ( زادهٔ ۱۱ ژوئن ۱۹۶۰) پزشک جراح و متخصص قلب، ترک‌تبار آمریکایی است. شهرت او بیشتر به‌خاطر برنامهٔ تلویزیونیِ "دکتر آز" است. وی حامی تئوری پزشکی جایگزین است و توسط بسیاری از متخصصان، مراجع دولتی و ناشران، از جمله ماهنامهٔ "پاپیولار ساینس" و هفته‌نامهٔ "نیویورکر"، به‌دلیل ارائهٔ مطالب غیرعلمی مورد نقد قرار گرفته‌است.


title: محمت آز

text: محمت آز (مهمت آز) در شهر کلیولند ایالت اوهایو به دنیا آمده‌است. پدرش، مصطفی آز، زادهٔ بوزکیر ترکیه و مادرش، سونا، اهل استانبول می‌باشد. محمت دارای دو خواهر به نام‌های سه‌وال آز و نزلیم آز است.


title: محمت آز

text: آز از سال ۲۰۰۱ استاد دانشکده جراحی در دانشگاه کلمبیا بوده‌است. او مؤسسه قلبی-عروقی و برنامه طب مکمل را در بیمارستان نیویورک-پرسبیترین اداره می‌کند. علایق تحقیقاتی او شامل جراحی پیوند قلب، جراحی قلبی با حداقل تهاجم، و سیاست مراقبت سلامتی است.


title: محمت آز

text: آز به عنوان رای دهندهٔ جمهوریخواه ثبت نام کرده، و از جان مک‌کین در انتخابات ریاست‌جمهوری ایالات متحده آمریکا سال ۲۰۰۸ حمایت کرده‌است. دکتر آز در یک خانواده‌ی مسلمان بزرگ‌شده و اکنون هم مسلمان است.


title: اوگنی گولود

text: اوگنی سولومنوویچ گولود (زاده ۲۱ اکتبر ۱۹۳۵ در مسکو) ریاضیدان اهل روسیه است که در زمینه جبر فعالیت می‌کند. گولود از شاگردان ایگور شافارویچ در دانشگاه لومونوسف بود و پس از گرفتن مدرک دکترا در همان دانشگاه به کار مشغول شد. او در سال ۱۹۶۴ قضیه گولود-شافارویچ را دربارهٔ برج‌های میدان‌های کلاسی به اثبات رساند. از دیگر کارهای او ارائه مثال نقضی برای حدس برنساید در نظریه گروه ها بود. در واقع او بر پایه کارهایش با شافارویچ نشان داد که گروه‌های تابدار ولی متناهی-تولید وجود دارند.گولود در سال ۱۹۶۳ جایزه جامعه ریاضیات مسکو را دریافت کرد.


title: سمورچه آلپ

text: سمورچه آلپ نام یک گونه از سرده سمورچه است.


title: سورن آراکلوف

text: سورن یوریویچ آراکلوف (زاده ۱۶ اکتبر ۱۹۴۷ در خارکف) ریاضیدان اهل روسیه است که در زمینه هندسه جبری حسابی فعالیت می‌کند. او در سال ۱۹۷۴ تحت سرپرستی ایگور شافارویچ دکترای ریاضیات را از مؤسسه استکلوف به دست آورد و پس از آن به عنوان پژوهشگر در مؤسسه نفت و گاز مسکو مشغول به کار شد. در سال ۱۹۷۹ به خاطر بیماری شیزوفرنی ناچار شد که فعالیت پژوهشی را متوقف کند و از آن پس در مسکو به همراه همسر و فرزندانش زندگی می‌کند. آراکلوف بیشتر به دلیل نظریه اش در هندسه جبری حسابی که به نام خود او نظریه آراکلوف نامیده شده‌است نامبردار است. در نظریه آراکلوف بررسی معادلات دیوفانتی (نقاطی روی خم formula_1 با مختصات صحیح در formula_2) به کمک نظریه طرح‌ها ی گروتندیک و افزودن یک نقطه در بینهایت (کلاف‌های برداری formula_3 روی با متریک هرمیتی) تکمیل می‌شود. این نظریه سپس به وسیله گرد فالتینگز به نحو گسترده‌ای برای اثبات حدس مردل (که برای اثبات آن فالتینگز در سال ۱۹۸۶ مدال فیلدز را دریافت کرد) به کار گرفته شد.


title: ماشین قطعی پشته‌ای

text: در نظریه اتوماتا یک اتومات‌های قطعی پشته‌ای (Deterministic Pushdown Automaton) یک نمونه از تمامی اتومات های پشته‌ای می‌باشد. ماشین اتومات های قطعی پشته‌ای زبان مستقل از متن قطعی را می‌پذیرد که زیرمجموعه‌ای از تمامی زبان‌های مستقل از متن است.


title: ماشین قطعی پشته‌ای

text: انتقال‌های ماشین براساس وضعیت موقعیت فعلی و نماد ورودی و نماد بر روی استک تعیین می‌شود و قابل ذکر است که نمادهای پایین‌تر در پشته قابل رویت نبوده و همچنین اثر فوری ندارند. اقدامات ماشین شامل حل دادن، ظاهر یا یا جایگزینی پشته بالا می‌باشد.


title: ماشین قطعی پشته‌ای

text: اتوماسیون پشته‌های قطعی حد اکثر یک انتقال قانونی برای همان ترکیب از نماد ورودی، حالت و نماد بالایی پشته می‌باشد. این همان نقطهٔ تفاوت (اتوماسیون پشته‌های قطعی) از پشته‌های غیر قطعی می‌باشد.


title: ماشین قطعی پشته‌ای

text: اگر (L(A یک زیان پذیرفته شده توسط ماشین پشته‌ای باشد A در صورتی می‌تواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود اگر و تنها اگر یک محاسبات از پیکربندی اولیه انجام گیرد تا همهٔ رشته‌های متعلق به (L(A مورد پذیرش واقع شود.


title: ماشین قطعی پشته‌ای

text: اگر (L(A بتواند توسط یک ماشین پشته‌ای پذیرفته شود یک زبان مستقل از متن است و اگر بتواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود یک گرامر مستقل از متن قطعی می‌باشد.


title: ماشین قطعی پشته‌ای

text: همهٔ زبان‌های مستقل از متن قطعی نخواهند بود. این موضوع ماشین پشته‌ای قطعی را بسیار ضعیف تر از ماشین پشته‌ای نشان می‌دهد.


title: ماشین قطعی پشته‌ای

text: برای مثال:


title: ماشین قطعی پشته‌ای

text: زبان مستقل از متن متقارن (palindrome) با طول زوج توسط ماشین پشته‌ای پذیرفته می‌شود اما توسط ماشین پشته‌ای قطعی پذیرفته نمی‌شود.


title: ماشین قطعی پشته‌ای

text: بستار زبان مستقل از متن قطعی کاملاً متفاوت از زبان مستقل از متن است.


title: ماشین قطعی پشته‌ای

text: به عنوان مثال آن‌ها تحت عمل مکمل بسته می‌باشد. اما تحت اجتماع بسته نمی‌باشد. اثبات این که زبان مستقل از متن قطعی تحت عمل مکمل بسته‌است سخت و دشوار می‌باشد.


title: ماشین قطعی پشته‌ای

text: نتیجه‌ای که مستوان از یک مکمل گرفت این است که یک زبان توسط ماشین قطعی پشته‌ای پذیرفته می‌شود اگر تمام رشته‌های داخل آن زبان توسط مکمل ماشین پشته‌ای قطعی آن زبان پذیرفته شود.


title: ماشین قطعی پشته‌ای

text: «گراد شینای ژروژ» (Geraud Senizergues) ثابت کرده‌است که هم‌ارزی ماشین پشته‌ای قطعی تصمیم پذیر می‌باشد؛ که این کار را او در سال ۲۰۰۲ انجام داد.


title: پادشاهی متحد گرجستان

text: پادشاهی متحد گرجستان یک پادشاهی قرون وسطایی بود که در سال ۱۰۰۸ میلادی توسط باگرات سوم بنیان نهاده شد. این پادشاهی در طول قرن‌های ۱۱ و ۱۲ میلادی به اوج شکوفایی تمدن خود رسید به‌طوری‌که این دوران «عصر طلایی» تاریخ گرجستان نامیده می‌شود که آغاز آن سال ۱۰۸۹ میلادی هم‌زمان با آغاز پادشاهی داویت چهارم و پایان آن سال ۱۲۳۶ میلادی و حمله مغول به گرجستان است. مغول‌ها پس از حمله به گرجستان در آن سلطه یافتند که با مبارزات گرجی‌ها مواجه شد و سرانجام در دههٔ ۱۳۴۰ میلادی گرجی‌ها موفق به اخراج مغول‌ها از گرجستان شدند. تیمور لنگ با حملات هشت گانهٔ خود به گرجستان بین سال‌های ۱۳۸۶ تا ۱۴۰۳ میلادی باعث ویرانی آن شد و با حملهٔ امپراتوری عثمانی در سال ۱۴۶۶ میلادی پادشاهی متحد گرجستان به هرج و مرج کشیده شد و در نهایت بین سال‌های ۱۴۸۴ تا ۱۴۹۳ میلادی با تجزیه به سه پادشاهی مستقل کارتلی، کاختی و ایمرتی و پنج شاهزاده‌نشین دوران حکومتشان را به پایان بردند.


title: پادشاهی متحد گرجستان

text: پادشاهی متحد گرجستان شامل تمامیت ارضی امروزهٔ کشورهای گرجستان و ارمنستان و همچنین بخشی از کشورهای روسیه، ترکیه، آذربایجان و ایران امروزی بوده‌است.


title: پادشاهی متحد گرجستان

text: بنیان‌گذار پادشاهی متحد گرجستان باگرات سوم بود که از سال ۹۷۵ میلادی طعم حکمرانی در گرجستان را چشید و پس از بنیان‌گذاری پادشاهی متحد گرجستان در سال ۱۰۰۸ میلادی به مدت پنج سال بر آن حکومت کرد و در سال ۱۰۱۴ میلادی درگذشت. باگرات سوم فرزند گورگن دوم و از سلسلهٔ باگراتیونی‌ها بود. استیلای این سلسله را می‌توان از قرن ۸ میلادی ردیابی کرد، زمانی که آن‌ها به حکومت تائو کلارجتی (منطقه‌ای گرجی‌نشین در شمال شرقی ترکیه امروزی) رسیدند.


title: پادشاهی متحد گرجستان

text: در قرن ۱۱ میلادی وابستگی پادشاهی متحد گرجستان به امپراتوری سلجوقی کاملاً قطع شد. با به سلطنت رسیدن داویت چهارم در سال ۱۰۸۹ میلادی عصر طلایی گرجستان آغاز شد. داویت چهارم در طول حکومت خود به حضور بیست سالهٔ سلجوقیان در گرجستان پایان داد و پس از اخراج سلجوقیان از گرجستان، اقداماتی انجام داد که به لقب «سازنده» دست یافت.


title: پادشاهی متحد گرجستان

text: در سال ۱۱۲۵ میلادی، داویت چهارم در گذشت. پس از درگذشت داویت چهارم، دمتری یکم به قدرت دست یافت. در طول حکومت‌های دمتری یکم (۱۱۲۵ تا ۱۱۵۶)، گیورگی سوم (۱۱۵۶ تا ۱۱۸۴) و ملکه تامار (۱۱۸۴ تا ۱۲۱۳) پادشاهی متحد گرجستان در مسیر پیشرفت قرار داشت.


title: پادشاهی متحد گرجستان

text: پادشاهی متحد گرجستان، در عصر طلایی خود تبدیل به یکی از برجسته‌ترین کشورهای مسیحی شد و گسترهٔ قلمرو آن به بیشترین اندازهٔ خود رسید که از قفقاز شمالی تا ایران شمالی، و از دریای سیاه تا دریای خزر امتداد داشت.


title: پادشاهی متحد گرجستان

text: از مهم‌ترین رویدادهای علمی، فرهنگی و مذهبی آن دوران می‌توان به تأسیس و فعالیت مراکز علمی و فرهنگستان‌های گلاتی، ایقالتو و گرمی در داخل خاک گرجستان، صومعه ایویرون در کوه آتوس و صومعه صلیب در فلسطین اشاره کرد. منظومهٔ پلنگینه پوش اثر شوتا روستاولی را نیز می‌توان مهم‌ترین رویداد ادبی آن دوران دانست.


title: پادشاهی متحد گرجستان

text: خوارزمشاهیان در سال ۱۲۲۵ میلادی و مغول‌ها در ۱۲۳۶ میلادی با حمله به گرجستان به عصر طلایی آن پایان دادند و مغول‌ها در گرجستان سلطه یافتند، در پی آن، گرجی‌ها مبارزاتی علیه سلطهٔ مغول در گرجستان آغاز نمودند که کمتر از یک قرن طول کشید و با شدت و ضعف‌هایی نیز همراه بود. اگر چه این مبارزات در بلند مدت به پیروزی رسید اما در کوتاه مدت باعث تجزیهٔ موقت پادشاهی متحده به دو پادشاهی شد به‌طوری‌که گروهی جاه طلب از شاخه‌ای فرعی از سلسلهٔ باگراتیونی‌ها پادشاهی ایمرتی را تشکیل داده و بر آن حکومت کردند (گرچه در برهه‌هایی نیز قلمرو پادشاهی ایمرتی به عنوان بخشی از پادشاهی متحد گرجستان تحت حکومت دولت مرکزی قرار می‌گرفت). مغول‌ها برای استیلای خود در گرجستان، بسیاری از طوایف قدرتمند گرجی و ارمنی را تحت حمایت خود قرار داده و از ادای دیونشان به دولت مرکزی بازمی‌داشتند به‌طوری‌که در زمان حکومت داویت هشتم، مغول‌ها گیورگی پنجم را مورد حمایت خود قرار داده و به حکومت گماشتند تا از قدرت داویت هشتم بکاهند که این حکومت از سال ۱۲۹۹ تا سال ۱۳۰۲ و به‌طور کلی نصب پادشاهان گرجستان توسط مغول‌ها از ۱۲۹۹ تا سال ۱۳۱۳ ادامه داشت تا اینکه در سال ۱۳۱۴ میلادی گیورگی پنجم خود سلطنت را به دست آورده و رهبری گرجی‌ها را در مبارزه علیه سلطهٔ مغول در گرجستان بر عهده گرفت و پس از حدود ده سال آن‌ها موفق به اخراج مغول‌ها از گرجستان شدند. گیورگی پنجم همچنین در سال ۱۳۳۱، پادشاهی ایمرتی را رسماً ضمیمهٔ قلمرو خود نموده و پادشاهی متحده را احیا نمود. به این ترتیب مرزهای قلمرو پادشاهی متحد گرجستان به سرحدات قبل از حملهٔ مغول بازگشت.


title: پادشاهی متحد گرجستان

text: تیمور لنگ با حملات هشت گانهٔ خود به گرجستان بین سال‌های ۱۳۸۶ تا ۱۴۰۳ میلادی باعث ویرانی آن شد و با حملهٔ امپراتوری عثمانی در سال ۱۴۶۶ میلادی پادشاهی متحد گرجستان به هرج و مرج کشیده شد و در نهایت بین سال‌های ۱۴۸۴ تا ۱۴۹۳ میلادی به سه پادشاهی مستقل کاختی، کارتلی و ایمرتی و پنج شاهزاده‌نشین تجزیه شد.


title: پادشاهی متحد گرجستان

text: پادشاهی‌های کارتلی، کاختی و ایمرتی هر کدام تحت حکومت یکی از شاخه‌های سلسلهٔ باگراتیونی‌ها بوده و شاهزاده نشین‌های مسختی، گوریا، سامگرلو، سوانتی، و آپخازتی نیز توسط فئودال‌های محلی خود اداره می‌شدند.


title: پادشاهی متحد گرجستان

text: به این ترتیب پادشاهی متحد گرجستان به تاریخ پیوست.


title: پادشاهی متحد گرجستان

text: یک شاعر گرجی به نام مورمان لبانیدزه تاریخ پادشاهی متحد گرجستان و وقایع قرن‌های بعدی آن را این‌گونه خلاصه نموده‌است:


title: پادشاهی متحد گرجستان

text: "ای روشنی چشمان من، ای محبوب من، زمانی گرجستان بزرگ بوده‌است.شاه داویت سازنده بوده‌است، (بشکنی‌ها و) اوپیزریان شگفت‌انگیز بوده‌اند.مودرکیلی و تسورتاولی بوده‌اند، که در پی آن‌ها شوتا روستاولی آمده‌است.ای قرقی و ای روشن پر من، زمانی گرجستان بزرگ بود.از نیکوپسیا (کراسنودار) تا دربند (داغستان) کشیده شده بوده‌است پویا به هر سوشاخه‌ها برافراشته و با شکوه، بین دو دریا رشد کرده بوده‌است.گرجستان کشورهای تابع داشته‌است، پادشاه تامار همیشه سیب‌های طلایی می‌چیده‌است!جنگل انبوه را هرس کرده‌ایم، چنین گسترانیدیم، که بیزانس دیگری تبدیل شدیم.اما ناگهان (نقشهٔ گرجستان) مثل کرم در هم لولیده شد، چرخ (زمانه) برعکس چرخید.برای ما مغول اولین عذاب بود، و به همراه خود ترک و ایرانی را آورد.گرجستان زیبا را کلاغ‌ها بردند، ایران و عثمانی آن را به نصف تقسیم کردند.چرخ خرد شد و زنجیر پاره شد، ایقالتو بسته شد، گلاتی ویران شد.چهار پادشاه خون گریه کردند، هر چهار (پادشاه) شعرهای غم‌انگیز سرودند.چه وقت شعر است، صاحبش بمیرد، ایراکلی بزرگ با شمشیر درماند.و پس از آن وای چه ایامی! وای چه ایامی!"


title: محاسبه‌پذیری

text: محاسبه‌پذیری توانایی حل یک مسئله به روشی مؤثر است؛ که یک موضوع کلیدی در زمینه نظریه محاسبه پذیری در منطق ریاضی و نظریه محاسبات در علوم کامپیوتر است. محاسبه‌پذیری یک مسئله ارتباط نزدیکی با وجود یک الگوریتم برای حل مسئله دارد. گسترده‌ترین مدل‌های مورد مطالعه از محاسبات توابع تورینگ-محاسبه پذیر، μ-بازگشتی و حساب لامبدا هستند، که تمامی آن‌ها دارای قدرت محاسباتی معادل هستند. از انواع دیگر مطالعه محاسبه پذیری، همچنین: مفاهیم محاسبه‌پذیری ضعیف تر از ماشین‌های تورینگ که در نظریه اتوماتا مطالعه می‌شود و مفاهیم محاسبه‌پذیری قوی تر از ماشین تورینگ که در زمینه hypercomputation مطالعه می‌شود را می‌توان نام برد.


title: محاسبه‌پذیری

text: ایده اساسی در محاسبه‌پذیری این است که یک مسئله که یک task است که محاسبه‌پذیری ان را می‌توان بررسی کرد. دو نوع اصلی از مسایل وجود دارد:


title: محاسبه‌پذیری

text: مسئلهٔ تصمیم پذیری، یک مجموعه S را معین می‌کند که ممکن است مجموعه‌ای از رشته‌ها، اعداد طبیعی، یا اشیاء دیگری باشد که از مجموعه بزرگتری مانند U امده‌اند باشد. یک مثال خاص از مسئله تصمیم‌گیری این است که ایا یک عنصر u دلخواه از U در S است. به عنوان مثال، اکر U مجموعهٔ اعداد طبیعی و S مجموعهٔ اعداد اول باشد، مسئلهٔ تصمیم‌گیری به تصمیم‌گیری اول بودن تبدیل می‌شود.


title: محاسبه‌پذیری

text: مسئلهٔ تابع، شامل یک تابع f از مجموعه U به V است. مجموعه به عنوان یک نمونه از مسئله محاسبهٔ مقدار تابع f برای u داده شده از مجموعه U است. به عنوان مثال، اگر U و V مجموعهٔ تمام رشته‌های دودویی متناهی باشند و f یک رشته را گرفته و معکوس آن را به عنوان خروجی برگرداند آنگاه f(۱۰۱۰) = ۱۰۱۰.


title: محاسبه‌پذیری

text: انواع دیگر مسایل شامل مسایل جستجو و مسایل بهینه‌سازی هستند.


title: محاسبه‌پذیری

text: یکی از اهداف نظریه محاسبه‌پذیری تعیین این است که کدام مسایل، یا کلاسی از مسئله‌ها، قابل حل در کدام یک از مدل‌های محاسبه‌پذیری هستند.


title: محاسبه‌پذیری

text: یک مدل محاسبه‌پذیری توصیفی رسمی از نوع خاصی از روند محاسباتی است. توضیحات اغلب به شکل یک ماشین انتزاعی است که برای در دسترس قرار دادن مسئله است. مدل‌های عمومی محاسبه‌پذیری معادل با ماشین تورینگ عبارتند از (نگاه کنید به:تز چرچ-تورینگ):


title: محاسبه‌پذیری

text: محاسبات شامل یک عبارت لامبدا اولیه (یا دو عبارت برای جدا کردن تابع و ورودی آن) به علاوه یک دنباله متناهی از ترم‌های لامبدا، که هر کدام توسط اعمال یک قانون کاهشی بتا از ترم قبل استنباط می‌شوند.


title: محاسبه‌پذیری

text: مفهومی است که شباهت‌های بسیاری به حساب لامبدا دارد، ولی تفاوت‌های مهمی نیز وجود دارد (به عنوان مثال ترکیب نقطه ثابت Y در منطق ترکیبی دارای فرم نرمال است در حالی که در حساب لامبدا اینطور نیست). منطق ترکیبی با جاه طلبی‌های بزرگ توسعه داده شده‌است: درک ماهیت پارادوکس‌ها، ساخت پایه‌های اقتصادی تر (از نظر مفهوم) برای ریاضیات، از بین بردن مفهوم متغیرها.


title: محاسبه‌پذیری

text: محاسبات شامل یک تابع μ-بازگشتی است، یعنی، یک مقدار ورودی و دنباله‌ای از توابع بازگشتی ظاهر شدن در تعریف دنباله ظاهر می ضوند به همراه ورودی و خروجی آنها؛ بنابراین، اگر در دنباله تعریف تابع بازگشتی (f(x توابع (g(x و (h(x,y ظاهر شوند، انگاه ممکن است ترم‌های 'g(5)=۷' یا 'H (3،۲) = ۱۰' ظاهر شوند. هر ورودی در این دنباله، یا خروجی یک تابع اولیه است یا با استفاده از مطالب بالا بوسیلهٔ ترکیب بازگشت‌های اولیه یا μ-بازگشت بدست می‌آید. به عنوان مثال اگر ((f(x)=h(x,g(x، آنگاه برای وجود داشتن ترم 'F (5) = ۳'، عباراتی مانند " g(5) = ۶" و "H (3،۶) = ۳ "باید رخ دهد. محاسبات تنها زمانی متوقف می‌شود که ترم نهایی ارزش تابع بازگشتی اعمال شده در ورودی را اخذ کند.


title: محاسبه‌پذیری

text: با توجه به الگوریتم مارکوف، که با استفاده از قوانین شبه گرامری روی رشته‌هایی از نمادها اعمال می‌شود.


title: محاسبه‌پذیری

text: آرمان نظری جالبی از یک کامپیوتر است. چندین نوع دارد. در بسیاری از آنها، هر ثبت نام می‌تواند تعدادی عدد طبیعی (با اندازه نامحدود) نگه دارد، و دستورالعمل‌ها ساده‌اند (و کم)، به عنوان مثال تنها عمل کاهش (همراه با پرش شرطی) و افزایش (و توقف) وجود دارد. عدم وجود بی‌نهایت (و یا رشد پویا) ذخیرهٔ خارجی (که در ماشین تورینگ وجود دارد) را می‌توان با جایگزینی نقش ان با تکنیک‌های شماره‌گذاری گودل درک کرد:این واقعیت است که هر ثبت نام یک عدد طبیعی دارد که اجازه می‌دهد تا بتواند نمایندهٔ یک شیء پیچیده باشد (به عنوان مثال یک دنباله، یا یک ماتریس) توسط عدد طبیعی بزرگ مناسب - عدم ابهام در هر دو حالت به نمایندگی گرفتن و تفسیر کردن را می‌توان با پایه‌های نظریه اعدادی این تکنیک‌ها ایجاد کرد.


title: محاسبه‌پذیری

text: تقریباً شبیه به ماشین با وضعیت‌های متناهی است، با این تفاوت که ورودی در "نوار" اجرایی داده می‌شود که ماشین تورینگ می‌تواند از روی ان بخواند، روی ان بنویسد، یا توسط "head" خود به جلو و عقب حرکت کند. نوار می‌تواند به اندازه دلخواه رشد کند. ماشین تورینگ توانایی انجام محاسبات پیچیده که ممکن است مدت زمان اجرای نامعلوم داشته باشد، را دارد. این مدل است که احتمالاً مهم‌ترین مدل محاسبه در علوم کامپیوتر است، چرا که محاسبه‌پذیری را در غیاب محدودیت منابع از پیش تعریف شده شبیه‌سازی می‌کند.


title: محاسبه‌پذیری

text: در اینجا ممکن است بیش از یک نوار وجود داشته باشد. و حتی ممکن است چندین head برای یک نوار وجود داشته باشد. با کمال تعجب، هر محاسبه‌ای که می‌تواند توسط این نوع ماشین انجام شود می‌تواند توسط یک ماشین تورینگ معمولی نیز انجام شود، هر چند که حالت دوم ممکن است آهسته‌تر باشد یا به یک منطقه بزرگتر از نوار نیاز داشته باشد.


title: محاسبه‌پذیری

text: مانند ماشین‌های تورینگ، "P از یک نوار نامتناهی (بدون دسترسی تصادفی) و یک مجموعه از دستورالعمل‌ها استفاده می‌کند. اما این دستورالعمل‌ها بسیار متفاوت هستند، بنابراین، بر خلاف ماشین‌های تورینگ، "P نیازی به نگهداری وضعیت‌های مجزا ندارد، چرا که همه توابع "حافظه مانند" را می‌توان تنها بوسیلهٔ نوار ارائه کرد. به جای بازنویسی نماد فعلی، می‌تواند عمل افزایشی هم‌ارزی بر روی آن انجام دهد. به دلیل طبیعت حداقلی اش، تبدیل به زبان رسمی پیاده‌سازی شده‌است و از زبان برنامه‌نویسی Brainfuck استفاده می‌کند. علاوه بر این مدل‌های محاسباتی کلی، برخی از مدل‌های محاسباتی ساده برای کارهای خاصی، برنامه‌های محدود، مفید هستند. عبارات منظم، به عنوان مثال، مشخص کردن الگوهای رشته‌ای در بسیاری زمینه‌ها، از دفتر بهره‌وری نرم‌افزار تا زبان‌های برنامه‌نویسی. یک فرمالیسم ریاضی دیگر هم ارز با عبارات منظم، اتوماتای متناهی است که در طراحی مدار و در حل برخی از مسئله‌ها استفاده می‌شود. گرامرهای مستقل از متن سینتکس (syntax) زبان‌های برنامه‌نویسی را مشخص می‌کنند. ماشین‌های پشته‌ای غیر قطعی هستند فرمالیسم‌های دیگری هم ارز با گرامر مستقل از متن هستند. مدل‌های مختلف محاسبه‌پذیری توانایی انجام کارهای مختلفی را دارند. یک راه برای اندازه‌گیری قدرت یک مدل محاسباتی مطالعه کلاس زبان رسمی است که مدل فوق می‌تواند تولید کند. به این ترتیب است که سلسله مراتب چامسکی برای زبان‌ها به دست آمده‌است. سایر مدل‌های متناهی محاسبه‌پذیری عبارتند از:


title: محاسبه‌پذیری

text: همچنین ماشین با تعداد وضعیت متناهی نامیده می‌شود. تمام دستگاه‌های محاسبات واقعی موجود در حال حاضر می‌توانند توسط یک ماشین متناهی مدل شوند، همان‌طور که تمام کامپیوترهای واقعی با منابع متناهی کار می‌کنند. چنین ماشینی دارای مجموعه‌ای از وضعیت‌ها و مجموعه‌ای از انتقال‌ها برای وضعیت‌ها است که تحت تأثیر جریان ورودی هستند. وضعیت‌های قطعی به عنوان وضعیت‌های پذیرش تعریف می‌شوند. جریان ورودی در هر زمان به ماشین یک کاراکتر می‌دهد، و انتقال‌های ممکن برای وضعیت فعلی با کاراکتر ورودی مقایسه می‌شود، و اگر با انتقالی مطابقت داشت دستگاه به یک وضعیت جدید می‌رود. در پایان اگر رشتهٔ ورودی ماشین در حالت پذیرش قرار داشت، تمام رشتهٔ ورودی پذیرش می‌شود.


title: محاسبه‌پذیری

text: یکی دیگر از مدل‌های سادهٔ محاسبه‌پذیری است، اگر چه دنباله پردازش آن منحصر به فرد نیست. می‌توان آن را به عنوان در نظر گرفتن مسیرهای چندگانه محاسبه به‌طور هم‌زمان از طریق یک تعداد متناهی از وضعیت‌ها تفسیر کرد. با این حال می‌توان ثابت کرد که هر NFA قابل تقابل به یک DFA معادل است.


title: محاسبه‌پذیری

text: شبیه به ماشین حالت محدود، به جز آن که یک پشته اجرایی در دسترس دارد، که می‌تواند اندازه دلخواه رشد کند. وضعیت‌های انتقال مشخص می‌کنند که در هر مرحله یک نمادی به پشته اضافه شود یا نمادی از روی پشته حذف شود. این ماشین با توجه به حافظه نامحدود پشتهٔ آن بسیار قدرتمندتر از DFA است، هر چند در هر زمان تنها عنصر بالای پشته در دسترس است.


title: محاسبه‌پذیری

text: دانشمندان کامپیوتر هر زبان که بتواند توسط یک ماشین متناهی پذیرش شود را یک زبان منظم می‌نامند. بخاطر محدودیتی که روی تعداد وضعیت‌های یک ماشین متناهی داریم که باید متناهی باشند، متوجه می‌شویم که برای پیدا کردن یک زبان غیر منظم باید یک زبان بیابیم که برای ساخت ان به تعداد نامتناهی وضعیت نیاز باشد. یک مثال از چنین زبانی، مجموعه‌ای از تمام رشته‌های شامل حروف 'a' و 'b' که شامل تعداد مساوی از حرف 'a' و 'b' است؛ که می‌توان بوسیلهٔ لم تزریق برای زبان‌های منظم این ادعا را ثابت کرد. لم تزریق نشان می‌دهد که کلاس‌های گسترده‌ای از زبان‌ها توسط ماشین‌های متناهی قابل تشخیص نیستند.


title: محاسبه‌پذیری

text: دانشمندان کامپیوتر هر زبان که بتواند توسط یک ماشین پشته‌ای پذیرش شود را یک زبان مستقل از متن می‌نامند که می‌توان برای ان یک گرامر مستقل از متن معرفی کرد. . زبان مجموعهٔ رشته‌هایی که شامل تعداد مساوی از حروف 'a' و 'b' است که نشان دادیم یک زبان منظم نیست رامی توان با یک ماشین پشته‌ای پذیرش کرد. همچنین، به‌طور کلی، یک ماشین پشته‌ای می‌تواند درست مثل یک ماشین متناهی رفتار کند، پس بوسیلهٔ ان می‌توان هر زبان منظم را پذیرش کرد. در نتیجه این مدل محاسبه به شدت قوی تر از ماشین متناهی است. با این حال، هنوز زبان‌هایی وجود دارند که توسط ماشین پشته‌ای قابل تصمیم‌گیری نیستند. یک مثال از چنین زبانی مجموعهٔ اعداد اول است. مشابه زبان‌های منظم لم تزریق برای زبان‌های مستقل از متن نیز وجود دارد.


title: محاسبه‌پذیری

text: ماشین تورینگ می‌تواند هر زبان مستقل از متن را پذیرش کند به علاوه می‌تواند زبان‌هایی که توسط ماشین پشته‌ای قطعی قابل تصمیم‌گیری نیستند، مانند زبان اعداد اول، را نیز پذیرش کند. این مدل یک مدل به شدت قوی محاسبه‌پذیری می‌باشد. از آنجا که ماشین تورینگ توانایی «بازگشت» در نوار ورودی خود را دارد، برای یک ماشین تورینگ این احتمال وجود دارد که برای مدت زمان طولانی اجرا شود در حالی که این عمل در هیچ‌یک از مدل‌های محاسبه‌پذیری دیگری که قبلاً توضیح دادیم امکان‌پذیر نمی‌باشد. ممکن است که یک ماشین تورینگ ساخته شود که برای برخی از ورودی‌ها هیچ وقت متوقف نشود. می‌گوییم یک ماشین تورینگ یک زبان را می‌پذیرد اگر به ازای تمام رشته‌های ورودی ان زبان ماشین متوقف شود. زبانی که به صورت فوق قابل تصمیم‌گیری است یک زبان بازگشتی نامیده می‌شود. می‌توان ماشین تورینگ‌هایی تعریف کرد که برای هر ورودی در زبان یک جواب تولید کند و سپس متوقف شود، اما ممکن است برای رشته‌های ورودی که در زبان نیستند ماشین متوقف نشود. چنین ماشین‌های تورینگی می‌توانند به ما بگویند که یک رشته داده شده در زبان هست، اما بر اساس رفتار آن ممکن است هرگز نفهمیم که یک رشته داده شده در یک زبان نیست، چرا که در بعضی حالت‌ها ممکن است ماشین هرگز متوقف نشود. زبانی که توسط چنین ماشین تورینگی پذیرش می‌شود زبان شمارش پذیر بازگشتی نامیده می‌شود. ماشین تورینگ، که یک مدل بسیار قدرتمند اتوماتا است. تلاش برای اصلاح تعریف ماشین تورینگ برای تولید یک ماشین قدرتمند تر به طرز شگفت‌آوری با شکست روبرو شده‌است. به عنوان مثال، اضافه کردن تعداد دلخواهی از نوارها به ماشین تورینگ، می‌توان ماشین بدست آمده را توسط یک ماشین تورینگ تک نواره شبیه‌سازی کرد. در نتیجه این مدل قوی تر نیست. در واقع، نتیجهٔ قضیه Church-Turing این است که هیچ مدل منطقی محاسبه‌پذیری که بتواند زبانی را که توسط یک ماشین تورینگ قابل تصمیم‌گیری نیست را پذیرش کند.


title: محاسبه‌پذیری

text: سؤالی که مطرح می‌شود این است که:ایا زبانی وجود دارد که «بازگشتی شمارش پذیر» باشد، ولی بازگشتی نباشد؟ و به علاوه، زبانی وجود دارد که حتی «بازگشتی شمارش پذیر» نباشد؟


title: محاسبه‌پذیری

text: تعدادی از مدل‌های محاسباتی بر اساس همزمانی توسعه یافته‌اند، از جمله حافظه دسترسی تصادفی موازی و شبکه پتری. در حال حاضر این مدل‌ها قدرتی فراتر از ماشین تورینگ ندارند.


title: محاسبه‌پذیری

text: طبق قضیه Church-Turing هیچ مدل منطقی محاسبه‌پذیری که بتواند زبانی را که توسط یک ماشین تورینگ قابل تصمیم‌گیری نیست را پذیرش کند وجود ندارد. دانشمندان کامپیوتر انواع بسیاری از hypercomputers معرفی کرده‌اند که مدل‌های محاسبهٔ فراتر از ماشین تورینگ هستند.


title: محاسبه‌پذیری

text: تصور کنید یک ماشین که در آن هر مرحله از محاسبات نیاز به نیمی از زمان مرحله قبل را دارد. اگر ما به ۱ واحد زمان برای مرحله اول نیاز داشته باشیم، انگاه زمان مورد نیاز برای اجرای ماشین به صورت: ... +۱+۱/۲+۱/۴ است. این سری همگرا به ۲ واحد زمان است، که به این معنی است که این ماشین تورینگ می‌تواند بی‌نهایت بار در ۲ واحد زمان اجرا شود. این ماشین می‌تواند مشکل تصمیم‌گیری توقف را به‌طور مستقیم با شبیه‌سازی سؤال به صورت بالا حل کند؛ که می‌توان ان را به کار با هر سری همگرا گسترش داد. اگر فرض کنیم این سری همگرا به یک مقدار n است آنگاه ماشین تورینگ عملیات نامتناهی را در n واحد زمان انجام می‌دهد.


title: محاسبه‌پذیری

text: به اصطلاح ماشین‌های اوراکلی دسترسی به نوعی "وحی" دارند که ارائه دهنده راه حلی برای برخی مسایل تصمیم ناپذیر است. برای مثال، ماشین تورینگ ممکن است یک "halting oracle" داشته باشد، که بلافاصله پاسخ دهد، ایا یک ماشین تورینگ برای یک ورودی داده شده متوقف می‌شود. این نوع ماشین یک موضوع اصلی در مطالعه نظریهٔ بازگشت است.


title: محاسبه‌پذیری

text: حتی این ماشین‌ها که به ظاهر مشکلات ماشین‌های تورینگ را ندارند محدودیت‌های خود را دارند. در حالی که هر یک از آن‌ها می‌تواند مشکل توقف برای یک ماشین تورینگ را حل کند، آن‌ها نمی‌توانند برای خود مسئله توقف را حل کنند. به عنوان مثال، یک ماشین اوراکلی نمی‌تواند این سؤال را که آیا یک ماشین اوراکلی داده شده متوقف می‌شود، پاسخ دهد.


title: محاسبه‌پذیری

text: Michael Sipser (1997). Introduction to the Theory of Computation. PWS Publishing. . Part Two: Computability Theory, Chapters 3–6, pp. 123–222.


title: محاسبه‌پذیری

text: Christos Papadimitriou (1993). Computational Complexity (1st ed.). Addison Wesley. . Chapter 3: Computability, pp. 57–70.


title: محاسبه‌پذیری

text: S. Barry Cooper (2004). Computability Theory (1st ed.). Chapman & Hall/CRC. .


title: امرار معاش

text: امرار معاش فیلمی کوتاه و صامت، به کارگردانی هنری لرمن، با بازی چارلی چاپلین و محصول سال ۱۹۱۴ است. "امرار معاش" اولین فیلمی است که چارلی چاپلین در آن به عنوان بازیگر ظاهر شد.


title: امرار معاش

text: «چارلی» از یک خبرنگار درخواست کمک می‌کند و به نزد دختر موردعلاقه‌اش می‌رود و انگشتری به او می‌دهد. از قضا همان خبرنگار هم خاطرخواه دختر مورد علاقهٔ چارلی است و وقتی چارلی را می‌بیند، با او درگیر می‌شود. بعداً خبرنگار، تصویری از واژگون شدن اتومبیلی را می‌گیرد، ولی چارلی دوربین او را می‌دزدد و تصویر را در روزنامه‌ها چاپ و آن را پخش می‌کند.


title: گرد فالتینگز

text: گرد فالتینگز (زاده ۲۸ ژوئیه۱۹۵۴ در گلزن‌کیرشن) ریاضیدان اهل آلمان است. او بیشتر به خاطر اثبات حدس موردل که برای آن در سال ۱۹۸۶ مدال فیلدز را دریافت کرد نامبردار است.


title: گرد فالتینگز

text: فالتینگز در خانواده ای با سابقه علمی به دنیا آمد. پدرش فیزیکدان و مادرش شیمیدان بودند و او در سنین بسیار پایین استعداد ریاضی اش را نشان داد. او در دانشگاه مونستر فوق لیسانس و دکترا را با سرپرستی هانس یواخیم نستولد دریافت کرد. سپس برای یک سال به امریکا رفت و در سال ۱۹۸۱ در مونستر درجه شایستگی را به دست آورد. در ۱۹۸۲ به ووپرتال رفت و به عنوان جوانترین پروفسور ریاضیات آلمان مشغول به کار شد. در سال ۱۹۸۳ با مقاله ۱۷ صفحه ایش که در آن حدس موردل و حدس شافارویچ هر دو به اثبات رسیده بودند توجه جهانی را به خود برانگیخت. فالتینگز در این مقاله به گونه گسترده ای از نظریه آراکلوف که به وسیله سورن آراکلوف ریاضیدان روس پرورانده شده بود بهره گرفت. در سال ۱۹۸۶ به خاطر این دستاورد مدال فیلدز به او داده شد. در سال ۱۹۸۵ فالتینگز به دانشگاه پرینستون در آمریکا رفت و با این کار بحث های بسیاری را درباره جذابیت محیط علمی آلمان برای پژوهشگران جوان آلمانی برانگیخت. او ۹ سال بعد در سال ۱۹۹۴ به آلمان بازگشت و در موسسه ریاضی ماکس پلانک در بن به فعالیت پرداخت. او از سال ۱۹۸۵ مدیریت این موسسه را به عهده دارد. دستاورد های فالتینگز در اثبات قضیه آخر فرما به وسیله اندرو وایلز به کار برده شدند. علایق ریاضی فالتینگز از زبان خود او عبارتند از: نظریه هاج، هندسه جبری حسابی، نظریه فضاهای پیمانه ای، نظریه های کوهمولوژی و کلاف های برداری روی خم ها.


title: دانشگاه بوکنل

text: دانشگاه بوکنل (به انگلیسی: Bucknell University) یک دانشگاه در ایالات متحده آمریکا است که در پنسیلوانیا واقع شده‌است.


title: دانشگاه وسلین اهیو

text: دانشگاه وسلین اهیو (به انگلیسی: Ohio Wesleyan University) یک دانشگاه در ایالات متحده آمریکا است که در اوهایو واقع شده‌است.


title: گرفتن دزد

text: گرفتن دزد فیلمی کوتاه و صامت، به کارگردانی فورد استرلینگ با بازی چارلی چاپلین و تولید سال ۱۹۱۴ می‌باشد. این فیلم از دست رفته بود اما در سال ۲۰۱۰ در یک عتیقه فروشی کشف شد.


title: بیماری‌های تکرار سه‌تایی

text: بیماری‌های تکرار سه تایی (همچنین به عنوان بیماری‌های توسعهٔ تکرار سه تایی، بیماری‌های توسعهٔ تکرار سه‌گانه یا بیماری‌های تکرار کدون می‌شناسند) یک گروه از بیماری‌های ژنتیکی هستند که به سبب توسعهٔ تکرارهای سه تایی به وجود می‌آید، یک نوع جهش در ژن اصلی باعث تجاوز تکرارهای سه تایی از حد نرمال (آستانه پایدار که در بسته به نوع ژن متفاوت است) می‌شود. این جهش زیرمجموعهٔ تکرارهای ناپایدار ریزماهواره‌ای است که در سراسر توالی‌های ژنومی اتفاق می‌افتد. اگر در یک ژن سالم تکرار وجود داشته باشد، جهش‌های پویا (داینامیک) ممکن است شمار تکرارها و شدت بیماری را در یک ژن ناقص افزایش دهد. تکرارهای سه تایی گاهی به عنوان جهش درجی دسته‌بندی می‌شوند و گاهی در دستهٔ جداگانه از جهش‌ها می‌باشند.


title: بیماری‌های تکرار سه‌تایی

text: در بیش از نیمی از این اختلالات، کدون تکراری CAGاست که در ناحیه ترجمه کدهای گلوتامین هستند و نتیجه آن ایجاد یک توالی پلی‌گلوتامینی است(polyglutamine tract). این بیماری‌ها را به‌طور معمول تحت عنوان بیماری‌های پلی‌گلوتامین می‌شناسند(polyglutamine (or PolyQ) diseases). سایر بیماری‌های تکرار کدون (بیماری‌های تکرار سه تایی) که گلوتامین را کد نمی‌کنند تحت عنوان بیماری‌های غیر پلی گلوتامین طبقه‌بندی می‌کنند(non-polyglutamine diseases).


title: شاگرد ستاره

text: شاگرد ستاره یا (The Landlady's Pet) فیلمی کوتاه و صامت، به کارگردانی جورج نیکولز با بازی چارلی چاپلین و تولید سال ۱۹۱۴ است.


title: ماشین‌سواری میبل

text: ماشین سواری میبل فیلمی کوتاه و صامت، به کارگردانی میبل نورماند و مک سنت با بازی چارلی چاپلین و تولید سال ۱۹۱۴ می‌باشد.


title: تبلیغات برخط

text: تبلیغات آنلاین ، بازاریابی آنلاین یا بازاریابی اینترنتی، یک شکل از بازاریابی و تبلیغ است که از اینترنت برای تحویل دادن پیام‌های بازاریابی تبلیغاتی به مشتریان استفاده می‌شود. آن، بازاریابی با ایمیل، موتور جستجوی بازاریابی، رسانه‌های اجتماعی بازاریابی، بسیاری از انواع نمایش تبلیغات،(شامل تبلیغات عنوان وب) و تبلیغات موبایل را شامل می‌شود. شبیه دیگر رسانه‌های تبلیغاتی، تبلیغات آنلاین غالباً دو شخص را در بر می‌گیرند؛ یک ناشر که آگهی‌ها را به درون محتوای آنلاینش می‌گنجاند و یک آگهی‌دهنده که آگهی‌هایی که نمایش داده می‌شود را برای ناشر فراهم می‌کند. شرکت‌کنندگان بالقوه دیگر، شامل آژانس‌های آگهی‌دهنده که کمک به تولید و قرار دادن متن آگهی می‌کنند، یک سرویس‌دهنده آگهی که به طور فنی آگهی‌ها و آمارها را تحویل می‌دهد و وابسته‌های تبلیغاتی که برای آگهی‌دهنده کار تبلیغاتی مستقل انجام می‌دهند. تبلیغات آنلاین یک تجارت بزرگ محسوب می‌شود که به سرعت رشد می‌کند. در سال ۲۰۱۱، درآمدهای تبلیغات اینترنتی در آمریکا از دیگر رسانه‌ها نظیر تلویزیون پیشی گرفته و تقریباً، از برنامه‌های تلویزیونی فراتر رفته است. در سال ۲۰۱۳، درآمدهای تبلیغات اینترنتی در آمریکا بالغ بر ۴۲٫۸ بیلیون دلار بوده که با ۱۷ درصد افزایش نسبت به ۳۶٫۵۷ بیلیون دلار در سال ۲۰۱۲ می‌باشد. موفقیت درآمدهای تبلیغات اینترنتی در آمریکا از ۲۰٫۱ بیلیون دلار در نیمه نخست سال ۲۰۱۳، ۱۸ درصد افزایش نسبت به مدت زمان مشابه در سال ۲۰۱۲ دارد. تبلیغات آنلاین به‌طور گسترده تقریباً در سرتاسر همه بخش‌های صنعتی مورد استفاده قرار می‌گیرند. بسیاری از رسم‌های رایج برای تبلیغات آنلاین بحث‌انگیز و به‌طور فزاینده‌ای در معرض نظارت هستند. درآمدهای تبلیغات آنلاین ممکن نیست به‌طور کافی جایگزین گروه‌های درآمدی ناشرهای دیگر شود. کاهش درآمد تبلیغات منجر شده تا تعدادی از ناشران، محتوای تبلیغات را در پشت دیوارهای پرداخت پنهان کنند. تبلیغات آنلاین ویژگی‌های خاص خود را دارد. به عنوان مثال در تبلیغات اینترنتی می‌توان به راحتی اطلاعات را حذف یا اضافه کرد. همچنین در رسانه‌های برخط، امکانات بسیاری برای تجزیه و تحلیل داده‌ها وجود دارد. سرعت بازخورد گرفتن در تبلیغات برخط بسیار بالا است. آگهی‌دهنده با یکبار پرداخت هزینه می‌تواند بازخورد تبلیغات خود را مشاهده کند.


title: تبلیغات برخط

text: در روزهای آغازین اینترنت، تبلیغات آنلاین عموما ممنوع بود. برای مثال، ۲ نمونه از شبکه‌های پیش از اینترنت، ARPANet و NSFNet، "سیاست‌های مصرف مقبول"ی را داشتند که "استفاده تجاری از شبکه برای موسسات انتفاعی" را ممنوع می‌ساخت. NSFNet توقف تدریجی ممنوعیت‌های تجاری‌اش از سال ۱۹۹۱ آغاز کرد.


title: تبلیغات برخط

text: اولین نمونه تبلیغاتی گسترده آنلاین از طریق پست الکترونیکی انجام شد. در سوم ماه مه ۱۹۷۸،رگری تورک، یک بازاریاب از DEC (شرکت لوازم دیجیتال)، یک ایمیل برای بسیاری از کاربران ARPANet ساحل غرب آمریکا فرستاد و برای مراسم رونمایی از مدل جدیدی از کامپیوترهای DEC تبلیغ کرد. علی‌رغم استفاده از سیاست‌های رایج قابل قبول، بازاریابی با نامه الکترونیکی به سرعت توسعه پیدا کرد و سرانجام به عنوان ایمیل تبلیغاتی ناخواسته معروف شد. اولین پیام تبلیغاتی غیر تجاری بزرگ در ۱۸ ژانویه ۱۹۹۴ توسط مدیر سیستم دانشگاه اندروز، توسط پست عبوری یک پیام مذهبی به همه گروه‌های خبریUSENet فرستاده شد. ۴ ماه بعد، لورنس کانتر و مارتا سیگل، شرکا در یک شرکت قانونی، به‌طور گسترده خدمات قانونی‌شان را در یک USENet، با عنوان پستی کارت سبز بخت‌آزمایی تبلیغ کردند. ایمیل تبلیغاتی کارت سبز کانتر و سیگل تاریخچه‌ای از تبلیغات آنلاین، تحریک علاقه رایج به تبلیغات از طریق USENet و ایمیل قدیمی ترقی داد. اخیراً، ایمیل تبلیغاتی ناخواسته، یک عملکرد بیشتر صنعتی را ابداع کرده، جایی که ارسال‌کننده‌های ایمیل گروه‌هایی از کامپیوترهای آلوده به ویروس را برای فرستادن ایمیل از راه دور استفاده می‌کنند.


title: تبلیغات برخط

text: تبلیغات عنوان‌دار آنلاین در اوایل دهه ۱۹۹۰، به‌عنوان مالک‌های صفحه، گروه‌های درآمد اضافی را برای حمایت محتوای‌شان جستجو کردند. سرویس تجارت آنلاین نمونه عجیبی از عنوان‌های نمایش داده شده در پایین صفحه را برای تبلیغ فراورده‌ها استفاده می‌کند. اولین آگهی قابل کلیک وب توسط هدایت‌کننده شبکه جهانی در سال ۱۹۹۳، به یک شرکت حقوقی سیلیکون ولی فروخته شد. در سال ۱۹۹۴، تبلیغات عنوان‌دار وب توسط Hot Wired، جزء آنلاین از مجله اینترنتی، آگهی‌های عنوان‌دار را به AT,T و دیگر کمپانی‌ها فروخت. اولین آگهی AT,T روی Hot Wired با ۴۴ درصد کلیک همراه بود و به جای هدایت کلیک‌کننده‌ها به وب‌سایت AT,T، آگهی را به یک راهنمای آنلاین از ۷ عدد از بیشترین موزه‌های هنری تحسین شده متصل کردند.


title: تبلیغات برخط

text: بروید به دات کام.(مقدمه دوباره ذکر شده در ۲۰۰۱ و قابل حصول توسط یاهو در سال ۲۰۰۳) اولین حراج کلید‌واژه جستجوی تبلیغات در سال ۱۹۹۸ به وجود آمد. گوگل کلمات آگهی خود را در سال ۲۰۰۰ در برنامه جستجوی تبلیغات صادر کرد و بخش کیفی خود را در سال ۲۰۰۲ معرفی کرد که جستجوی آگهی‌ها را توسط یک مجموعه از قیمت پیشنهادی و جستجوگرهایی که روی آگهی‌ها کلیک می‌کنند را دسته‌بندی می‌کند.


title: تبلیغات برخط

text: اخیراً کمپانی‌هایی خواستند تا پیام‌های تبلیغاتی‌شان را درون محتوای سر‌مقاله یا سرویس‌های با ارزش وارد کنند. مثال‌ها، رسانه‌های Red Bull, Felix Baumgartner با پرش از فضای آنلاین، مجله‌های آنلاین کوکا کولا و درخواست‌های آزاد Nike برای اجرای مسیر شامل می‌شوند. آگهی‌دهندگان همچنین رسانه‌های اجتماعی و تبلیغات موبایل را در برداشتند. هزینه آگهی موبایل هر سال از سال ۲۰۱۰ تا سال ۲۰۱۳، ۹۰ درصد رشد داشته‌است.


title: تبلیغات برخط

text: نمایش تبلیغاتی به‌طور بصری پیام تبلیغاتی را با استفاده از متن، آرم‌ها، انیمیشن‌ها، ویدئو، تصاویر یا نمودارها منتقل می‌کند. نمایش تبلیغاتی غالباً کاربران را با ویژگی‌های ویژه‌ای برای افزایش اثر آگهی مورد هدف قرار می‌دهند. آگهی‌دهندگان آنلاین (به طور نمونه میان سرویس‌دهندگان آگهی‌شان) اغلب کلوچه‌هایی را استفاده می‌کنند که شناسایی کنندگان بی‌نظیر از کامپیوترهای مخصوص هستند که پیشنهاد می‌کنند کدام آگهی‌ها برای یک مشتری ویژه سودمند می‌باشد. کلوچه‌ها می‌توانند دنبال کنند که آیا یک کاربر یک صفحه را بدون خرید چیزی ترک کرده، بنابراین آگهی‌دهنده می‌تواند بعداً کاربر را با آگهی‌هایی از سایت بازدید شده توسط کاربر دوباره مورد هدف قرار دهد.


title: تبلیغات برخط

text: وقتی که آگهی‌دهندگان داده‌های سرتاسر وب‌سایت‌های متعدد دربارهٔ فعالیت یک کاربر آنلاین جمع‌آوری می‌کنند، آن‌ها می‌توانند یک تصویر با جزئیات از علاقه‌مندی‌های کاربر برای تحویل دادن بیشتر تبلیغات مورد هدف خلق کنند. این اجماع از داده‌ها، هدف رفتاری نامیده می‌شود.


title: تبلیغات برخط

text: آگهی‌دهندگان همچنین می‌توانند مخاطبانشان را با به کار بردن تبلیغات متنی و معنایی برای تحویل نمایش آگهی‌های مرتبط با محتوای صفحه وب جایی که آن‌ها ظاهر می‌شوند، مورد هدف قرار دهند.


title: تبلیغات برخط

text: هدف‌گذاری دوباره، هدف رفتاری و تبلیغات متنی، همه برای افزایش برگشت سرمایهٔ یک آگهی‌دهنده یا ROI، آگهی‌های بدون هدف طراحی می‌شوند. آگهی‌دهندگان ممکن است همچنین آگهی‌هایی را بر اساس یک جغرافیای مورد تردید کاربر با هدف جغرافیایی تحویل دهند. آدرس IP کاربر با تعدادی اطلاعات جغرافیایی ارتباط برقرار می‌کند. (دست کم مناطق کلی یا کشور کاربر)


title: تبلیغات برخط

text: اطلاعات جغرافیایی از یک IP می‌توانند مکمل و تصفیه شده با دیگر نمایندگی‌ها یا اطلاعاتی برای منحصر کردن دامنه‌ایی از مکان‌های ممکن باشند. برای مثال با ابزارهای موبایل، آگهی‌دهندگان می‌توانند گاهی اوقات از یک دریافت‌کننده تلفن یا برج‌های موبایل نزدیک محل استفاده کنند. کلوچه‌ها و دیگر داده‌های پیوسته بر روی ماشین یک کاربر ممکن است محدودیت کمک بیشتر برای موقعیت یک کاربر فراهم کند.


title: تبلیغات برخط

text: عنوان‌های وب یا آگهی‌های عنوان‌دار، به‌طور نمونه نمایش آگهی‌های گرافیکی درون یک صفحه وب هستند. بسیاری از آگهی‌های عنوان‌دار توسط یک سرویس دهنده آگهی مرکزی تحویل داده می‌شود. آگهی‌های عنوان‌دار می‌توانند با استفاده از رسانه‌های ثروتمند، ویدئو، صدا، انیمیشن، دکمه‌ها، شکل‌ها یا کاربرد اجزای مؤثر دیگر Java applets,HTML5,Adobe Flash و دیگر برنامه‌ها را درج کنند. همچنین سایت‌هایی هستند که مرجع آگهی و نیازمندی‌های اینترنتی و مکانی برای ثبت تبلیغات کالای نو و دست دوم مردم هستند.


title: تبلیغات برخط

text: چارچوب‌های آگهی، اولین شکل از عنوان‌های وب بودند. کاربرد گفتاری آگهی‌های عنوان‌دار اغلب به چارچوب آگهی‌های قدیمی مربوط می‌شوند. ناشرهای وب‌سایت توسط کنار گذاشتن یک فضای مخصوص روی صفحه وب، چارچوب آگهی‌ها را وارد می‌کنند. خطهای راهنمای واحد آگهی دایره تبلیغات مؤثر، اندازه‌های تصویر استاندارد شده برای واحدهای آگهی پیشنهاد می‌کنند.


title: تبلیغات برخط

text: یک آگهی استاندارد در یک پنجره جستجوگر وب جدید نمایش داده می‌شود که بالای یک پنجره جستجوگر ابتدایی بازدیدکننده وب‌سایت باز می‌شود. یک آگهی غیر استاندارد، یک پنجره جستجوگر جدید در زیر یک پنجره جستجوگر ابتدایی بازدیدکننده وب‌سایت باز می‌کند.


title: تبلیغات برخط

text: یک آگهی شناور، یک نوع از آگهی رسانه‌های ثروتمند است که بر روی محتوای وب‌سایت مورد تقاضا گذاشته شده ظاهر می‌شود. آگهی‌های شناور ممکن است بعد از مدت زمان تنظیم شده ناپدید یا کمتر خودنما شوند.


title: تبلیغات برخط

text: یک آگهی توسعه‌یافته، یک چارچوب آگهی رسانه ثروتمند است که اندازه‌های روی یک شرایط از پیش تعریف شده را تغییر می‌دهد. مانند یک میزان زمان تنظیم شده که یک بازدیدکننده روی یک صفحه وب صرف می‌کند، کلیک کاربر روی آگهی، یا حرکت موس کاربر سرتاسر آگهی.


title: تبلیغات برخط

text: آگهی توسعه‌یافته به آگهی‌دهندگان این امکان را می‌دهد تا بیشتر اطلاعات را در یک فضای آگهی محدود درج کند.


title: تبلیغات برخط

text: یک عنوان فریب‌دهنده یک آگهی عنوان‌دار جایی که نسخه آگهی را روی تعدادی صفحه نشان می‌دهد که کاربران معمولاً با آن مواجه می‌شوند. مانند پیام سیستم عملکرد یا پیام درخواست مشهور، که کاربر را به کلیک کردن بر روی آگهی تحریک می‌کند. عنوان‌های فریب‌دهنده به‌طور نمونه، آگهی‌دهنده را در آگهی ابتدایی ذکر نمی‌کنند و بنابراین آن‌ها یک شکل از به دام انداختن و بیرون کشیدن هستند. عنوان‌های فریب‌دهنده را معمولاً بالاتر از حد میانگین کلیک می‌کنند. اما کاربرهای فریب خورده ممکن است از آگهی‌دهندگان به جهت فریب دادن آن‌ها آزرده شوند.


title: بیست دقیقه عشق

text: بیست دقیقه عشق فیلمی کوتاه و صامت، به نویسندگی و کارگردانی و بازی چارلی چاپلین و تولید سال ۱۹۱۴ است. "بیست دقیقه عشق" اولین تجربهٔ کارگردانی چارلی چاپلین بود. گرچه ژوزف مادن هم کارگردانی را با او مشترک بود.


title: دانشگاه وسلین

text: دانشگاه وسلین (به انگلیسی: Wesleyan University) یک دانشگاه در ایالات متحده آمریکا است که در کنتیکت واقع شده‌است.


title: کالج آمهرست

text: کالج آمهرست (به انگلیسی: Amherst College) یک دانشگاه در ایالات متحده آمریکا است که در ماساچوست واقع شده‌است.


title: کالج اسمیت

text: کالج اسمیت (به انگلیسی: Smith College) یک دانشگاه در ایالات متحده آمریکا است که در ماساچوست واقع شده‌است.


title: کالج ویلیامز

text: کالج ویلیامز (به انگلیسی: Williams College) یک کالج هنرهای آزاد خصوصی در ویلیامزتاون، ماساچوست، ایالات متحده آمریکاست. این کالج در سال ۱۷۹۳ با منابع مالی از دارایی‌های افریم ویلیامز که از ساکنان استان خلیج ماساچوست بود و در جنگ فرانسویان و سرخپوستان در سال ۱۷۵۵ کشته شده بود تأسیس شد.


title: کالج ویلیامز

text: کالج ویلیامز در پردیسی ی در ویلیامزتاون در منطقه برکشرز در منطقه روستایی شمال‌غرب ماساچوست واقع شده‌است. پردیس آن شامل بیش از ۱۰۰ ساختمان دانشگاهی، ورزشی و اقامتگاهی است. این کالج دارای ۳۵۷ عضو هیئت علمی دارای حق رای است و نسبت دانشجو به هیئت علمی آن ۷:۱ است. , این دانشگاه دارای ۱۰۷۸ دانشجوی کارشناسی و ۵۶ دانشجوی تحصیلات تکمیلی بوده‌است. این کالج در شاخه سوم NCAA و کنفرانس ورزشی کالج کوچک نیو انگلند به رقابت ورزشی می‌پردازد. برنامه ورزشی آن بسیار موفق بوده و ۲۲ تا از ۲۴ جام مدیران اخیر را در شاخه سوم NCAA برنده شده‌است.


title: کالج ویلیامز

text: ویلیامز کالج بر اساس برنامه آموزشی علوم مقدماتی، در ۲۵ دانشکده و برنامه میان‌رشته‌ای ۳۶ رشته در علوم انسانی، فعالیت‌های هنری، علوم اجتماعی، و علوم طبیعی ارائه می‌دهد. عمده آموزش‌های ارائه شدهٔ ویلیامز در مقطع کارشناسی است و دو برنامه تحصیلات تکمیلی در اقتصاد توسعه و مطالعات تاریخ هنر ارائه می‌دهد. این کالج پیوندهایی با مؤسسه هنر کلارک و موزه هنر معاصر ماساچوست دارد، و رابطهٔ نزدیکی با اکستر کالج، دانشگاه آکسفورد دارد. پذیرش در این دانشگاه بسیار گزینشی است، و میزان پذیرش متقاضیان برای کلاس دانش‌آموختگی در سال ۲۰۲۳، ۱۲٪ بوده‌است.


title: کالج ویلیامز

text: این کالج دانش‌آموختگان برجسته بسیاری داشته از جمله ۹ برنده جایزه پولیتزر، یک برنده جایزه نوبل دارنده، یک برنده مدال فیلدز، ۳ رئیس کمیسیون بورس و اوراق بهادار آمریکا، ۱۰ میلیاردر، ۷۱ نماینده کنگره ایالات متحده آمریکا، ۲۲ فرماندار, ۴ وزیر عضو کابینه ایالات متحده آمریکا، یک قاضی دستیار دیوان عالی ایالات متحده آمریکا، یک رئیس جمهور آمریکا، ۳ نخست‌وزیر، مدیرعامل ارشد اجرایی و مؤسسین شرکت‌های حاضر در فرچون ۵۰۰، دیپلمات‌های عالی‌رتبه آمریکایی، بانکداران مرکزی خارجی، دانشوران در دانشگاه‌ها، چهره‌های ادبی و رسانه ای و تعداد زیادی از برندگان جوایز امی، اسکار و گرمی، و ورزشکاران حرفه ای. دیگر دانش آموختگان شامل ۴۰ برنده بورسیه رودز، ۱۷ برندگان بورسیه مارشال، و دریافت کنندگان فلوشیپ واتسن و برنامه فولبرایت هستند.


title: شبگرد (فیلم ۲۰۱۴)

text: شبگرد فیلمی جنایی به کارگردانی دان گیلروی است که در سال ۲۰۱۴ منتشر شده است.


title: شبگرد (فیلم ۲۰۱۴)

text: ستاره فیلم جیک جیلنهال در نقش یک خبرنگار است که از صحنه‌های تصادف و جرم و جنایت در لس آنجلس فیلمبرداری می‌کند و آنها را به شبکه‌های اخبار تلویزیونی می‌فروشد. ریز احمد، رنه روسو و بیل پاکستون، از دیگر بازیگران این فیلم هستند.


title: شبگرد (فیلم ۲۰۱۴)

text: "شبگرد" در تاریخ ۵ سپتامبر ۲۰۱۴ در جشنواره بین‌المللی فیلم تورنتو اکران شد. این فیلم در رشته بهترین فیلمنامه اورجینال یا غیر اقتباسی در هشتاد و هفتمین دوره جوایز اسکار نامزد شده است


title: شبگرد (فیلم ۲۰۱۴)

text: لوئیس بلوم یک دزد خرده پاست که از ساختمان‌های نیمه کاره در لس آنجلس آهن آلات می‌دزدد و آنها را می‌فروشد. اما یک شب که در خیابان قدم می‌زد به‌طور اتفاقی با گروهی از فیلمبرداران موسوم به «شبگرد» که در حال فیلمبرداری از یک صحنه دلخراش تصادف بودند آشنا می‌شود. لوئیس تصمیم می‌گیرد که اینکار را دنبال کند. او یک دوچرخه مسابقه می‌دزدد و آنرا در مغازه‌ای با یک دوربین فیلمبرداری و یک بیسیم پلیس عوض می‌کند و مشغول فیلمبرداری از صحنه‌های تصادف می‌شود. او روز به روز در این راه پیشرفت می‌کند و …


title: کالج بودین

text: کالج بودین (به انگلیسی: Bowdoin College) یک کالج هنرهای آزاد و دانشگاه در ایالات متحده آمریکا است که در مین واقع شده‌است.


title: موزه هنر کالج بودین

text: موزه هنر کالج بودین () یک موزه هنر است که در برانسویک، مین واقع شده است.


title: راگبی مردان کالج بودین

text: راگبی مردان کالج بودین () در سال ۱۹۶۹ تأسیس شد.


title: کالج هنرهای آزاد

text: کالج هنرهای آزاد () کالجی است که تمرکز عمدهٔ آن بر تدریس دوره کارشناسی در رشته مطالعهٔ مقدماتی هنرهای آزاد و علوم است.


title: کالج میدلبری

text: کالج میدلبری (به انگلیسی: Middlebury College) یک دانشگاه در ایالات متحده آمریکا است که در Middlebury واقع شده‌است.


title: کالج بارد

text: کالج بارد (به انگلیسی: Bard College) یک کالج هنرهای آزاد در آمریکا در ایالات متحده آمریکا است که در ایالت نیویورک واقع شده‌است.


title: خوابگاه کالج برین مار

text: خوابگاه کالج برین مایر () خوابگاه کالج برین مایر بود.


title: کالج برین مار

text: کالج برین مار (به انگلیسی: Bryn Mawr College) یک کالج زنانه در ایالات متحده آمریکا است که در پنسیلوانیا واقع شده‌است.


title: کالج سارا لارنس

text: کالج سارا لارنس (به انگلیسی: Sarah Lawrence College) یک کالج هنرهای آزاد در آمریکا در ایالات متحده آمریکا است که در ایالت نیویورک واقع شده‌است.


title: دانشگاه دی‌پاو

text: دانشگاه دیپاو (به انگلیسی: DePauw University) یک دانشگاه در ایالات متحده آمریکا است که در ایندیانا واقع شده‌است.


title: کالج دیکنسون

text: کالج دیکنسون (به انگلیسی: Dickinson College) یک دانشگاه در ایالات متحده آمریکا است که در پنسیلوانیا واقع شده‌است.


title: گرفتار در کاباره

text: گرفتار در کاباره فیلمی کوتاه و صامت، به کارگردانی میبل نورماند با بازی چارلی چاپلین و تولید سال ۱۹۱۴ می‌باشد. چارلی شاگرد کاباره‌ای است که روزی دختری را از دست دزدها نجات می‌دهد و دختر با او دوست می‌شود، اما دختر وقتی چارلی را در حال شاگردی در کاباره می‌بیند، او را رها می‌کند.


title: خسرو شمشیرگران

text: خسرو شمشیرگران متولد ۱۳۲۳ تهران است. وی فعالیت دوبله را از سال ۱۳۴۹ آغاز کرد. خسرو شمشیرگران بیشتر به گویندگی آنونس و عنوان‌بندی فیلم‌ها و سریال‌ها از جمله سریال ارتش سری پرداخته‌است.


title: ماشین پشته‌ای مشبک

text: در نظریهٔ محاسبه، یک ماشین پشته‌ای مشبک، یک ماشین متناهی است که می‌تواند از پشته ی شامل داده‌هایی که ممکن است پشته‌های اضافی باشند، استفاده کند. مانند یک ماشین پشته‌ای، یک ماشین پشته‌ای مشبک ممکن است، در پشته، بالا یا پایین رود و نماد جاری را بخواند؛ علاوه بر این، ممکن است در هر مکانی یک پشتهٔ جدید بسازد، در آن عمل کند، در نهایت آن را خراب کند، و اجرا در پشتهٔ قدیمی را ادامه بدهد. بدین طریق، پشته‌ها می‌توانند به‌طور بازگشتی، تا یک عمق دلخواه مشبک شوند، اگرچه ماشین همیشه فقط در درونی‌ترین پشته عمل می‌کند. یک ماشین پشته‌ای مشبک قادر به شناسایی زبان شاخص دار است و در حقیقت مجموعهٔ زبان‌های شاخص دار، دقیقاً مجموعهٔ زبان‌های پذیرفته شده بوسیلهٔ ماشین پشته‌ای مشبک غیر قطعی یک طرفه است. ماشین پشته‌ای مشبک نباید با ماشین پشته‌ای محاط اشتباه گرفته شود، که توان محاسباتی کمتری دارد.


title: ماشین پشته‌ای مشبک

text: یک ماشین پشته‌ای مشبک غیر قطعی دو طرفه، چندتایی ‹"Q",Σ، Γ,δ،"q","Z","F",[،],]› یک پیکره بندی یا توصیف آنی از چنین ماشینی، از ۳ تایی "q", ["a""a"..."a"..."a"], ["Z""X"..."X"..."X"]


title: ماشین پشته‌ای مشبک

text: تشکیل شده‌است که در آن:


title: ماشین پشته‌ای مشبک

text: یک مثال اجرا می‌شود( رشتهٔ ورودی نشان داده نشده‌است )


title: ماشین پشته‌ای مشبک

text: وقتی که به ماشین اجازهٔ خواندن مجدد ورودی‌های خود داده می‌شود، پشته‌های مشبک در مقایسه با پشته‌های ساده، منجر به توانایی‌های شناسایی زبان‌های دیگر نمی‌شود. گلیمن و شاپیرو از ماشین پشته‌ای مشبک برای حل مشکل کلمه در گروه‌های خاص استفاده کردند.


title: ماشین پشته‌ای مشبک

text: Wikipedia contributors, "Nested stack automaton," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Nested_stack_automaton&oldid=617539076 (accessed January 20, 2015).


title: خاندان میرلوحی

text: سادات میرلوحی ساداتی هستند مقیم اصفهان که نوادگان سید محمد موسوی سبزواری مشهور به میرلوحی، عالم دینی و شاعر قرن یازدهم هجری اند. این نام توسط شاه عباس به سید محمد موسوی سبزواری اصفهانی که از مجتهدین سرشناس ساکن سبزوار بوده‌است پس از قبول دعوت و مهاجرت به اصفهان به دلیل تخصص وی در خواندن الواح تاریخی ملقب می‌شود.


title: خاندان میرلوحی

text: تاریخ غنی بازارگاه به قلم جناب اقای استاد علیرضاحسینی بزرگ


title: اگزیستنز

text: اگزیستنز () فیلمی در ژانر ترسناک و علمی–تخیلی به نویسندگی، تهیه‌کنندگی و کارگردانی دیوید کراننبرگ فیلمساز کانادایی است که در سال ۱۹۹۹ منتشر شد. در این فیلم جنیفر جیسن لی و جود لا به ایفای نقش پرداخته‌اند. داستان در مورد آلگرا گلر از شرکت آنتنا ریسرچ است که با طراحی یک بازی کامپیوتری مرز میان واقعیت و خیال را از بین برده و باعث درگیری شرکت آنتنا ریسرچ با شرکت رقیب خود یعنی کورتیکال سیستمز در زمینه تولید بازی های کامپیوتری می شود. از سوی دیگر گروهی یه نام واقع گرایان در تلاشند تا مانع تغییر شکل واقعیت شوند.


title: اگزیستنز

text: فیلم با سوء قصد به جان آلگرا گلر آغاز می‌شود. سپس وظیفه محافظت از او به شخصی به نام تد پیکول واگذار می گردد. آنان برای نجات جان خود وارد هتلی در آن نزدیکی می‌شوند و ..."اگزیستنز" اختلاط واقعیت و توهم تا سرحد ممکن را به تصویر می‌کشد. نحوه قرار گرفتن دوربین نیز درهم ریختگی مرز جهان واقعی و بازی های کامپیوتری را مورد تاکید قرار می‌دهد. عنوان فیلم بی‌اختیار سارتر را به یاد می‌آورد. کراننبرگ گفته است که به نظر او تمامی واقعیت، مجازی است. در این زمینه با ناباکف نیز اشتراک دارد. ناباکوف می‌گوید که دنیای جدید واقعی دنیایی است که هنرمند خلق می‌کند و واقعیت ابژکتیو و پایدار خودفریبی است. ویژگی دیگری در فیلم وجود دارد که آن را نشانه‌ای از جامعه ای پست مدرن می نمایاند — یعنی تمایززدایی دال و مدلول و مرجع دلالت — به این معنا که زندگی روزانه آکنده از واقعیتی شده است که به طور روزافزونی مرکب از بازنمودهاست. واقعیت در تلویزیون و تبلیغات و ویدیو و کامپیوتر و غیره.


title: رابرت لنتوس

text: رابرت لنتوس (؛ زادهٔ ) تهیه‌کننده اهل کانادا است. از فیلم‌هایی که وی در آن نقش داشته است می‌توان به "اگزیستنس"، "زن و فرشته" و "رسوایی" اشاره کرد.


title: پیتر زوشیتسکی

text: پیتر زوشیتسکی (؛ زادهٔ ) فیلم‌بردار متولد لندن است. از فیلم‌هایی که وی در آن نقش داشته است می‌توان به اگزیستنس اشاره کرد.


title: بوریس مویشزون

text: بوریس مویشزون (زاده ۲۶ اکتبر ۱۹۳۷ در اودسا -درگذشته ۲۵ اوت ۱۹۹۳ در نیوجرسی) ریاضیدان اوکراینی اهل شوروی سابق بود. زمینه کاری مویشزون هندسه جبری بود و او به ویژه به دلیل خمینه‌هایی که به نام خود او خمینه‌های مویشزون نامیده شده اند نامدار است. مویشزون شاگرد ایگور شافارویچ در مؤسسه استکلوف در مسکو بود. و تخت سرپرستی ایلیا شاپیروف دکترای ریاضی خود را در دانشگاه لومونوسف به دست آورد. او در سال ۱۹۷۲ نامه‌ای اعتراضی را امضا کرد که در آن استادان یهودی به خاطر مخارج بالایی که دارندگان مدرک دکترا می باید برای سفر به خارج از کشور پرداخت می‌کردند شکایت کرده بودند. در همان سال او شوروی را ترک گفت و نخست در دانشگاه تل آویو و از سال ۱۹۷۷ در دانشگاه کلمبیا در نیویورک به عنوان استاد حضور داشت. در سالهای دهه ۱۹۶۰ او خمینه‌های مویشزون را معرفی نمود. این خمینه ها، خمینه‌های مختلط فشرده همبندی هستند که میدان تابع‌های مرومورف روی آن‌ها دارای درجه تعالی برابر با بُعد این خمینه‌ها است. در سال ۱۹۶۷ مویشزون ثابت کرد که یکی خمینه مویشزون، یک چندگونای تصویری است اگر و تنها اگر پذیرای یک متریک کلر باشد. مویشزون به دلیل یک حمله قلبی در هنگام کوه پیمایی در سال ۱۹۹۳ در گذشت.


title: منیفلد مویشزون

text: در ریاضیات، یک منیفلد مویشزون یک منیفلد مختلط همبند فشرده است که میدان تابع‌های مرومورفیک روی هر مؤلفه آن دارای درجۀ تعالی برابر با بُعد این منیفلد است. به زبان دیگر:


منیفلد مویشزون


title: منیفلد مویشزون

text: در این برابری، formula_2 میدان تابع‌های مرومورفیک روی formula_3 و formula_4 نشان‌گر بُعد formula_3 است. این منیفلدها به افتخار ریاضی‌دانِ اوکراینی، بوریس مویشزون، نام‌گذاری شد که نخستین بار آن‌ها را معرفی کرد. چندگوناهای مختلطِ جبری همۀ دارای این ویژگی هستند. به‌سخن دیگر، هر واریته جبری مختلط یک خمینۀ مویشزون است، ولی وارونِ این قضیه درست نیست. هیروناکا مثالی از یک خمینۀ مویشزون از بُعد سه ارائه کرده است که چندگونای جبری یا اسکیم نیست. مویشزون در سال ثابت کرد که یک خمینۀ مویشزون یک چندگونایِ تصویری جبری است اگر و تنها اگر یک متریک کهلر بپذیرد. در سال ۱۹۷۰، آرتین نشان داد که هر منیفلد مویشزون پذیرای ساختار یک فضای جبری است.


title: ماشین متناهی متغیر

text: در نظریهٔ محاسبه، یک ماشین متناهی متغیر، یک ماشین متناهی غیر قطعی است که انتقال‌های آن به انتقال‌های وجودی و عمومی تقسیم می‌شود. به‌طور مثال، فرض کنید A یک ماشین متغیر باشد. "A"به‌طور غیر قطعی، با خواندن a تغییر به یکی از حالتهای یا را انتخاب می‌کند؛ بنابراین مانند یک ماشین غیر قطعی منظم رفتار می‌کند. "A" به formula_3 و formula_4 حرکت می‌کند، در حالی که a را می‌خواند و رفتار ماشین موازی را شبیه‌سازی می‌کند.


title: ماشین متناهی متغیر

text: توجه کنید که به دلیل کمی سازی سراسری، یک اجرا بوسیلهٔ درخت اجرا نمایش داده می‌شود. اگر یک درخت اجرا در "w" وجود داشته باشد که هر مسیر به یک حالت پذیرش ختم شود "A" کلمهٔ "w" را قبول می‌کند. یک قضیهٔ پایه‌ای می‌گوید که هر AFA با اجرای نوع مشابهی از ساختار مجموعهٔ توانی همانطور که برای انتقال از NFA به یک ماشین متناهی قطعی استفاده می‌شود، معادل یک ماشین متناهی غیر قطعی است. این ساختار، یک AFA با "k" وضعیت را به NFA با بیش از formula_5 وضعیت تغییر می‌دهد.


title: ماشین متناهی متغیر

text: یک مدل دیگر که به‌طور رایج استفاده می‌شود، آن است که ترکیبات بولی به عنوان عبارات نشان داده می‌شوند. به‌طور مثال می‌توان فرض کرد که ترکیبات دارای فرم نرمال فصلی هستند، به طوری که formula_6 formula_7 را نشان می‌دهد. وضعیت tt (درست) با formula_8 و وضعیت ff (نادرست) با formula_9 نشان داده می‌شود. این نمایش عبارت معمولاً کاراتر است.


title: ماشین متناهی متغیر

text: یک ماشین متناهی متغیر، ۶ تایی formula_10 است، که درآن


title: هار (فیلم)

text: هار () فیلمی در ژانر ترسناک و علمی–تخیلی به کارگردانی دیوید کراننبرگ است که در سال ۱۹۷۷ منتشر شد. از بازیگران آن می‌توان به مریلین چیمبرز اشاره کرد.


title: سه برادر (فیلم ۱۹۸۱)

text: سه برادر () فیلمی به کارگردانی فرانچسکو روزی است که در سال ۱۹۸۱ منتشر شد. از بازیگران آن می‌توان به فیلیپ نوآره، میکله پلاچیدو و چارلز وانل اشاره کرد.


title: سه برادر (فیلم ۱۹۸۱)

text: زنی سالخورده در مزرعه‌ای در جنوب ایتالیا از دنیا می‌رود. همسر او سه فرزندش را از شهرهای مختلف دعوت می‌کند. همه آنها با گذشته خود روبرو شده و آینده خود را تصور می‌کنند…


title: سه برادر (فیلم ۱۹۸۱)

text: این فیلم کاندیدای ۱ اسکار (کاندیدای اسکار بهترین فیلم غیر انگلیسی زبان) در سال ۱۹۸۲ شد.


title: منطقه مرده (فیلم)

text: منطقه مرده () فیلمی در ژانر ترسناک و تریلر سیاسی به کارگردانی دیوید کراننبرگ است که در سال ۱۹۸۳ منتشر شد.


title: منطقه مرده (فیلم)

text: جانی (کریستوفر واکن) معلم مدرسه و در آستانه ازدواج است. او در سانحه اتوموبیل به شدت مجروح و به مدت پنج سال در بیمارستان در کُما می‌مانَد. پس از به هوش آمدن متوجه می‌شود که دچار یک حالت ماوراء طبیعه شده و در پی تماس فیزیکی با افراد، رویدادهایی در رابطه با گذشته، حال یا آینده آنها را در ذهنش می‌بیند. این حالت در بیمارستان موجب می‌شود که فرزند یکی از پرستاران را از مرگ نجات دهد. این موضوع کم کم او را معروف می‌کند و توانایی او به کشیده شدن پایش به مسایل پلیسی و سیاسی در آمریکا می‌انجامد.


title: گرجی‌های دور از وطن

text: دیاسپورای گرجی به جمعیت‌هایی از مردم گرجی گفته می‌شود که چه در طول تاریخ و چه در دوران معاصر از گرجستان مهاجرت کرده و خارج از مرزهای آن زندگی می‌کنند.


title: گرجی‌های دور از وطن

text: از سرشناس‌ترین افراد برجسته از دیاسپورای گرجی می‌توان به افراد زیر اشاره کرد:


title: دستور زبان صوری

text: در نظریهٔ زبان صوری، یک گرامر، مجموعه‌ای از قوانین تولید برای رشته‌ها در زبان صوری است. این قوانین، چگونگی تولید رشته‌ها را از الفبای زبان، که با توجه به ترکیب زبان معتبرند، توضیح می‌دهند. یک گرامر، معنی رشته‌ها یا چگونگی استفاده از آنها را در متن نشان نمی‌دهد، بلکه فقط نشان‌دهندهٔ فرم رشته‌هاست.


title: دستور زبان صوری

text: نظریهٔ زبان صوری، نظمی که گرامرهای صوری و زبان‌ها را مطالعه می‌کند، شاخه‌ای از ریاضیات کاربردی است. کاربرد آن در علوم نظری رایانه، زبان‌شناسی نظری، ، منطق ریاضی، سایر حوزه‌های مشاهده می‌شود.


title: دستور زبان صوری

text: یک گرامر صوری، مجموعه‌ای از قوانین برای بازنویسی رشته‌ها همراه با «نماد شروع» است که بازنویسی با آن آغاز می‌شود. به همین دلیل یک گرامر معمولاً به عنوان مولد زبان گماشته می‌شود. اگرچه این می‌تواند گاهی به عنوان پایه‌ای برای شناسنده (تابعی در محاسبه که مشخص می‌کند یک رشته متعلق به زبان است یا از نظر گرامر اشتباه است) استفاده شود. برای توضیح چنین شناسنده‌هایی، نظریه زبان صوری، از صورت‌های مجزا که به نام نظریه اتوماتا شناخته می‌شوند، استفاده می‌کند. یکی از نتایج جالب نظریه اتوماتا، این است که امکان طراحی یک شناسنده برای زبان‌های رسمی صوری وجود ندارد.


title: دستور زبان صوری

text: تجزیه، فرایندی برای شناسایی یک گفتار (رشته‌ای در زبان طبیعی) با شکستن آن به مجموعه‌ای از نمادها و تحلیل هرکدام از آنها دربرابر گرامر زبان است. بیشتر زبانها، معنی ساختار گفتارشان را با توجه به ترکیبشان دارند. در نتیجه گام اول برای توضیح معنی یک گفتار در زبان، بخش بخش کردن آن و توجه به فرم تحلیل شده آن (نمودار درختی در علوم کامپیوتر و در دستور زایشی) است.


title: دستور زبان صوری

text: یک گرامر، اساساً شامل مجموعه‌ای از قوانین برای انتقال رشته‌هاست. برای تولید یک رشته در زبان، با یک رشته شامل تک نماد آغازین شروع می‌کنیم. سپس قواعد تولید در هر دستور اعمال می‌شوند تا رشته‌ای که نه شامل نماد آغازین و نه نماد طراحی شده غیرپایانی باشد، تولید شود. یک قاعده تولید روی یک رشته، با جابجا کردن یک رخداد سمت چپ قاعده تولید در رشته، با سمت راست آن قاعده، اعمال می‌شود. زبان تشکیل شده توسط گرامر شامل تمام رشته‌های مجزا که می‌توانند بدین شکل تولید شوند می‌باشد. هر دنباله مشخص از قواعد تولید در نماد آغازین، یک رشته مجزا در زبان را ایجاد می‌کند. اگر راه‌های مختلف برای تولید یک رشته وجود داشته باشد، گرامر را مبهم می‌نامیم. برای مثال، الفبای a و b، با نماد آغازین S و قواعد تولید زیر را در نظر بگیرید:


title: دستور زبان صوری

text: با S شروع می‌کنیم و می‌توانیم یک قاعده برای اعمال روی آن انتخاب کنیم. اگر قاعدهٔ ۱ را انتخاب کنیم، رشتهٔ aSb را به‌دست می‌آوریم. سپس اگر دوباره قاعدهٔ ۱ را برگزینیم، با جایگزینی aSb به‌جای S، رشتهٔ aaSbb را به‌دست می‌آوریم. حال اگر قاعدهٔ ۲ را انتخاب کنیم، با جایگزینی ba به‌جای S، رشتهٔ aababb به‌دست می‌آید و کار به اتمام می‌رسد. می‌توانیم به نوشتن سری انتخاب‌ها با استفاده از نمادها، آن را واضح‌تر بیان کنیم:


title: دستور زبان صوری

text: S => aSb => aaSbb => aababb


title: دستور زبان صوری

text: زبان گرامر، مجموعه نامتناهی {... ,abab | n≥۰} = {ba, abab, aababb, aaababbb} است که a، تکرار k مرتبه از a است.


title: دستور زبان صوری

text: در تعریف رسمی کلاسیک گرامر مولد، که برای اولین بار توسط نوآم چامسکی مطرح شد، گرامر G شامل اجزاء زیر:


title: دستور زبان صوری

text: یک گرامر به طور رسمی توسط یک چهارتایی (N, Σ, P, S) نشان داده می‌شود به طوری که یک گرامر رسمی در ادبیات، اغلب سیستم بازنویسی یا ساختار عبارت گرامر نامیده می‌شود.


title: دستور زبان صوری

text: عملیات یک گرامر می‌تواند از نظر رابطه‌ها روی رشته‌ها تعریف شود:


title: دستور زبان صوری

text: وقتی نوآم چامسکی اولین بار گرامرهای مولد را در ۱۹۵۶ رسمی کرد، او آنها را در انواعی طبقه‌بندی کرد که امروزه به نام سلسله مراتب چامسکی شناخته شده هستند. تفاوت بین این انواع، روند فزاینده سخت قواعد تولید است و می‌تواند تعداد کمتری از زبانهای رسمی را بیان کند. دو نوع مهم، گرامرهای مستقل از متن (نوع ۲) و گرامرهای منظم (نوع ۳) هستند. زبان‌هایی که بتوانند توسط چنین گرامری توصیف شوند، به ترتیب زبان‌های مستقل از متن و زبان‌های منظم نام دارند. اگرچه از گرامر نامحدود (نوع ۰) که می‌تواند هر زبانی که توسط ماشین تورینگ پذیرفته می‌شود را بیان کند، بسیار کم قدرت ترند، ولی به دلیل اجرای مؤثر تجزیه کننده‌ها بر آنها، این دو نوع گرامر بیشتر استفاده می‌شوند. برای مثال، همهٔ زبان‌های منظم می‌توانند توسط یک ماشین حالات متناهی شناخته شوند و الگوریتم‌های شناخته شده‌ای برای زیرمجموعه‌های مفید از گرامرهای مستقل از متن برای تولید تجزیه‌کننده ال‌ال و تجزیه‌کننده ال‌آر برای به رسمیت شناختن زبان‌های متناظر با گرامرهای تولید شده، وجود دارند.


title: دستور زبان صوری

text: یک گرامر مستقل از متن گرامریست که سمت چپ هر قاعده تولید آن شامل یک نماد غیر پایانیست. این محدودیت بیهوده نیست، چرا که همه زبان‌ها را نمی‌توان توسط گرامرهای مستقل از متن تولید کرد، آنهایی که توسط این گرامرها تولید می‌شوند زبان‌های مستقل از متن نام دارند.


title: دستور زبان صوری

text: زبان {L(G) = {abc|n≥۱ که در بالا تعریف شد، یک زبان مستقل از متن نیست و این می‌تواند توسط لم تزریق برای زبان‌های مستقل از متن ثابت شود اما برای مثال زبان {ab|n≥۱} مستقل از متن است از آنجا که می‌تواند آن را توسط گرامر G با {N={S و {Σ= {a,b که S نماد آغازین و قوانین تولید به صورت زیرمیباشند، تولید کرد.


title: دستور زبان صوری

text: یک زبان مستقل از متن می‌تواند در زمان (O(n با یک الگوریتم مانند شناخته شود. به همین دلیل، برای هر زبان مستقل از متن ماشینی می‌تواند ساخته شود که یک رشته را به عنوان ورودی بگیرد و در زمان (O(n تشخیص دهد که این رشته عضو زبان است یا خیر که n طول آن رشته می‌باشد. زبان مستقل از متن قطعی زیر مجموعه‌ای از زبان‌های مستقل از متن است که می‌تواند در زمان خطی تشخیص داده شود. الگوریتم‌های متعددی با هدف تشخیص این مجموعه از زبان‌ها یا زیر مجموعه از آنها وجود دارد.


title: دستور زبان صوری

text: در گرامرهای منظم هم سمت چپ یک نماد غیر پایانیست با این تفاوت که سمت راست هم محدودیت دارد. سمت راست ممکن است یک رشته تهی یا یک نماد پایانی یا یک نماد پایانی که با یک نماد غیر پایانی همراه است باشد.


title: دستور زبان صوری

text: زبان {ab|n≥۱} که در بالا تعریف شد منظم نیست اما زبان {ab|m,n≥۱} منظم است زیرا می‌تواند توسط گرامر G با N = {S,A,B}, و{Σ= {a,b نماد آغازین S و قواعد تولید زیر تولید شود:


title: دستور زبان صوری

text: همه زبان‌هایی که توسط یک گرامر مستقل از متن تولید می‌شوند می‌توانند در زمان خطی توسط ماشین حالات متناهی شناخته شوند. اگر چه در عمل گرامرهای منظم عموماً با استفاده از عبارتهای منظم توضیح داده می‌شوند، بعضی شکل‌های عبارت منظم که در عمل استفاده می‌شوند قویا زبان‌های منظم تولید نمی‌کنند و تشخیص خطی از اجرای آن اشتقاق‌ها نشان نمی‌دهند.


title: دستور زبان صوری

text: یک گرامر بازگشتی، گرامری است شامل قواعد تولیدی که بازگشتی می‌باشند. برای مثال، یک گرامر برای زبان مستقل از متن، بازگشتی چپ است اگر یک نماد غیر پایانی A وجود داشته باشد که بتوان آنرا میان قواعد تولید طوری قرار داد که رشته‌ای تولید کند که در آن A، چپ‌ترین نماد است. همهٔ انواع گرامرهای سلسله مراتب چامسکی می‌توانند بازگشتی باشند.


title: جو سیلور

text: جو سیلور (؛ – ) هنرپیشه اهل ایالات متحده آمریکا بود. از فیلم‌هایی که وی در آن نقش داشته است، می‌توان به "هار" اشاره کرد.


title: سوزان رومن

text: سوزان رومن (؛ زادهٔ ۱۷ آوریل ۱۹۵۷ ()) هنرپیشه اهل کانادا است. از فیلم‌هایی که وی در آن نقش داشته است، می‌توان به "هوی متال" و "هار" اشاره کرد.


title: پاتریشا گیج

text: پاتریشا گیج (؛ ۳ مارس ۱۹۴۰ – ) هنرپیشه و صداپیشه اهل بریتانیا بود. از فیلم‌هایی که وی در آن نقش داشته است، می‌توان به "هار" اشاره کرد.


title: نیکلاس کمبل

text: نیکلاس کمبل (؛ تلفظ نام‌خانوادگی: ؛ زادهٔ ) هنرپیشه اهل کانادا است. از فیلم‌ها و مجموعه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به پلی در دوردست، مرد سیندرلایی، طالع نحس، پناهگاه، مکانی خشک و خنک، همه ما سقوط می‌کنیم و ناهار عریان اشاره کرد.


title: کونستهاوس زوریخ

text: کونستهاوس زوریخ یک موزهٔ هنری در شهر زوریخ است که از سال ۱۹۱۰ در ساختمان طراحی شده توسط کارل موزر مستقر است.


title: کونستهاوس زوریخ

text: موزهٔ کونستهاوس زوریخ شامل آثار نقاشی اروپایی از رنسانس تا دورهٔ مدرن است. این موزه به‌ویژه برای کارهای نقاشان سوئیسی و پیکره‌های چوبی و سنگی موجود در آن برجسته می‌باشد. در موزهٔ کونستهاوس زوریخ تندیس‌هایی از پیکره‌سازانی چون آلبرتو جاکومتی، هنری مور و آگوست رودن نگهداری می‌شود.


title: سربرو

text: سربرو و نام یک گروه موسیقی روسی می‌باشد که توسط مدیر گروه ماکسیم فِدِو تشکیل شده. معنی اسم گروه به فارسی نقره می‌شود.


title: سربرو

text: اعضای فعلی گروه لیزا کورنیلووا و ماریانا کوچورووا هستند.


title: سربرو

text: آن‌ها در مسابقه آواز یوروویژن ۲۰۰۷ نماینده روسیه بودند.


title: سربرو

text: در اوایل سال ۲۰۰۷ میلادی تهیه‌کننده گروه ماکسیم فِدِو دنبال هدفی برای تشکیل گروهی به اسم سربرو بود. در ابتدا گروه برای Channel One Russia و شرکت در مسابقه آواز یوروویژن ۲۰۰۷ تشکیل شد. با این که در ابتدا قرار بود گروه یک خواننده داشته باشد ولی این گروه با سه خواننده آغاز به کار کرد؛ النا تمنیکوا که عضو سابق Star Factory روسیه بود که با دو تازه‌کار ماریانا لیزورکینا و اولگا سیرابکینا جفت شده بود اعضای اولیه گروه بودند.


title: سربرو

text: در ۸ مارس ۲۰۰۷ اعضای خبرهٔ Channel One Russia گروه سربرو و آهنگ «آهنگ#۱» این گروه را برای مسابقه آواز یوروویژن ۲۰۰۷ از طرف روسیه انتخاب کردند.


title: سربرو

text: در ۱۲ می ۲۰۰۷، سربرو در مسابقه شرکت کرد و به رتبهٔ سوم با ۲۰۷ امتیاز رسید. اجرای گروه در هلسینکی اولین اجرای رسمی آهنگ و اولین کنسرت گروه برای تعداد زیادی تماشاچی بود.


title: مینتا دارفی

text: مینتا دارفی (زاده ۱ اکتبر ۱۸۸۹ - درگذشت ۹ سپتامبر ۱۹۷۵) یک هنرپیشه اهل ایالات متحده آمریکا بود. وی بین سال‌های ۱۹۱۳ تا ۱۹۷۱ میلادی فعالیت می‌کرد.


title: مینتا دارفی

text: از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به آثار زیر اشاره کرد.


title: لوک ایلوزی

text: لوک ایلوزی (زاده ۱۹۴۰) ریاضیدان اهل فرانسه است. ایلوزی دکترای خود را تحت سرپرستی الکساندر گروتندیک در اکول نرمال سوپریور به دست آورد و هم‌اکنون پروفسور بازنشسته در دانشگاه پاریس جنوبی ۱۱ می‌باشد. او سهم بسزایی در گسترش هندسه جبری داشته‌است و شاگردان بسیاری در این زمینه تربیت کرده‌است. در سال ۲۰۱۲ او به خاطر فعالیت‌های علمی اش برنده مدال امیل پیکار شد.برگه شخصی در دانشگاه پاریس ۱۱


title: ماشین پشته‌ای جاسازی‌شده

text: یک ماشین پشته‌ای جاسازی‌شده () یا EPDA یک مدل محاسباتی برای تجزیه زبان‌هایی که به وسیلهٔ گرامر درخت مجاور (TAG) تولید می‌شوند است. آن شبیه گرامر مستقل از متن ماشین پشته‌ای را تجزیه می‌کند به جز اینکه به جا استفاده از ماشین یک پشتهٔ ساده برای ذخیره سمبل‌ها، یک پشته از پشته‌های تأثیری که نمادها را ذخیره می‌کنند دارد، دادن گرامرهای درخت مجاور یک ظرفیت تولیدی بین گرامر مستقل از متن و گرامر حساس به متن، یا یک زیرمجموعه از گرامرهای حساس به متن ملایم است و ماشین پشته‌ای جاسازی شده نباید با ماشین پشته‌ای تودرتو که قدرت محاسباتی بیشتری دارد اشتباه گرفته شود.


title: ماشین پشته‌ای جاسازی‌شده

text: EPDAها ابتدا توسط K. Vijay-Shanker و در پایان‌نامه دکترایش تعریف شدند. آن‌ها برای تعریف‌های کامل تر از کلاس‌های گرامرهای حساس به متن ملایم درخواست شده‌اند و نقش مهمی در پالایش سلسله مراتب چامسکی داشته‌اند؛ بنابراین زیرگرامرهای متنوع، به‌طور مثال linear indexed grammar می‌تواند تعریف شود. EPDAها همچنین شروع‌کننده و ایفاکنندهٔ نقش مهمی در پردازش زبان طبیعی هستند.


title: ماشین پشته‌ای جاسازی‌شده

text: در حالی که زبان‌های طبیعی به‌طور سنتی به وسیلهٔ گرامرهای مستقل از متن تجزیه و تحلیل می‌شده‌اند. transformational-generative grammar) وcomputational linguistics (این مدل برای زبان‌های با وابستگی ضربدری خوب کار نمی‌کند، از قبیل Dutch وضعیت‌ها برای یک EPDA خیلی مناسب است. یک تحلیل دقیق زبانی در دسترس است.


title: ماشین پشته‌ای جاسازی‌شده

text: یک EPDA یک ماشین با وضعیت‌های متناهی و یک مجموعه از پشته‌ها که از طریق پشته جاسازی شده به همدیگر دسترسی دارند، است. هر پشته شامل عناصری از الفبای پشته formula_1 است و بنابراین ما یک عنصر از پشته را با formula_2 (که بستار کلینی است) تعریف می‌کنیم.


title: ماشین پشته‌ای جاسازی‌شده

text: هر پشته سپس می‌تواند به لحاظ عناصرش تعریف شود؛ بنابراین ما پشتهٔ jام را با استفاده از نماد دو خنجر معنی می‌کنیم. formula_3,جایی که نماد بعدیformula_4 قابل دستیابی در پشته است. پشته جاسازی شده از پشته می‌تواند به شکل زیر معنی شود.


ماشین پشته‌ای جاسازی‌شده


title: ماشین پشته‌ای جاسازی‌شده

text: ما یک EPDA را به وسیلهٔ یک ۷تایی تعریف می‌کنیم.


title: ماشین پشته‌ای جاسازی‌شده

text: مجموعهٔ محدودی از وضعیت‌ها است. formula_7


title: ماشین پشته‌ای جاسازی‌شده

text: یک مجموعهٔ محدود از الفبای ورودی است. formula_8


title: ماشین پشته‌ای جاسازی‌شده

text: formula_1 مجموعهٔ متناهی از الفبای پشته است.


title: ماشین پشته‌ای جاسازی‌شده

text: formula_10 وضعیت شروع است.


title: ماشین پشته‌ای جاسازی‌شده

text: مجموعهٔ وضعیت‌های پایانی است. formula_11


title: ماشین پشته‌ای جاسازی‌شده

text: نماد شروع پشته است. formula_12


title: ماشین پشته‌ای جاسازی‌شده

text: formula_13تابع انتقال است که در آن formula_14 یک زیرمجموعهٔ متناهی از formula_15 است.


title: ماشین پشته‌ای جاسازی‌شده

text: بنابراین تابع انتقال یک وضعیت را با نماد بعدی از رشتهٔ ورودی و نماد روی پشتهٔ جاری می‌گیرد و وضعیت بعدی را تولید می‌کند. پشته‌ها داخل پشتهٔ جاسازی شده نشانده و برداشته می‌شوند، نشاندن و برداشتن از پشتهٔ جاری صورت می‌گیرد و پشته‌ها، پشتهٔ جار ی را در انتقال بعد در نظر می‌گیرند. به عبارت دقیق تر پشتهٔ جاسازی شده نشانده و برداشته می‌شود، پشته جاری به‌طور اختیاری داخل پشتهٔ جاسازی شده نشانده می‌شود و هر یک از گشته‌های دیگر بالای آن نشانده می‌شوند و در بازگویی بعدی از آخرین پشته می‌خوانیم؛ بنابراین پشته‌ها می‌توانند بالا و پایین پشتهٔ جاری نشانده شوند.


title: ماشین پشته‌ای جاسازی‌شده

text: یک وضعیت داده شده به صورت زیر تعریف می‌شود:


title: ماشین پشته‌ای جاسازی‌شده

text: که در آن formula_17 وضعیت جاری و formula_18ها پشته‌های داخل پشتهٔ جاسازی شده هستند و formula_19 پشتهٔ جاری است و برای یک رشتهٔ ورودی formula_20، formula_21 بخشی از رشته است که با خواندن نماد جاری توسط head در حال حاضر به وسیلهٔ ماشین پردازش می‌شود وformula_22 بخشی است که پردازش خواهد شد. دقت داشته باشید که رشتهٔ تهی formula_23 به‌طور ضمنی به عنوان نماد پایان تعریف شده یعنی اگر ماشین در یک وضعیت پایانی باشد وقتی رشتهٔ تهی خوانده می‌شود، تمام رشتهٔ ورودی پذیرفته شده‌است و در غیراین صورت رد شده‌است. این رشته‌های پذیرفته شده عناصر زبان ما هستند.


title: ماشین پشته‌ای جاسازی‌شده

text: که در آن formula_25و formula_26 تابع انتقال است که با توجه به تجزیهٔ رشته هر چند بار که لازم باشد استفاده شده‌است.


title: ماشین پشته‌ای جاسازی‌شده

text: یک تعریف غیررسمی از EPDA همچنین می‌تواند در Joshi, Schabes (1997), Sect.7, p.23-25 پیدا شود.


title: ماشین پشته‌ای جاسازی‌شده

text: به‌طور دقیق تر سلسله مراتب زبان‌ها را که مرتبط با کلاس حساس به متن ملایم است را تعریف می‌کند که به وسیلهٔ David J. Weir انجام شده‌است. بر اساس کار سلسله مراتب کنترل زبان Weir عبارت است از سلسله مراتب مجموعه قابل شمارش از کلاس‌های زبان که سطح اول در آن به عنوان مستقل از متن و سطح دوم کلاس از درخت مجاور و سه گرامر دیگر است.


title: ماشین پشته‌ای جاسازی‌شده

text: در زیر بعضی از. ویژگی‌های زبان‌های سطح k در سلسله مراتب آورده شده‌است:


title: ماشین پشته‌ای جاسازی‌شده

text: زبان‌های سطح k در کلاس زبان سطح (k+1) هستند.


title: ماشین پشته‌ای جاسازی‌شده

text: زبان‌های سطح k می‌توانند در زمان formula_27 تجزیه شوند.


title: ماشین پشته‌ای جاسازی‌شده

text: سطح k شامل زبان formula_28 هست اما شامل formula_29 نیست.


title: ماشین پشته‌ای جاسازی‌شده

text: سطح k شامل زبان formula_30 هست اما شامل formula_31نیست.


title: ماشین پشته‌ای جاسازی‌شده

text: این ویژگی‌ها در ارتباط با kهای کوچک ولی بزرگتر از ۱ در شرایط حساس به متن ملایم خوب عمل می‌کنند اما هرچه k بزرگتر می‌شود، کلاس‌های زبان حساسیت به متن کمتری پیدا می‌کنند.


title: ریدر بولارد

text: ریدر ویلیام بولارد (زادهٔ ۵ دسامبر ۱۸۸۵ م. درگذشته ۲۴ مه ۱۹۷۶)، از ۱۹۴۲ تا ۱۹۴۶ سفیر انگلیس در ایران بود. بولارد در کشورهای دیگری مثل عراق، شوروی، یونان و عربستان هم سمت‌های دیپلماتیک داشت و نویسنده چندین کتاب می‌باشد.


title: ریدر بولارد

text: ریدر بولارد در آذر ماه (۵ دسامبر) ۱۸۸۵ م. در حومه لندن متولد شد. پدرش کارگر بارانداز بود.تحصیلات اولیه خود را در مدرسه بنکرافت در شمال شرق لندن به پایان رساند و در کمبریج دو سال به کالج کوئینز رفت.در ۱۹۰۶ وارد بخش کنسولی آسیای غربی وزارت خارجه انگلستان شد. در آغاز تحصیلات دانشگاهی نزد ادوارد براون، شرق‌شناس سرشناس، عربی و ترکی و پارسی آموخت.مخصوصاً در جریان انقلاب مشروطه، در آن هنگام که ادوارد بروان داستان این خیزش را در لندن پیگیری می‌نمود، بولارد نیز با او همراه بود و توانست دانسته‌های گسترده‌ای دربارهٔ ایران فراهم نماید.


title: ریدر بولارد

text: بولارد در سمت‌های دیپلماتیک مختلفی قرار گرفته بود.


title: ریدر بولارد

text: برای بولارد تنها یک هفته پس از فارغ‌التحصیلی بس بود تا به عنوان معاون کنسولگری انگلیس در عثمانی گمارده شود. از این زمان (۱۹۰۸ م) تا ۱۹۱۴ مشاغل گوناگونی در شهرهای مختلف عثمانی برعهده داشت تا آنکه در این سال سرکنسول بصره شد. در سپتامبر ۱۹۱۸ دو ماه و اندی با پرسی کاکس، وزیرمختار انگلیس در ایران، همکاری داشتو یکبار هم در ژانویه ۱۹۲۰ بخاطر بستن قرارداد گمرکی به ایران آمد. در ۱۹۲۰، یعنی در زمان انقلاب ضد انگلیسی عراق، بولارد فرماندار نظامی بغداد شد و نقش بزرگی در سرکوب خیزش داشت. در ۱۹۲۰ به لندن منتقل و در اداره مستعمرات، بخش خاورمیانه، مشغول بکار شد. در اوت ۱۹۲۱ ازدواج کرد و در ۱۹۲۳ کنسول انگلستان در شهر جده شد. در زمان کنسول بودن او بود که انگلیسی‌ها شریف مکه را از حکومت برداشتند و خانواده ابن سعود را بر عربستان حاکم کردند.


title: ریدر بولارد

text: پس از موفقیت در جده، بولارد به مقام کنسول انگلیس در آتن ارتقا یافت و سه سال خدمت کرد. در بهار ۱۹۲۸ بعنوان کنسول در حبشه به آدیس آبابا رفت تا ۱۹۳۰ که بعنوان سرکنسول در مسکو انتخاب شد. و سپس به لنینگراد رفت (از ۱۹۳۱ تا ۱۹۳۴). در ۱۹۳۴ مأمور به مراکش شد. از ۱۹۳۶ تا ۱۹۳۹ مأمور در جده بود که اکنون دیگر کشور عربستان سعودی نامیده می‌شد. بولارد تا دسامبر ۱۹۳۹ (آذر ۱۳۱۸ ه.ش) در عربستان خدمت کرد تا آنگاه که بعنوان وزیرمختار در ایران منصوب شد و این مقام را تا مارس ۱۹۴۶ (اسفند ۱۳۲۴) نگاه داشت و بازنشسته گردید.


title: ریدر بولارد

text: اهمیت دوران سفارت بولارد در ایران به این دلیل است که بولارد از نقش‌آفرینان اصلی ماجرای استعفای رضاشاه و اشغال ایران در جنگ جهانی دوم بوده‌است.


title: ریدر بولارد

text: در سال ۱۹۵۱، بولارد مدیر مؤسسه مطالعات مستعمراتی در آکسفورد شد و تا سال ۱۹۵۶ ادامه داد. در سال آخر ریاست بولارد، با تغییر وضعیت امپراتوری انگلیس، نام مؤسسه به مؤسسه مطالعات کشورهای همسود تغییر کرد. بولارد همچنین در سال ۱۹۵۳ عضو هیئت رئیسه مدرسه مطالعات شرقی و آفریقایی دانشگاه لندن شد.


title: ریدر بولارد

text: بولارد در سال ۱۹۲۱ میلادی با خانم میریام کاترین (بیدی) نی اسمیت ازدواج کرد که دختر استاد تاریخ دانشگاه آکسفورد بود. از بین چهار پسر و یک دختر آنان، ژیلز بولارد(۱۹۲۶–۱۹۹۲) و جولین بولارد(۱۹۲۸–۲۰۰۶)، دیپلماتهای مشهوری شدند.


title: ریدر بولارد

text: بولارد تعدادی کتاب نوشته‌است که شامل این موارد می‌باشد: "بریتانیا و خاورمیانه" (۱۹۵۱)، اتوبیوگرافی خودش شترها باید بروند (۱۹۶۱) و خاطرات روزانه در اتحاد شوروی که پس از مرگش تحت عنوان "درون روسیه استالینی" منتشر شد.


title: گداولا

text: گداولا یک روستا در سری‌لانکا می‌باشد؛ و دراستان مرکزی واقع شده است.


title: بن هاوارد

text: بن هاوارد (۲۴ آوریل ۱۹۸۷ در لندن) خواننده و ترانه‌سرای انگلیسی در سبک پاپ‌راک، ایندی راک و آلترناتیو راک است. هاوارد از سال ۲۰۰۸ وارد دنیای موسیقی شد و در سال ۲۰۱۱ نخستین آلبوم خود را منتشر کرد. پرکاشن و گیتار سازهای تخصصی او هستند. هاوارد در رشته موج‌سواری نیز فعالیت می‌کند و دانشجوی انصرافی رشته روزنامه‌نگاری است.


title: ریزد بای سوانز

text: ریزد بای سوانز یک گروه موسیقی مستقل زیرزمینی به محوریت اریک هائدن است که در سال ۱۹۹۸ در اونتاریوی کانادا تشکیل شد.


title: ریزد بای سوانز

text: نام گروه برگرفته از تجریۀ شخصی اریک هائدن در خواب است، که دیده‌بود در جنگلی قوهای غول‌پیکری او را با خود با آسمان می‌برند.


title: ساخت به کمک رایانه

text: ساخت به کمک رایانه یا کَم، یا تولید به کمک رایانه عبارت است از شبیه‌سازی فرایند ساخت در محیط مجازی و استخراج کدهای مورد نیاز برای ماشین‌های کنترل عددی.


title: ساخت به کمک رایانه

text: این تکنولوژی با استفاده از توصیف رایانه‌ای و رایانه‌های مرتبط با دستگاه‌های ساخت محصول، مسیر ساخت را طرح‌ریزی و کنترل کرده و به پیش می‌برد. یکی از مهم‌ترین سطوح ساخت به کمک رایانه، NC می‌باشد که توسط دستورهای برنامه‌ریزی شده به کنترل ماشین ابزار در برش، فرز، کوبیدن، پرچ کردن و … می‌پردازد.


title: ساخت به کمک رایانه

text: واژه CAM مرحله‌ای است که در آن روش ساخت مورد بررسی قرار می‌گیرد و توسط نرم‌افزارهای خاص کدهایی به نام جی کد (G-Cod) به دستگاه می‌فهماند که چه مراحلی را برای ماشین‌کاری باید طی کند که شامل مراحل خشن کاری و فینیشینگ است و توسط استراتژی‌های به خصوص صورت می‌گیرد.


title: ساخت به کمک رایانه

text: تولید کامپیوترهای کمکی (CAM) استفاده از نرم‌افزار کامپیوتر برای کنترل ابزارهای ماشینی و ماشین آلات مربوط در تولید قطعه‌های کاری است. این تنها تعریفی نیست که برای CAM مورد استفاده قرار می‌گیرد، اما رایج‌ترین آن به‌شمار می‌رود. CAM به استفاده از کامپیوتر برای کمک به همهٔ عملکردهای یک طرح تولیدی، از جمله برنامه‌ریزی، مدیریت، انتقال و ذخیره‌سازی نیز گفته می‌شود. هدف اولیه آن ایجاد روند سریع تر تولید و مؤلفه‌ها و ابزارسازی با ابعادی دقیق تر و هماهنگی بیشتر مواد است، که در بعضی از موارد، تنها از میزان مورد نیازی از مواد خام استفاده می‌کند (در نتیجه هدر رفتن را به حداقل می‌رساند)، در حالیکه به‌طور هم‌زمان مصرف انرژی را نیز کاهش می‌دهد. امروزه CAM سیستم مورد استفاده در مدارس است و اهداف آموزشی را پایین‌تر می‌آورد. CAM بعد از طرح کمکی کامپیوتر کمکی (CAD) و گاهی مهندسی کامپیوتر کمکی(CAE)، روند کامپیوتر کمکی متعاقب است، البته به عنوان مدل سازمان یافته در CAD و اصلاح شده در CAE می‌تواند در نرم‌افزار CAM وارد شود که سپس ابزار ماشینی را کنترل می‌کند.


title: ساخت به کمک رایانه

text: از لحاظ سنتی، CAM به عنوان ابزار برنامه‌نویسی کنترل عددی (NC) تلقی می‌شود، آنجا که در مدل‌های ۲بعدی (D-2) یا ۳ بعدی(D-3) مؤلفه‌های سازمان یافته در CADAs بادیگر تکنولوژی‌های کمکی کامپیوتر، CAM نیاز به افراد حرفه‌ای و متخصص همچون مهندسان تولید، برنامه‌نویسان NC، یا ماشین نویسان (سازان) را از بین نمی‌برد، در واقع CAM هر دو ارزش افراد حرفه‌ای تر تولید را از طریق ابزارهای تولیدی پیشرفته، قدرتمند تر می‌کند، در حالیکه ایجاد مهارت‌های جدید افراد متخصص از طریق مشاهده، شبیه‌سازی و ابزارهای مطلوب‌سازی صورت می‌گیرد.


title: ساخت به کمک رایانه

text: کاربردهای تجاری زیادی از CAM در شرکت‌های بزرگ در صنایع اتومبیل‌سازی و هوا فضا وجود داشته‌اند، برای مثال مطالعه Pierre Beziers، کاربرد CAD/CAM, UNISURF را در ۱۹۶۰ برای طرح بدنه ماشین و ابزارسازی در Renault توسعه داد. از لحاظ تاریخی، نرم‌افزار CAM نقایصی دارد که سطح بالایی از مشارکت توسعه ماشین سازهای حرفه‌ای CNC را ضروری کرده‌است. Fallows اولین نرم‌افزار CAD را ساخته است، اما این امر کمبودهای زیادی داشته و برای بهتر شدن به مرحله توسعه برگردانده شده‌است. نرم‌افزار CAM می‌تواند که خروجی برای ماشین‌های با حداقل توانایی داشته باشد، طوری‌که هر کنترل ابزار ماشینی، اضافه شده به Gکد استاندارد، برای افزایش انعطاف‌پذیری تنظیم می‌شود.این امر در ابتدا در سه حوزه اتفاق می‌افتد:


title: ساخت به کمک رایانه

text: برای کاربری که فقط به عنوان یک کاربر CAM شروع به کار می‌کند، قابلیت‌های خارج از حوزه، روند wizards، قالب‌ها، کتابخانه‌ها، کیت‌های ابزار ماشینی، ویژگی خودکار بر اساس ماشینی بودن و کارکرد خاص شغلی را فراهم می‌آورد که اطمینان کاربر و سرعت منحنی را یادگیری را به وجود می‌آورد. اطمینان کاربر بیش از این در مشاهدهٔ 3D از طریق ادغام نزدیک تر با محیط 3D CAD به وجود می‌آید، از جمله مطلوب سازی‌ها و شبیه سازی‌های اجتناب و پرهیز از خطا.


title: ساخت به کمک رایانه

text: محیط تولید به طرز رو به افزایشی پیچیده است. نیاز به ابزارهای PLM و CAM بوسیلهٔ مهندس تولید، ماشین ساز یا برنامه‌نویس NC شبیه به نیاز کمک کامپیوتر توسط سیستم‌های مدرن هواپیمایی است. ماشین آلات مدرن نمی‌توانند بدون این کمک به‌طور مناسب استفاده شوند. سیستم‌های امروزی CAM، میزان کاملی از ابزارهای ماشینی را حمایت می‌کنند، از جمله چرخش، ماشین ۵ محوری و سیم EDM. کاربر امروزی CAM می‌تواند به راحتی مسیرهای ابزار کارآمد را سازمان دهد. ادغام با PLM و شرکت گستردهٔ LM با ادغام تولید با عملکردهای شرکت از مفهوم در حمایت از حوزهٔ تولید نهایی است. برای اطمینان از استفادهٔ آسان و مناسب در اهداف کاربر، راه حل‌های مدرن CAM از سیستم CAM تنها به یک مجموعه راه حل 3D چند CAD، کاملاً ادغام شده‌اند. این راه حل‌ها برای برآورده کردن نیازهای پرسنل تولید مطرح شده‌اند، از جمله بخش برنامه‌نویسی، اسناد خرید، مدیریت منبع و مدیریت و تبادل اطلاعات. تا مانع از این شوند که این راه حل‌ها از اطلاعات دقیق خاص ابزاری در مدیریت معتبر ابزار خودداری کنند.


title: ساخت به کمک رایانه

text: بیشتر روندهای ماشینی در مراحل مختلفی، که هر کدام از آن‌ها توسط تعدادی از استراتژی‌های اصلی و پیچیده اجرا می‌شوند، به نرم‌افزار و مواد موجود بستگی دارند. این مراحل عبارت اند از:


title: ساخت به کمک رایانه

text: این مرحله با سهم خام، که تحت عنوان billet نیز شناخته می‌شود و بریدن آن برای شکل دادن مدل نهایی بسیار سخت است، شروع می‌شود. در milling، اغلب نتیجه، ظاهری از جایگاه‌ها را ارائه می‌کند، زیرا این استراتژی، مزیت توانایی بریدن به صورت افقی مدل را دارد. استراتژی‌های رایج عبارتند از: پاک کردن زیگ زاگ، پاک کردن جبرانی، plunge roughing, rest-roughing.


title: ساخت به کمک رایانه

text: این روند با قسمت سختی آغاز می‌شود که به طرز نا همواری مدل را شبیه‌سازی می‌کند و در فاصلهٔ جبرانی ثابت از مدل، جدا می‌شود. یک مسیر نیمه اتمامی باید میزان کمی از مواد را از بین برد طوری‌که ابزار بتواند به طرز صحیحی در زمان اتمام کار جدا شود، اما نه آنچنان کم که ابزار و مواد به جای ارسال، بازتاب داشته باشند. از استراتژی‌های رایج می‌توان به این موارد نام برد: مسیرهای raster، مسیرهای خط آبی، مسیرهای روند ثابت، pecil melling.


title: ساخت به کمک رایانه

text: اتمام کردن شامل گذر آرام طی مواد در مراحلی بسیار خوب، برای انجام بخش نهایی است. در اتمام، مرحلهٔ میان یک مسیر و مسیری دیگر، حداقل است. میزان فرستادن (تقویت کردن) کم هستند و سرعت‌های محوری (محور سرعت) برای ایجاد یک سطح مناسب و درست فراهم می‌آیند.


title: ساخت به کمک رایانه

text: در کاربردهای milling در سخت;افزارهای ۵ محور یا بیشتر، یک روند اتمام جداگانه که contouring نامیده می‌شود می‌تواند اجرا شود. به جای پایین آمدن در افزایش‌های مناسب به یک سطح تقریبی، یک تکه کاری برای بریدن سطوح از ابزار به ویژگی‌های بخش مناسب می‌چرخد. این امر یک سطح عالی را ایجاد می‌کند که با صحت و بعدی بالا به اتمام می‌رسد.


title: شیاطین (فیلم ۱۹۹۶)

text: شیاطین () فیلمی در ژانر نئو نوآر به کارگردانی جرمیا اس. چچیک و نویسندگی آنری-ژرژ کلوزو و دان روس است که در سال ۱۹۹۶ منتشر شد. این فیلم بازسازی فیلم فرانسوی "شیاطین" (۱۹۵۵) به کارگردانی آنری-ژرژ کلوزو است. در این فیلم شارون استون، ایزابل آجانی، چاز پالمینتری و کتی بیتس بازی کرده‌اند. فیلم‌برداری این کار در پیتسبرگ، پنسیلوانیا و اطراف آن انجام گرفت.


title: شصت و دومین مراسم گلدن گلوب

text: ۶۲مین مراسم گلدن گلوب به (انگلیسی 62th Golden Globe Awards) به افتخار بهترین فیلم و تلویزیون سال ۲۰۰۴ در ۱۶ ژانویه ۲۰۰۵ در لس آنجلس کالیفرنیا برگزار شد. بهترین فیلم درام به هوانورد به کارگردانی مارتین اسکورسیزی رسید . و بهترین بازیگر نقش اول مرد لئوناردو دی‌کاپریو برای فیلم هوانورد و بهترین بازیگر نقش اول زن هیلاری سوانک برای فیلم دختر میلیون دلاری که توانستند برنده گوی زرین شوند . فیلم راه‌های فرعی در هفت قسمت کاندیدای گوی زرین شد که فقط توانست در دو قسمت برنده شود . موفق‌ترین فیلم این دوره هوانورد بود که موفق به دریافت چهار گوی زرین از ۶۲مین مراسم گلدن گلوب دریافت کند .


title: تو و من (فیلم ۱۹۳۸)

text: تو و من () یک فیلم موزیکال به کارگردانی فریتس لانگ است که در سال ۱۹۳۸ منتشر شد.


title: تو و من (فیلم ۱۹۳۸)

text: این فیلم در گیشه موفق نبوده و برای تهیه‌کنندگانش، یک شکست کامل تجاری بود.


title: ارتباطات (مستند تلویزیونی)

text: ارتباطات () نام یک مجموعهٔ مستند تلویزیونی به کارگردانی «میک جکسون» است که در سال ۱۹۷۸ از شبکهٔ بی‌بی‌سی پخش شد.


title: ارتباطات (مستند تلویزیونی)

text: نویسنده، خالق و مجری این برنامه، تاریخ‌نگار علوم و تهیه‌کنندهٔ تلویزیون، «جیمز برک» بود که در همان سال، کتابی هم به نام «ارتباطات» (بر پایهٔ همین برنامه تلویزیونی) نگاشت.