payamvha/North_RAG huggingface dataset:
میان سازه و تندیس باریک می‌شود و بیننده–شهروند تشویق به اندیشه، تعامل، و دیالوگ می‌شود. سازه–تندیس‌های مدرن او از جمله نخستین آثار هنر ارتباطی در جهان به‌شمار می‌روند. شیرین نشاط را می‌توان یکی از موفق‌ترین هنرمندان ایرانی در جهان دانست. نشاط در جوانی برای تحصیل به آمریکا رفت و پس از انقلاب ایران در آن کشور باقی ماند و زندگی در نیویورک را برگزید. پس از سفر به ایران در ۱۹۹۰، وی کار بر روی مجموعه عکس‌های "زنان الله" خود را آغاز کرد که از جمله نامدارترین مجموعه‌های هنر معاصر ایران به‌شمار می‌رود. نقد هنری. در
هنر معاصر ایران به‌شمار می‌رود. نقد هنری. در دهه‌های نخست ورود هنر نوین به ایران، بحث بر سر کیفیت آثار کم انجام می‌شد و اغلب آثار نقد نمی‌شدند. نشریه‌های موجود در آن هنگام (همچون سخن، فردوسی، رستاخیز، و رستاخیز جوانان) گاه به چاپ این کارها و گفتگو با هنرمندان نوگرا می‌پرداختند و محتوای چنین مطالبی نیز گاه توسط نویسندگانی چون جلال آل احمد مورد تفسیر قرار می‌گرفت؛ اما در بیشتر موارد، مقصود هنرمند از پیدایش اثر و پیام اجتماعی آن مورد بررسی قرار می‌گرفت و نه ارزش هنری خود آن. جلال آل احمد در بازدیدی که از
ارزش هنری خود آن. جلال آل احمد در بازدیدی که از گالری آپادانا و کارهای ضیاءپور داشت، از وی و دیگر هنرمندان معاصر ایران به خاطر «غرب‌زدگی» ایشان انتقاد کرد و تنها یکی از آثار ضیاءپور را که در آن مسجدی به شکل کوبیستی کشیده شده بود، به خاطر ارتباط حداقلیش با ایران ستود. ضیاءپور نیز در پاسخ چنین انتقادهایی، به دفاع از کوبیسم و به‌کارگیری خطوط و اشکال هندسی در نقاشی پرداخت؛ اَشکالی که به گفته او برای دوره‌های طولانی در حافظه تاریخی هنر ایران به شکل طراحی‌های هندسی آبستره حضور داشته‌اند و ایرانیان با آن‌ها
هندسی آبستره حضور داشته‌اند و ایرانیان با آن‌ها ناآشنا نبودند. اکبر تجویدی، هنرمند و تاریخ‌نگار هنری، از جمله دست‌اندرکاران نخستین دوسالانه هنر تهران بود که نخستین نوشته‌های رسمی در رابطه با هنر نوین در کشور را منتشر کرد و در آن‌ها به مشخصه‌های مشترک میان هنرمندان نوگرای ایرانی پرداخت. او در کتاب خود با نام «هنر مدرن در ایران» به طبقه‌بندی ویژگی‌های آثار به نمایش درآمده توسط هنرمندان نوگرای کشور در دوسالانه‌های تهران پرداخت. یارشاطر نیز چندین نوشتهٔ پیشرو در دهه ۱۹۵۰ در نشریات و دفترچه نمایشگاه‌های هنری
در دهه ۱۹۵۰ در نشریات و دفترچه نمایشگاه‌های هنری منتشر کرد و به بیان تاریخچه هنر نوین ایران از دهه‌های ۱۹۴۰ تا ۱۹۷۰ در کتاب خود با نام «آثار برجسته هنر ایرانی» پرداخت. در بخشی از این کتاب، وی از اینکه آثار هنرمندان نوگرای نسل نخست «غیرمتعهد و رهای از واقعیت‌های اجتماعی ایران» بود، انتقاد کرد. کریم امامی، روزنامه‌نگار، نقدهایی بر هنر نوین ایران نوشت که می‌توان گفت از جمله بهترین بررسی‌های صورت گرفته در این زمینه بوده‌اند. امامی که در روزنامه انگلیسی‌زبان کیهان اینترنشنال قلم می‌زد به ارائهٔ نقدهای ظریف خود
اینترنشنال قلم می‌زد به ارائهٔ نقدهای ظریف خود از جنبش‌های هنری ایران می‌پرداخت و نخستین کسی بود که برای نام بردن از سبک نو–سنتی گروهی از هنرمندان ایرانی که تصویرهای سنتی مذهبی را با روش‌های نوین ارائه می‌کردند، عنوان «جنبش سقاخانه» به کار برد. مقالهٔ او با عنوان "Modern Persian Artists"، چاپ شده در کتاب "Iran Faces Seventies" به ویراستاری یارشاطر، از نخستین متن‌های به زبان انگلیسی موجود دربارهٔ هنرمندان نوگرای ایرانی و سبک‌هایشان بود. در همین هنگام، نویسندگان چپ‌گرایی چون جلال آل احمد و همسرش سیمین دانشور
چپ‌گرایی چون جلال آل احمد و همسرش سیمین دانشور به پشتیبانی از هنر نوین برای بیان خواسته‌های اجتماعی و سیاسی پرداختند. این کنشگران در نوشته‌های خود هنرهای تجسمی، فیگوراتیو، و مفهومی را به خاطر توانایی‌شان در انتقال مفاهیم می‌ستودند، ولی به شدت با هنر انتزاعی مخالفت می‌کردند. تعدادی از هنرمندان انقلابی و پس از انقلاب نیز به دنبال تعریف جدیدی از هنر ایرانی–اسلامی و دوری از هنر غرب بودند. زهرا رهنورد و میرحسین موسوی، که خود از انقلابیان نامدار بودند، به تقلید از هنر نوگرای غربی تاختند و در تلاش برای ارائه نقدی
هنر نوگرای غربی تاختند و در تلاش برای ارائه نقدی اسلامی از هنر، رهنورد در مانیفستی که ۳ سال پس از انقلاب در "فصلنامه هنر" به چاپ رساند، «واقع‌گرایی» را نکوهید و «آیه گرایی» را – که بر مبنای مکاشفه و یافتن در ورای واقعیت‌ها بود – وظیفه هنرمند مسلمان دانست. سید مرتضی آوینی معتقد است هنر انقلاب اسلامی باید هویتی مستقل از غرب داشته باشد و امکان شریک شدن در صیرورت تاریخی غرب موجود نیست، زیرا غایات و مقاصد متفاوت است. از دید وی «هنر به معنای حقیقی خویش، جز در آینه مصفای روح مؤمن تجلی نخواهد یافت و جز هنر متعهد
مصفای روح مؤمن تجلی نخواهد یافت و جز هنر متعهد به اسلام، هرچه هست، نه تنها هنر نیست، بلکه عین بی‌هنری است.»
تلخون حمزوی (زادهٔ ۱۹۷۹ تهران) یک کارگردان ایرانی - سوئیسی است. وی برای فیلم پروانه، به همراه اشتفان ایشنبرگر نامزده دریافت جایزه اسکار بهترین فیلم کوتاه از هشتادو هفتمین دوره این مراسم شده‌است. زندگی و فعالیت حرفه ای. حمزوی در سال ۱۹۷۹ در تهران متولد شد و در هفت سالگی به سوئیس مهاجرت کرد. وی دارای مدرک فوق لیسانس فیلم‌سازی از "دانشگاه هنر زوریخ" است. او فعالیت حرفه‌ای خود در زمینه فیلمسازی را از سال ۲۰۰۴ و با فیلم "وقتی پرده می افتد ()" آغاز کرد. او با فیلم کوتاه "پروانه" و در کنار "اشتفان ایشنبرگر" در چند
کوتاه "پروانه" و در کنار "اشتفان ایشنبرگر" در چند جشنواره خارجی شرکت کرد و با این فیلم، علاوه بر نامزدی "جایزه اسکار بهترین فیلم کوتاه"، موفق به کسب جایزه اسکار دانشجویی بهترین فیلم کوتاه خارجی در سال ۲۰۱۳ در شهر لس‌آنجلس شد.
در نظریهٔ زبان صوری،زبان مستقل از متن قطعی (DCFL)، یک زیر مجموعهٔ سره از زبان‌های مستقل از متن می‌باشد. این زبانهای مستقل از متن هستند که می‌توانند بوسیلهٔ یک ماشین پشته‌ای قطعی پذیرفته شوند. DCFLها همیشه واضح هستند، به این معنی که آن‌ها یک گرامر واضح را می‌پذیرند، ولی هر. DCFL غیر تهی نیز یک گرامر مبهم را نیز می‌پذیرد. CFLهای واضح غیر قطعی نیز وجود دارند، بنابراین DCFLها یک زیر مجموعهٔ سره از CFLهای غیر مبهم را تشکیل می‌دهند. DCFLها علاقهٔ کاربردی زیادی دارند، آن طور که می‌توانند در زمان خطی تجزیه شوند و
آن طور که می‌توانند در زمان خطی تجزیه شوند و انواع محدود متنوع از DCFGها، تجزیه‌های کاربردی ساده‌ای را می‌پذیرند؛ بنابراین آن‌ها به‌طور گسترده‌ای در علوم کامپیوتر استفاده می‌شوند. شرح. مفهوم DCFL بسیار مرتبط با ماشین پشته‌ای قطعی (DPDA). می‌باشد. این جایی است که اگر آن را قطعی کنیم، قدرت زبان یک ماشین پشته‌ای کاهش می‌یابد؛ ماشین پشته‌ای در انتخاب بین گزینه‌های حالت گذار مختلف ناتوان می‌شود و در نتیجه نمی‌تواند همهٔ زبان‌های مستقل از متن را تشخیص دهد. گرامرهای واضح همیشه یک DCFL را تولید نمی‌کنند. به‌طور
واضح همیشه یک DCFL را تولید نمی‌کنند. به‌طور مثال، زبان پالیندرام با طول زوج در الفبای ۰ و ۱ می‌باشد، گرامر مستقل از متن S → 0S0 | 1S1 | ε را دارد. یک رشتهٔ اختیاری از این زبان، نمی‌تواند بدون خواندن تمام این حروف در ابتدا تجزیه شود، به این معنا که یک ماشین پشته‌ای باید حالت‌های گذار مختلف را برای جا دادن طول‌های ممکن مختلف از رشته‌های با تجزیهٔ مشابه، امتحان کند. ویژگی‌ها. زبان‌های مستقل از متن قطعی می‌توانند با ماشین‌های تورینگ قطعی در یک زمان چند جمله‌ای و فضای O(log2 n)، تشخیص داده شود. به عنوان نتیجه،
و فضای O(log2 n)، تشخیص داده شود. به عنوان نتیجه، DCFL زیر مجموعه‌ای از کلاس پیچیدگی SC می‌باشد. مجموعهٔ زبانه‌ای مستقل از متن قطعی، نسبت به اجتماع بسته نیست ولی نسبت به تفاضل بسته است. اهمیت. زبان‌های این گروه اهمیت کاربردی زیادی در علوم کامپیوتر دارند، از آنجا که آن‌ها می‌توانند به‌طور کاراتری نسبت به زبان‌های مستقل از متن غیر قطعی تجزیه شوند. پیچیدگی برنامه و زمان اجرای ماشین پشته‌ای قطعی به‌طور گسترده‌ای کمتر از حالت غیر قطعی است. در راه‌اندازی ساده دومی باید در هر زمان که یک مرحلهٔ غیر قطعی رخ می‌دهد،
باید در هر زمان که یک مرحلهٔ غیر قطعی رخ می‌دهد، کپی‌هایی از پشته‌ها بسازد. بهترین الگوریتم شناخته شده برای آزمون عضویت در هر زبان مستقل از متن، الگوریتم ولینت می‌باشد که (O(n2.378 زمان می‌گیرد، که n طول رشته است. از طرف دیگر، زبان‌های مستقل از متن قطعی می‌توانند در زمان (O(n بوسیلهٔ تجزیه کنندهٔ (LR(k پذیرفته شوند. این برای ترجمه زبان برنامه نویسی بسیار مهم است زیرا بسیاری از زبان‌های کامپیوتری به این گروه از زبان‌ها تعلق دارند. منابع. https://en.wikipedia.org/wiki/Deterministic_context-free_language
در نظریهٔ محاسبه، یک ماشین حالت متناهی غیر قطعی تعمیم یافته (GNFA)، که همچنین به عنوان ماشین بیان یا ماشین حالت متناهی غیر قطعی تعمیم یافته شناخته می‌شود، تغییری از NFA است، که در آن هر انتقال با هر عبارت منظم برچسب گذاری شده است. GNFA بلوک نمادهایی از ورودی را که از رشته‌ای که به عنوان عبارت منظم در انتقال تعریف شده است، می‌خواند. تفاوت‌های زیادی بین یک ماشین حالت متناهی استاندارد و یک ماشین حالت متناهی غیر قطعی تعمیم یافته وجود دارد.GNFA فقط باید یک وضعیت شروع و یک وضعیت پذیرش داشته باشد، و اینها
وضعیت شروع و یک وضعیت پذیرش داشته باشد، و اینها نمی‌توانند وضعیت‌های یکسانی باشند. در حالیکه یک NFA یا DFA اجازه انتقال‌های زیادی بین وضعیت‌ها را می‌دهد. در GNFA بین هر دو وضعیت تنها یک انتقال می‌تواند وجود داشته باشد، اگر چه اغلب رایج است که در هنگام رسم ماشین‌های متناهی حالت غیر قطعی تعمیم یافته، به انتقال‌هایی که با مجموعهٔ تهی برچسب گذاری شده‌اند توجه نشود. تعریف رسمی. GNFA می‌تواند به عنوان یک ۵ تایی، (S, Σ, T, s, a) تعریف شود که از موارد زیر تشکیل شده است: که R مجموعه‌ای از همهٔ اصطلاحات با قاعده
شده است: که R مجموعه‌ای از همهٔ اصطلاحات با قاعده تحت‌الفبای Σ است. تابع انتقال، یک جفت از دو وضعیت را به عنوان متغیر ورودی خود می‌گیرد و یک اصطلاح با قاعده را خارج می‌کند. این با بقیهٔ ماشین‌های حالت متناهی متفاوت است، که یک وضعیت را به عنوان ورودی و یک ورودی از الفبا می‌گیرد (یا یک رشتهٔ تهی در مورد ماشین‌های حالت متناهی غیر قطعی) و وضعیت بعدی را خارج می‌کند (یا مجموعه‌ای از وضعیت‌های ممکن در مورد ماشینهای حالت متنهاهی غیر قطعی). یک DFA یا NFA می‌تواند به سادگی به یک GNFA تغییر یابد و سپس GNFA می‌تواند
سادگی به یک GNFA تغییر یابد و سپس GNFA می‌تواند به راحتی با انداختن مکرر قسمت‌های آن در یک یال مجموعهٔ S = {s, a}، به یک عبارت منظم تغییر یابد. به طور مشابه GNFAها می‌توانند به NFAها کاهش یابند که این کار توسط تغییر عملگرهای بیان با قاعده، به یال‌های جدید تا زمانی که هر یال با یک بیان با قاعده که متناظر با رشته‌ای به طول حداکثر ۱ است برچسب گذاری شود، انجام می‌شود. NFA به نوبه خود می‌تواند به DFAهایی با استفاده از ایجاد مجموعهٔ توانی کاهش یابد. این نشان می‌دهد GNFA مجموعهٔ مشابهی از زبان‌های صوری را مانند
GNFA مجموعهٔ مشابهی از زبان‌های صوری را مانند DFAها و NFAها شناسایی می‌کند. منابع. https://en.wikipedia.org/wiki/Generalized_nondeterministic_finite_automaton
در علم کامپیوتر نظری و تئوری زبان رسمی، یک گِرامر درخت منظم، گرامر صوری است که مجموعه‌ای از درختان جهت دار یا جملات ( terms ) را توصیف می‌کند. گرامر کلمه منظم می‌تواند به عنوان یک نوع خاص از گرامر درخت منظم که مجموعه‌ای از درختان تک مسیر را توصیف می‌کند بیان شود. تعریف. گرامر درخت منظم توسط چندتایی ("G" = ("N", Σ, "Z", "P" که در آن ("T"Σ("N" جبر واژه همراه است، یعنی مجموعه‌ای از تمام درختان تشکیل شده از نمادها در Σ ∪ "N" با توجه به arities خود که در آن غیر پایانه‌ها nullary در نظر گرفته می‌شود. اشتقاق از
پایانه‌ها nullary در نظر گرفته می‌شود. اشتقاق از درختان. دستور زبان G به‌طور ضمنی مجموعه‌ای از درختان تعرف می‌شود : هر درختی که می‌تواند از Z با استفاده از مجموعهٔ قوانین P مشتق شود ، گفته می‌شود که توسط G توصیف شده‌است . این مجموعه از درختان به عنوان زبان G شناخته می‌شوند . به‌طور رسمی تر ، رابطهٔ ⇒"G" روی مجموعهٔ ("T"Σ("N" به صورت زیر تعرف می‌شود : درخت ("t"1∈ "T"Σ("N" می‌تواند در یک مرحله اشتقاق شود به درخت ("t"1∈ "T"Σ("N" اگر وجود داشته باشد : متن S و انتقال "A"→"t") ∈ "P") به طوری که در اینجا یک بافت
"A"→"t") ∈ "P") به طوری که در اینجا یک بافت ( متن ) به معنی یک درخت با دقیقاً یک حفره در آن است و ["S"["t" نشان دهندهٔ نتیجهٔ پر کردن درخت T با حفره‌ای از S است . زبان درخت تولید شده توسط T زبان { "L"("G") = { "t" ∈ "T"Σ | "Z" ⇒"G"* "t" است. در اینجا "T"Σ نشان دهندهٔ مجموعه‌ای از تمام درختان تشکیل شده از نمادهای Σ , درحالیکه ⇒"G"* نشان دهندهٔ عملیات پی در پی از ⇒"G" است. مثال‌ها. فرض کنید "G"1 = ("N"1,Σ1) , "Z"1 , "P"1 که در آن مثالی از اشتقاق گرامر "G"1 : "BList" ⇒ "cons"("Bool","BList") ⇒
گرامر "G"1 : "BList" ⇒ "cons"("Bool","BList") ⇒ "cons"("false","cons"("Bool","BList")) ⇒ "cons"("false","cons"("true","nil")) تصویر نشان می‌دهد که درخت اشتقاق مربوطه ، آن درخت از درختان (تصویر اصلی) است ، در حالیکه یک درخت اشتقاق در گرامر کلمه یک درخت از رشته (جدول بالا سمت چپ) است . زبان درخت تولید شده توسط "G"1 مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است ، که ("L"("G"1 برابر با "T"Σ1 شده‌است. گرامر "G"1 مرتبط است با اظهارات نوع داده جبری . datatype Bool = false | true datatype BList = nil | cons
Bool = false | true datatype BList = nil | cons of Bool * BList در زبان برنامه نویسی استاندارد ML : هر عضو از "(L"("G"1 مرتبط است با مقدار استاندارد ML از نوع دادهٔ BList . به عنوان مثال دیگر ، فرض کنید ("G"2 = ("N"1,Σ1, "BList1" , "P"1 ∪ "P"2 با استفاده از مجموعه‌ای از غیر پایانی‌ها و الفبای بالا ، گسترش تولیدات "P"2 , متشکل از تولیدات زیر است : زبان "(L"("G"2 مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است که حداقل یکبار شامل مقدار «درست» ( true ) می‌باشند . مجموعهٔ ("L"("G"2 هیچ همتای نوع داده‌ای
. مجموعهٔ ("L"("G"2 هیچ همتای نوع داده‌ای نه در استاندارد ML و نه در هیج زبان تابعی دیگر ندارد . این یک زیرمجموعه مناسب از ("L"("G"1 است . ترم مثال بالا نیز در ("L"("G"2 است ، همانطور که اشتقاقزیر نشان می‌دهد : "BList1" ⇒ "cons"("false","BList1") ⇒ "cons"("false","cons"("true","BList")) ⇒ "cons"("false","cons"("true","nil")). ویژگی‌های زبان. اگر "L"1 و "L"2 هر دو زبان درخت منظم باشند ، مجموعهٔ درخت "L"1 ∩ "L"2 و "L"1 ∪ "L"2 و "L"1 \ "L"2 نیز درخت زبان منظم هستند ؛ و می‌توان نتیجه گرفت که آیا "L"1 ⊆ "L"2 یا
؛ و می‌توان نتیجه گرفت که آیا "L"1 ⊆ "L"2 یا "L"1 = "L"2 هست یا نه . مشخصات جایگزین و ارتباط با دیگر زبان‌های رسمی. Rajeev Alur و Parthasarathy Madhusudan یک زیرکلاس از زبان درخت دودویی منظم را به کلمات تو در تو و زبان‌های پشته‌ای مشخصه ارتباط دادند . زبان‌های درخت منظم همچنین شامل زبان‌های به رسمیت شناخته شدهٔ درخت‌های پایین به بالا و درخت‌های غیرقطعی بالا به پایین هستند . گرامرهای درخت منظم کلیتی از گرامرهای کلمه منظم هستند .
آدیپونکتین () یک هورمون پپتیدی است که در انسان از بافت چربی ترشح می‌شود و بر متابولیسم چربی و گلوکز مؤثر است. آدیپونکتین با افزایش حساسیت کبد به انسولین، میزان خروجی گلوکز از کبد را کاهش می‌دهد، همچنین مصرف گلوکز در عضلات را افزایش داده و مانع افزایش قند خون می‌شود. آدیپونکتین در سایر جانوران نیز مشاهده می‌شود و در انسان از ۲۴۴ اسیدآمینه تشکیل شده است.تولید آدیپونکتین در چاقی و دیابت کاهش می یابد. اثرات متابولیک. آدیپونکتین موجب کاهش گلوکونئوژنز، افزایش برداشت گلوکز، فروگشت چربی، افزایش حساسیت به انسولین و
گلوکز، فروگشت چربی، افزایش حساسیت به انسولین و کاهش وزن می‌شود. جستارهای وابسته. رزیستین
فیلم ۴۳ () فیلمی آنتولوژی کمدی محصول آمریکا است که در سال ۲۰۱۳ منتشر شد. فیلم چهارده خط داستانی متفاوت را روایت می‌کند که هر بخش توسط کارگردان‌های مختلفی مانند الیزابت بنکس، استیون بریل، استیو کار، راستی کاندیف، جیمز دافی، گریفین دان، پاتریک فورزبرگ، جیمز گان، برت راتنر، باب ادنکیرک، ویل گراهام و جاناتان ون تولکن کارگردانی می‌شود. الیزابت بنکس، کریستن بل، هلی بری، جرارد باتلر، کیت وینسلت، هیو جکمن، نائومی واتس، اوما تورمن، اما استون، آنا فاریس، لسلی بیب، ست مک‌فارلن، کلویی گریس مورتس، کریس پرت، کیت باسورث و
کلویی گریس مورتس، کریس پرت، کیت باسورث و جاستین لانگ از جمله بازیگران فیلم هستند. جولیان مور، تونی شالهوب، شین جاکوبسون و آنتون یلچین نیز در سکانسی که با نسخه دی‌وی‌دی عرضه شده‌بود، حضور دارند. ساخت فیلم تقریباً یک دهه طول کشید، زیرا اکثر استودیوها فیلم‌نامه را رد می‌کردند تا اینکه توسط رلتیویتی مدیا به مبلغ ۶ میلیون دلار خریداری شد. فیلم در طول چندین سال فیلم‌برداری شد؛ زیرا انتخاب بازیگران برای تهیه‌کنندگان یک چالش بود. برخی از بازیگران، از جمله جورج کلونی، از شرکت در این فیلم خودداری کردند. فیلم ۴۳ که
از شرکت در این فیلم خودداری کردند. فیلم ۴۳ که در ۲۵ ژانویه ۲۰۱۳ منتشر شد، توسط برخی منتقدان از جمله ریچارد روپر به عنوان یکی از بدترین فیلم‌های تمام دوران لقب گرفت. این فیلم در سی و چهارمین دوره جوایز تمشک طلایی، برنده سه جایزه، از جمله جایزه بدترین فیلم شد. خلاصه داستان. چند نوجوان در اینترنت به دنبال فیلم ممنوعه‌ای با عنوان فیلم ۴۳ می‌گردند که در این بین فیلم‌های ممنوعه دیگری نیز پیدا می‌کنند که هرکدام فیلمی کوتاه است
آصف مندوی (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۹۵ میلادی تا کنون مشغول فعالیت بوده است. از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "آخرین بادافزار"، "خواستگاری"، "مرد عنکبوتی ۲"، "فیلم ۴۳"، "مارجین کال"، "محاصره"، "کارآموز"، "تحلیل این"، "متاسفم، متنفران" و "فریدم لند" اشاره کرد.
راغب مصطفی مصطفی غلوش (زادۀ ۵ ژوئیهٔ ۱۹۳۸ – درگذشتۀ ۴ فوریه ۲۰۱۶) قاری قرآن اهل مصر بود. وی یکی از اثرگذارترین قراء معاصر محسوب می شود. زندگی. مصطفی غلوش ۵ ژوئیهٔ ۱۹۳۸ در روستای برما در استان طنطا واقع در غرب کشور مصر متولد شد. او از سنین نوجوانی از حافظان قرآن بوده‌است. استادان و تأثیرگذاران. "عبدالغنی الشرقاوی"، "ابراهیم الطبهیلی" و "ابراهیم سلام" از استادان او بوده‌اند. غلوش تا مدت‌ها از مقلدان مصطفی اسماعیل بود و صوت آن‌ها شباهت زیادی به‌هم دارد. او از ۲۴ سالگی در رادیو و تلویزیون رسمی مصر به‌عنوان قاری
سالگی در رادیو و تلویزیون رسمی مصر به‌عنوان قاری حضور یافت و از همان زمان رفته‌رفته سبک خودش در قرائت را دنبال کرد. سفرها. راغب مصطفی غلوش حدود ۳۰ سال برای قرائت به کشورهای مختلف از جمله آمریکا، بریتانیا، ایران، فرانسه و کانادا سفر کرد ولی در سال‌های پایانی زندگی‌اش بیشتر در مصر به سر می‌برد. سفر به ایران. مصطفی غلوش ۴ بار در سال‌های ۱۳۶۸، ۱۳۷۴، ۱۳۷۹ و ۱۳۸۱ به ایران سفر کرد و تلاوت‌های مختلفی در این کشور اجرا کرد. درگذشت. غلوش صبح روز پنجشنبه ۴ فوریه ۲۰۱۶ (۱۴۳۷ قمری) و در سن ۷۷ سالگی در مصر درگذشت. پیکر او
قمری) و در سن ۷۷ سالگی در مصر درگذشت. پیکر او پس از نماز عصر روز ۴ فوریه ۲۰۱۶ در زادگاهش، روستای برما در مصر دفن شد.
«خانواده پواسونار» () یک تله‌فیلم درام و کمدی به کارگردانی «ادوارد مولینارو» است که در سال ۱۹۸۱ از شبکهٔ تی‌اف۱ فرانسه پخش شد. فیلم‌نامهٔ این فیلم ۲ قسمتی را «پیر پلگری» و «روژه هنن» بر پایهٔ رمانی به همین نام اثر «ژان دوتور» نگاشته‌اند. لازم است ذکر شود که عنوان اصلی این فیلم که در زبان فرانسوی «اُ بُن بُق» خوانده می‌شود اصطلاحی است به معنیِ «از آب کره گرفتن»؛ اما در فیلم، این عبارت در واقع «نام یک فروشگاه» است که «خانواده پواسونار» در آن به فروش لبنیات و خواربار مشغول‌اند و چون نام خاص است، نباید ترجمه
خواربار مشغول‌اند و چون نام خاص است، نباید ترجمه شود. این فیلم، نخستین بار در مردادماه ۱۳۶۷ از شبکه ۱ سیمای جمهوری اسلامی ایران و با نام «خانواده پواسونار» پخش گردید. خلاصه داستان. وقایع این فیلم در سال ۱۹۴۱ میلادی و در خلال جنگ جهانی دوم در فرانسه رخ می‌دهد. «لئون» یک دانشجوی آرمانگرای رشته تاریخ است که از کمپ زندانیان جنگ می‌گریزد و به خانه مادرش در پاریس پناه می‌برد و در آنجا پنهان می‌شود. کمی بعد، سربازان آلمانی، با نامه‌ای بی نام و امضاء، از محل اختفای او آگاه شده و به خانه مادرش حمله می‌کنند، اما
او آگاه شده و به خانه مادرش حمله می‌کنند، اما «لئون» موفق می‌شود بگریزد و به شهر لیون برود. او که می‌خواهد به کشورش خدمت کند، تصمیم می‌گیرد «پیر لاوال» را ترور کند، اما نقشه‌اش خوب پیش نمی‌رود و دوباره دستگیر شده و این بار، به ۱۰ سال زندان محکوم می‌شود. در همین هنگام در پاریس، آقا و خانم پواسونار که صاحب یک مغازهٔ فروش محصولات لبنی هستند، از فرصت بدست‌آمدهٔ ناشی از جنگ، بیشترین استفاده را کرده و روز به روز، پولدارتر می‌شوند. مادر «لئون» هم از مشتریان همین مغازه است. آنها خانواده‌ای فرصت‌طلب هستند که به
مغازه است. آنها خانواده‌ای فرصت‌طلب هستند که به روش‌های مختلف و نامعلوم، اجناس مورد نیاز مردم را از بازار سیاه تهیه کرده و با چندین برابر قیمت به مردم می‌فروشند. خانواده پواسونار، آشکارا از سیاست‌های «مارشال پتن» حمایت می‌کنند. کمی بعد «خانوادهٔ پواسونار» احساس می‌کنند شرایط سیاسی در حال تغییر است. در نتیجه رنگ عوض کرده و رفتار خود را تغییر می‌دهند. آنها جان یک یهودی را نجات داده و حتی یک گروه مقاومت درست می‌کنند و رهبری‌اش را خودشان بعهده می‌گیرند. در انتها و با پایان گرفتن جنگ، «خانواده پواسونار» بیش از
و با پایان گرفتن جنگ، «خانواده پواسونار» بیش از گذشته پولدار شده‌اند و احترام و شهرت خاصی در جامعه برای خود کسب کرده‌اند. از طرفی «لئون» که اینک در دبیرستانِ قدیمی و مشهورِ «ژان باتیسته سه» یک معلم تاریخ است، مورد مؤاخذه واقع شده و او را بر خلاف میلش به جای دیگری منتقل می‌کنند، چرا که در درس تاریخ، به پسر آقای پواسونار، نمره خوبی نداده است.
در علوم کامپیوتر، در نظریه زبان‌های فرمال، لم تزریق برای زبان مستقل از متن که از آن با عنوان لم بار-هیلل نیز نام برده می‌شود، روشی است که ویژگی‌های مشترک زبان‌های مستقل از متن را ارائه داده و لم تزریق زبان‌های منظم (رگولار) را تعمیم می‌دهد. جملات فرمال. اگر زبان L مستقل از متن باشد، آن‌گاه عدد صحیح P≥۱ موجود می‌باشد (که P طول تزریق می‌باشد) که هر رشته S در L که بلندتر یا مساوی نمادهای P است (برای مثال s|≥p|)، می‌تواند به صورت زیر نوشته شود: S=uvwxy که زیر رشته‌های u, v، w, x و y به این چنین هستند: که مورد ۳
u, v، w, x و y به این چنین هستند: که مورد ۳ برای همه n≥۰ در L قرار دارد. عبارت غیرفرمال و توضیحات. لم تزریق زبان‌های مستقل از متن که در ادامه مقاله تنها با عنوان لم تزریق نام برده می‌شود، بیانگر ویژگی مشترک از تمام زبان‌های مستقل از متن است که در واقع ویژگی تمام رشته‌هایی در زبان است که حداقل طول p را دارا هستند و p ثابتی است که طول تزریق نامیده می‌شود و بین انواع زبان‌های مستقل از متن متفاوت است. s را رشته‌ای با حداقل طول p در زبان بنامید. لم تزریق بیان می‌کند که s می‌تواند به ۵ زیر رشته تقسیم شود:
می‌کند که s می‌تواند به ۵ زیر رشته تقسیم شود: s=uvwxy، که در آن vx غیرتهی است و طول vwx حداکثر p می‌باشد؛ بطوری‌که تکرار v و x در s، هر بار رشته‌ای را تولید می‌کند که خودش در زبان وجود دارد (این امکان وجود دارد تا رشته صفر بار تکرار شود که برای حذف v و x از رشته مفید می‌باشد). این فرایند تزریق کپی‌های اضافه v و x، همان چیزی است که از نام لم تزریق برمی‌آید. زبان‌های متناهی (که منظم و در نتیجه مستقل از متن هستند)، با داشتن p، برابر با حداکثر طول رشته در L بعلاوه یک، بدیهی است که از لم تزریق پیروی کنند و چون
یک، بدیهی است که از لم تزریق پیروی کنند و چون رشته‌ای با این طول وجود ندارد، بنابراین لم تزریق نقض نمی‌شود. کاربرد لم. لم تزریق گاهی برای اثبات این‌که زبان L داده شده مستقل از متن نیست، به‌کار می‌رود. بدین‌صورت که نشان می‌دهد رشته‌های بلند s دلخواهی در L هستند که بدون تولید رشته‌هایی خارج از L نمی‌توانند تزریق شوند. برای مثال، زبان {L={aibici | i&gt; 0، با استفاده از لم تزریق در برهان خلف ثابت می‌شود که مستقل از متن نیست. ابتدا فرض کنید که L مستقل از متن است، با بکارگیری لم تزریق، می‌گوییم عدد صحیح p وجود
با بکارگیری لم تزریق، می‌گوییم عدد صحیح p وجود دارد که طول تزریق زبان L می‌باشد. رشته s=apbpcp را در L در نظر بگیرید. لم تزریق می‌گوید که می‌توانیم s را به صورت s=uvwxy بنویسیم که در آن u, v، w, x و y زیررشته هستند، چنانچه vwx|≤P| و vx| ≥ ۱| و uviwxiy برای هر عدد صحیح i ≥ ۰ در L قرار می‌گیرند. با انتخاب s و پیش‌فرض vwx| ≤ p|، به آسانی مشاهده می‌شود که زیر رشته vwx نمی‌تواند بیش از دو نماد (symbol) مجزا داشته باشد؛ بنابراین، یکی از این ۵ احتمال زیر برای vwx وجود دارد. در هر مورد کاملاً مشهود است که uviwxiy
وجود دارد. در هر مورد کاملاً مشهود است که uviwxiy برای هر i≠۱ از تعداد برابری از هر حرف برخوردار است؛ بنابراین، uv2wx2y فرم aibici را ندارد و این با تعریف L مغایر است. از این‌رو فرض اولیه مبنی بر این‌که L مستقل از متن است، باید غلط باشد. علی‌رغم این‌که لم تزریق اغلب برای این به کار می‌رود که اثبات کند زبان داده‌شده مستقل از متن نیست، هیچ‌گونه‌ای توصیفی از زبان‌های مستقل از متن ارائه نمی‌دهد و اگر زبانی شرایط لم تزریق را پوشش ندهد، می‌گوییم مستقل از متن نمی‌باشد. از طرف دیگر، زبان‌هایی هستند که مستقل از متن
از طرف دیگر، زبان‌هایی هستند که مستقل از متن نمی‌باشند، اما با این‌حال شرایط لم تزریق را در بر می‌گیرند؛ برای مثال، زبان {L = { bjckdl | j, k, l ∈ ℕ } ∪ { aibjcjdj | i, j ∈ ℕ, i≥۱ برای رشته s=bjckdl با مثلاً j≥۱، vwx را برای اینکه فقط شامل bها باشد، انتخاب می‌کند و برای رشته s=aibjcjdj، vwx را برای اینکه شامل فقط a باشد، انتخاب می‌کند. در هر دو مورد، هر دو رشته تزریق‌شده در L قرار دارند. اگرچه روش‌های اثبات قوی‌تری مانند لم اوگدن (Ogden)، در دسترس می‌باشند اما حتی آن‌ها هم توصیف دقیقی از زبان‌های مستقل از
اما حتی آن‌ها هم توصیف دقیقی از زبان‌های مستقل از متن ارائه نمی‌دهند.
خاطرات خون‌آشام یک سریال یک ساعته آمریکایی به سبک ماورایی و درام است که در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد. فصل پنجم در ۳ اکتبر ۲۰۱۳ به دنبال سریال اصیل‌ها، روی آنتن رفت. تولید. توسعه. این سریال در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد. اولین جلسه نویسندگان در ۱۵ آوریل ۲۰۱۳ برگزار شد. فیلمبرداری در ۱۰ ژوئیه ۲۰۱۳ آغاز شد و در ۱۰ آوریل ۲۰۱۴ به پایان رسید. بازیگران. طی سه قسمت ابتدایی، چهار شخصیت جدید معرفی شدند: نادیا، دختری انتقامجو که دور دنیا سفر می‌کند، جسی، پسری که به دانشگاه می‌رود. الگا فوندا و
جسی، پسری که به دانشگاه می‌رود. الگا فوندا و کندریک سمپسون به ترتیب بازیگران نقش نادیا و جسی بودند. در ۲ اوت ۲۰۱۳ اعلام شد که جانینا گاوانکار نقش تسا را بازی می‌کند.
نینجا تئوری یک شرکت مستقل توسعه‌دهنده بازی‌های ویدئویی واقع در کمبریج، انگلستان است. این شرکت ابتدا با نام جاست اد مانسترز در مارس ۲۰۰۰ تأسیس شد، اما شرکت در نوامبر ۲۰۰۴ توسط جرمی سان، مؤسس سابق شرکت آرگونات گیمز خریداری گردید. سرانجام "نینجا تئوری" در سال ۲۰۰۴ با همکاری سه شریک، شامل مدیران فعلی مجموعه نینا کریستنسن (مدیر توسعه)، تمیم آنتونیادز (مدیر تولید) و جز سان (مدیر غیر اجرایی) تشکیل شد. این شرکت در سال ۲۰۱۸ توسط ایکس‌باکس گیم استودیوز خریداری شد. تاریخچه. اولین بازی این تیم به عنوان "جاست اد
شد. تاریخچه. اولین بازی این تیم به عنوان "جاست اد مانسترز"، «کونگ‌فو کی‌آس» نام داشت که در سال ۲۰۰۳ توسط استودیو مایکروسافت به‌طور انحصاری برای کنسول ایکس‌باکس انتشار یافت. "شمشیر آسمانی"، اولین عنوان استودیو "نینجا تئوری" در سال ۲۰۰۷ توسط سونی کامپیوتر انترتینمنت به‌طور انحصاری و بازی زمان عرضه برای کنسول پلی‌استیشن ۳ منتشر شد. نقش ناریکو، شخصیت اصلی و مو قرمز این بازی توسط بازیگر استرالیایی آنا تورو بازی شده‌است. بازی ' توسط نامکو باندای گیمز در اکتبر ۲۰۱۰ برای هر دو کنسول ایکس‌باکس ۳۶۰ و پلی‌استیشن ۳