hotchpotch/miracl-hf-unified huggingface dataset:
منوچهر زمانی
منوچهر زمانی (متولد ۱۳۰۸) یک کارگردان، بازیگر و صدا پیشه اهل ایران است. وی فعالیت هنری را با دوبله از اواسط دهه ۳۰ آغاز کرد. او در دهه ۴۰ به ایتالیا رفت و کار تهیه و تولید فیلم را ادامه داد.
"منوچهر زمانی متولد 1308 و از اولین کسانی بوده که برای دوبله در فاصله سالهاي 36 تا 44 به ایتالیا میرود.  تقریباً جز اولین کسانی بوده که جای هنرپیشه های مهم صحبت کرده. مثل "شورش در کشتی بونتی" که بجای "مارلون براندو" حرف زده و "پل نیومن" در .  "مرد"" "از ویژگیهای این دوبلور اجرای کارهای کمیک بوده و اینکه در یه فیلم جای ده نفر صحبت میکرده ، خیلی مقید به استفاده از دوبلور ثابت برای یه نقش نبوده ، جوکها و لطیف های پس گردنی زیادی تو فیلمها میگفته چه فیلم کمدی بوده و چه جدی و بقول معروف خوراکش دوبله فیلمهای ایتالیایی بوده و بیشتر کارهای درجه ب دوبله میکرده و خیلی کارهای شاخص دوبله نکرده مگر در دوره ایتالیا اون هم چون دوبله اول است کمتر جای هنرپیشه های معروف حرف زده و کمتر با دوبلورهای تراز اول آن زمان کار مشترک دارد کلاً منتقدین و همکارانش  او را خیلی تو دوبله جدی نگرفتند شاید برای همین اطلاعات کمی درباره او موجود است و نام او را کمتر میشنویم ولی با اینحال دوبله های بسیاری خوبی در کارنامه اش موجود است مثل "ملاقات در شب"."  "همسرش "ناهید بوستانی" دوبلور بوده البته فقط در ایتالیا و کار شاخصش صحبت بجای "اوا مری سنت" در "شمال از شمال غربی" و "شرلی مک لین" در "چوپان" بوده است.  ظاهرا الان در ایتالیا فرش فروشی دارد و چندی پیش به ایران آمده بود." "تعدای از کارهای زمانی به شرح زير است:" "ویلیام هولدن رودخانه کوای (دوبله اول / در این فیلم جای  پنج ،شیش نفر حرف زده ) ، سابرینا ، هفتمین سپیده دم ، کلید"  "جیمز میسون: شمال از شمال غربی ( دوبله اول )" "گری کوپر: زنگها برای که به صدا در می آید؟" "گلن فورد: چوپان ، قطار سه و ده دقیقه به یوما" "برت رینولدز: نوادا جو" "ریچارد هریس: 44/99 صدم درصد مرگ" "آلن دلون: جف ، صبح روز حادثه" "جیمز استوارت: دو کابوی در شاین" "استیفن بوید : کارناوال و دزدان ، اسکار" "ژان پل بلموندو : شکست ، تلفن کننده شب ، طوفانگر ، حیوان" "پیتر سلرز : گلوله ای در تاریکی ، تازه چه خبر پوسی کت ، کجات درد میکنه ، به دنبال روباه" "راجر مور : سری فیلمهای جیمز باند ، قدرت طلا" "استیو مک کویین : بولیت ، نیرنگ بازان ، جونیور بانر ، این فرار مرگبار ، حادثه توماس کراون(دوبله اول)"
"پي نوشت : منوچهر اسماعیلی در خاطراتش میگه کسی که باعث شده او ایتالیا نرود (در آن زمان) زمانی بوده ولی اشتباه میکنه چون اون موقعه اصلاً اسماعیلی سربازی نرفته بوده!!"
لم اوگدن
در تئوری زبان‌های فرمال (زبان‌های صوری)، لم اوگدن (نامگذاری شده بعد از William F.Ogden) انعطاف‌پذیری بیشتری به لم پمپاژ برای زبان‌های مستقل از متن می‌دهد.
لم اوگدن اظهار می‌کند، اگر زبان L مستقل از متن باشد، آنگاه عدد p>0 وجود دارد بطوریکه برای هر رشته w به طول حداقل p در زبان L، برای هر انتخاب p تایی یا بیشتر از نمادهای w رشته wرا می‌توان به صورت w=uxyzv تجزیه کرد، بطوریکهزمانی که لم پمپاژ برای زبان‌های مستقل از متن کارآمد نیست، لم Ogden می‌تواند نشان دهد که یک زبان مستقل از متن نیست. برای مثال زبان {"a b c d": "i" = 0 or "j" = "k" = "l"}.
مشاهده می‌شود زمانیکه تمام نمادهای w انتخاب می‌شود لم پمپاژ با لم اوگدن برابر است. به بیان دیگر لم پمپاژ حالت خاصی از لم اوگدن است.
همچنین این لم می‌تواند ثابت کند که بعضی از زبان‌ها ذاتاً مبهم هستند.
کیس‌اکس‌سیس
کیس‌اکس‌سیس یک مجموعه مانگا سینن ژاپنی که توسط بو دیتاما نوشته و مصورسازی شده‌است. این سری برای اولین بار در نسخهٔ ژانویه ۲۰۰۴ مجلهٔ سینن کودانشا به نام بیساتسو یانگ (هفته‌نامه یانگ فعلی) به چاپ رسید،و سپس از ۱۱ دسامبر ۲۰۰۵ به صورت منظم در همان مجله انتشار یافت. دو مجموعه انیمه‌ای نیز به کارگردانی موننوری ناوا، توسط استودیوی فیل از روی نسخهٔ مانگای آن ساخته شد; یک مجموعه تلویزیونی انیمه ۱۲ قسمتی که از ۵ آوریل ۲۰۱۰ تا ۲۱ ژوئن ۲۰۱۰ از شبکه ای‌تی-ایکس پخش گردید و یک اووی‌ای ادامه‌دار که از دسامبر ۲۰۰۸ در حال پخش است.
داستان حول محور پسر سال سوم راهنمایی ژاپنی به نام کیتا است که همراه با پدر، نامادری و دو خواهر ناتنی دوقلویش به نام‌های آکو و ریکو زندگی می‌کند. کیتا خود را برای آزمون ورودی به دبیرستان آماده می‌کند و خواهرانش سعی در کمک به او را دارند. اما با جلوتر رفتن داستان، آن‌ها به کیتا وابسته می‌شوند و در نهایت احساسات خود را برای او بازگو می‌کنند...
گردن‌بند (فیلم ۱۹۴۶)
گردن‌بند () یک فیلم درام به کارگردانی «جان برام» است که در سال ۱۹۴۶ منتشر شد.
داستان فیلم که به صورت چندین صحنهٔ گذشته‌نمایی روایت می‌شود، در مورد دختر جوانی است که در کودکی و به اشتباه، به دزدیِ گردن‌بند هم‌بازی‌اش، متهم شده بود. او در بزرگسالی، دچار جنون دزدی شده و به‌طور دائم و از روی عادت دروغ می‌گوید. به نظر می‌رسد که این رفتار زشت او، نوعی انتقام از دنیای بی‌رحمی است که او را در کودکی و بدون هیچ گناهی به دزدی متهم کرده بود و اینک او از همهٔ مردم انتقام می‌گیرد.
شیوه‌نامه ونکوور
شیوه‌نامهٔ ونکوور شیوه‌نامه‌ای برای منبع‌دهی در نوشتنِ رساله‌ها که کاربردش بیشتر در علوم پزشکی است. این شیوه به صورت شمارشی است. طبق این شیوه، یادکرد منابع در درون متن با شماره مشخص می‌شود و در انتهای فهرست منابع به ترتیب الفبایی قرار می‌گیرد.
در سال ۱۹۷۸ گروه کوچکی از سردبیران نشریات علوم پزشکی در ونکوور بریتیش کلمبیا به‌طور غیررسمی گرد هم آمدند تا دستورالعملی نگارشی برای مقالات ارسالی به نشریاتشان تدوین کنند. این گروه، که در ابتدا گروه ونکوور نامیده می‌شد، بعدها ICMJE کمیتهٔ بین‌المللی ویراستاران نشریات زیست‌پزشکی را تشکیل دادند.
این کمیسیون سالی یک بار تشکیل جلسه می‌دهد. همچنین وظیفه بازنگری را برعهده دارد. در توصیه‌نامهٔ مذکور بخشی به نحوه تدوین استنادهای کتابشناختی در یک مقاله اختصاص یافته‌است.
ماشین تورینگ احتمالی
در نظریهٔ محاسبه پذیری، یک ماشین تورینگ احتمالی یک ماشین تورینگ غیر قطعی است که بین انتقال‌های موجود در هر نقطه بوسیلهٔ برخی از توزیع‌های احتمال به صورت تصادفی یکی را انتخاب می‌کند.
در مورد احتمال‌های برابر برای انتقال‌ها، می‌توان آن را به عنوان یک تورینگ ماشین قطعی در نظر گرفت که دارای یک حوزهٔ اضافی «نوشتن» است که در آن ارزش «نوشتن» به صورت یکنواخت روی الفبای ماشین تورینگ توزیع شده است. (به طور کلی، احتمال مساوی برای نوشتن '۱ 'یا' ۰ ' روی نوار). یکی دیگر از فرمول بندی‌های رایج یک ماشین تورینگ قطعی با یک نوار اضافی که شامل بیت‌های تصادفی است که نوار تصادفی نامیده می‌شود.
به عنوان یک نتیجه، یک ماشین تورینگ احتمالی (بر خلاف یک ماشین تورینگ قطعی) می‌تواند نتایج تصادفی داشته باشد؛ با یک ورودی معین و قرار گرفتن در یک وضعیت از ماشین، ممکن است زمان اجراهای مختلف بدست اورد یا ممکن است ماشین اصلاً متوقف نشود. به علاوه، ممکن است ورودی در یک اجرا پذیرش و همان ورودی در اجرای دیگر رد شود.
بنابراین مفهوم پذیرش یک رشته توسط یک ماشین تورینگ احتمالی را می‌توان به روش‌های مختلف تعریف کرد. کلاس‌های پیچیدگی زمانی متفاوتی که برای تعاریف مختلف پذیرش وجود دارند شامل RP, Co-RP, BPP و ZPP هستند. اگر ماشین به جای زمان چندجمله‌ای به فضای لگاریتمی محدود شود کلاس‌های مشابهRL,Co-RL, BPL, ZPL نیز بدی می ایند. با اجرای هر دو محدودیت RLP ،Co-RLP، BPLP، و ZPLP بدست می ایند.
همچنان محاسبه پذیری احتمالی برای تعریف اکثر کلاس‌های سیستم‌های اثبات تعاملی(interactive proof systems)، حیاتی است.
یکی از سوالات اصلی نظریه پیچیدگی این است که آیا تصادفی بودن قدرت را اضافه می‌کند؟ یعنی ایا مسئله‌ای وجود دارد که بتواند در زمان چندجمله‌ای توسط یک ماشین تورینگ احتمالی حل شود ولی توسط یک ماشین تورینگ قطعی نه؟ یا ماشین‌های تورینگ قطعی می‌توانند تمام ماشین‌های تورینگ احتمالی با حداکثر کاهش سرعت چندجمله‌ای را به صورت موثری شبیه‌سازی کنند؟ در حال حاضر محققان معتقدند که سؤال دوم هم ارز مفهوم P = BPP است. تصور درستی همان سؤال برای فضای لگاریتمی به جای زمان چندجمله‌ای (ایا L = BPLP است ؟) به طور گسترده‌تری مورد باور محققان است. از سوی دیگر، قدرتی که تصادفی بودن به سیستم اثبات تعاملی می‌دهد، مانند الگوریتم‌های ساده است برای مسایل سخت، که نشان می‌دهد تصادفی بودن ممکن است قدرت را اضافه کند.
ماشین تورینگ
NIST website on probabilistic Turing machines
بلک‌هت
بلک‌هت () فیلمی در ژانر اکشن و مهیج به کارگردانی مایکل مان است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کریس همسورث و ویولا دیویس اشاره کرد.
یک هکر باهوش به نام نیک هاتاوی از زندان آزاد می‌شود، تا یک خلافکار مجازی را یافته و تحویل قانون دهد. اما…
اتین بزو
اتین بزو (زاده ۳۱ مارس ۱۷۳۰ در نمورس - درگذشته ۲۷ سپتامبر ۱۷۸۳ در باسس لوگس) ریاضیدان فرانسوی بود. او بیشتر به دلیل قضیه ای در نظریه اعداد که به نام خود او قضیه بزو نامیده شده‌است نامدار است.
پدرش شهردار نمورس بود و برای او هم خواب شغلی دولتی دیده بود. اما درس‌های لئونارد اویلر بزو را شیفته ریاضیات ساخت و پس از چاپ چند مقاله در آکادمی علوم و نیز در اداره سانسور به کار مشغول شد. در سال ۱۷۶۳ به عنوان ممتحن در نیروی دریایی گماشته شد و در اینجا نخستین کتاب درسی اش به نام درسی در «ریاضیات برای نیروی دریایی» را در ۴ جلد نوشت و پس از آن یک کتاب شش جلدی دیگر به نام «درس کامل ریاضیات برای نیروی دریایی و توپخانه» نوشت چرا که در ۱۷۶۸ به همان سمت در توپخانه منصوب شده بود. هر دو کتاب بنا بر کاربردشان برای خوانندگان با دانش ریاضی پایین نوشته شده بودند. بزو افزون بر نوشتن مقاله‌های فراوان کتابی با نام «نظریه عمومی معادله‌های جبری» در پاریس به سال ۱۷۹۹ منتشر کرد که در زمان خودش کتاب بسیار نویی بود و برای نمونه مطالب نویی همچون دترمینان، برآیندها، نظریه حذف و تابع‌های متقارن از ریشه‌های معادلات را بحث می‌کرد. قضیه بزو نخستین بار در همین کتاب به چاپ رسید. بزو همچنین برای نخستین بار از دترمینان‌ها در مقاله‌اش «تاریخ آکادمی پادشاهی» در سال ۱۷۶۴ بهره برد. البته این کتاب حالت کلی دترمینان را پوشش نمی‌دهد.
رزیستین
رزیستین () یا (ADSF) یک هورمون پپتیدی غنی از سیستئین است که در انسان از بافت چربی ترشح می‌شود. نشان داده شده‌است که رسستین تولید LDL در سلول‌های کبدی انسان را افزایش می‌دهد و گیرنده‌های LDL در کبد را کاهش می‌بخشد. در نتیجه، کبد کمتر قادر است تا کلسترول را از جریان خون پاک کند. نتیجه نهایی ترشح رسیستین افزاش سطح خونی لیپوپروتئین کم چگال و افزایش خطر بیماری‌های عروقی در انسان است. رسیستین در جوندگان، نخستی‌سانان و سایر پستانداران نیز دیده می‌شود.
فیبرینوژن و رسیستین دو نشانگر التهابی پیشگویی خطر آترواسکلروز در انسان می‌باشند. بالا بودن میزان رسیستین در خون موجب ناتوانی داروهای استاتین در کاهش کلسترول خون بیماران می‌گردد. میزان رزیستین همراه با تجمع چربی احشایی افزایش می‌یابد لذا برای بیماران چاق طبیعی است که میزان بسیاربالایی رسیستین داشته باشند. سطوح سرمی بالای رزیستین با مقاومت به انسولین، میزان بالای کلسترول تام، کلسترول LDL، و تری‌گلیسرید در بیماران ارتباط دارد.
کلسترول
سادات سید باقر مداح
سادات سید باقر مداح به عنوان مادر پرستاری نوین ایران متولد ۱۳۱۱ در تهران دارای دکتری آموزش پرستاری از دانشگاه پرتوریا آفریقای جنوبی می‌باشد.مدیر مسئول و سردبیر فصلنامه پرستاری و مامایی ایران
مجری و محقق اصلی طرح پژوهشی
“تاثیر آموزش بر میزان عملکرد مراقبت از خود در مددجویان
عقب مانده ذهنی مقیم در مراکز نگهداری و توانبخشی رفیده” ۱۳۷۴–۱۳۷۶
مجری و محقق اصلی طرح پژوهشی بین کشوری
” بررسی وضعیت سلامت، مشکلات و توانمندی‌های سالمندان ایرانی و سوئدی” ۱۳۸۱–۱۳۸۵
تألیف کتاب مبانی نظری پرستاری توانبخشی ۱۳۸۵
مشارکت در تألیف کتاب سلامت در جمهوری اسلامی ایران
نظارت بر تألیف کتاب «اصول طراحی سیستم‌های خدمات بهداشتی اجتماعی مبتنی بر جامعه ویژه سالمندان» ۱۳۸۶
نظارت بر تألیف کتاب «راهنمای مراقبت‌های بهداشتی کودکان در منزل» ۱۳۷۶
مقاله «طراحی مدل ارائه مراقبت در بیماران سکته مغزی» ۲۰۰۸
ارائه مقاله در قالب پانل در دهمین کنگره پرستاری، مادرید اسپانیا ۱۹۹۳
قضیه لوروت
در ریاضیات، قضیه لوروث (Lüroth's Theorem) (یا «قضیه لوروت»)، بیان می‌دارد: هر میدانی که بین دو میدان "K" و "K(X)" قرار داشته باشد، لزوماً توسط توسیعی از "K" تولید شده که آن توسیع از الحاق یک عضو "K(X)" بدست آمده است. این نتیجه را به یاد یاکوب لوروت نامگذاری کرده‌اند که اولین بار آن را در ۱۸۷۶ میلادی اثبات نمود.
فرض کنید formula_1 یک میدان و formula_2 یک متغیر دلخواه و formula_3 میدانی در میان formula_1 و formula_5 باشد. به زبان دیگر : formula_6. آنگاه یک تابع گویای formula_7 وجود دارد که formula_3 را روی formula_1 تولید میکند یا به زبان دیگر : formula_10. این قضیه به دیگر سخن میگوید که هر توسیع میدانی formula_1 که زیر مجموعه formula_5 باشد یک توسیع ساده است.
برای اثبات این قضیه روش های بسیاری وجود دارد از جمله روش هندسی که به وسیله نظریه خم های گویا این قضیه را اثبات میکنند. ولی روش های جبری هم هستند که در بیشتر آنها از لم گاوس برای اثبات بهره میبرند.
باراکامون
باراکامون یک مجموعه مانگایِ ژاپنی که توسط ساتسوکی یوشینو نوشته و مصورسازی شده است. این سری برای اولین بار در مجله گانگان آنلاین اسکوئر انیکس از فوریه ۲۰۰۹ انتشار یافت. داستان مجموعه دربارهٔ یک خوشنویس ژاپنی به نام سیشو هاندا است که برای آرام‌کردن اعصاب و پیدا کردن راهی جدید برای ارتقاء سطح خوشنویسی خود به جزیره‌ای نقل مکان می‌کند.
یک نسخهٔ مشتق از این مانگا نیز با نام هاندا-کون از اکتبر ۲۰۱۳ در ماهنامه شونن گانگان شروع به انتشار شده است. داستان این نسخه شش سال قبل از نسخهٔ اصلی "باراکامون" اتفاق می‌افتد و زندگی هاندا سیشو به عنوان یک دانش‌آموز را در بر می‌گیرد. یک مجموعه تلویزیونی انیمه ۱۲ قسمتی نیز توسط استودیوی کینما سیتروس از روی نسخهٔ مانگا ساخته شده که پخش آن از ۶ ژوئیه ۲۰۱۴ در شبکه نیپون تلویژن شروع شده، و تا ۲۷ سپتامبر ۲۰۱۴ ادامه داشت.
بخش کارزان
بخش کارزان یکی از بخش‌های تابعه شهرستان سیروان در استان ایلام در غرب ایران است.
شهرها:
یاکوب لوروت
یاکوب لوروت (زاده ۱۸ فوریه ۱۸۴۴ در مانهایم - درگذشته ۱۴ سپتامبر ۱۹۱۰ در مونیخ) ریاضیدان اهل آلمان بود.
لوروت در آغاز به ستاره‌شناسی دلبسته بود و یکچند به کار در رصد خانه مانهایم پرداخت و سپس در سال ۱۸۶۲ در دانشگاه بن سرگرم تحصیل ستاره‌شناسی شد ولی به دلیل ضعف بینایی این رشته را ترک گفت. از سال ۱۸۶۳ به تحصیل ریاضیات در دانشگاه هایدلبرگ روی آورد و در سال ۱۸۶۵ تحت سرپرستی اتو هسه مدرک دکترای ریاضی را به دست آورد. سپس آموختن ریاضیات را در دانشگاه برلین نزد وایرشتراس و در دانشگاه گیسن نزد کلبش پی گرفت و در سال ۱۸۶۷ درجه شایستگی را در دانشگاه هایدلبرگ به دست آورد و در همانجا به کار مشغول شد. از ۱۸۶۸ در دانشگاه کارلسروهه بود و در ۱۸۶۹ در همانجا به درجه استادی تمام رسید و از سال ۱۸۸۰ جانشین فلیکس کلاین در دانشگاه مونیخ شد. لوروت در پی یک حمله قلبی ناگهانی در حالی که در تعطیلات به سر می برد در گذشت.
لوروت در زمینه‌های بسیاری در هندسه و هندسه جبری کار کرد. به عنوان شاگرد کلبش و هسه او کارهای آنان در زمینه نظریه ناورداها را گسترش داد. او خم های درجه ۴ لوروت را که به نام خود او نامگذاری شده‌اند در جریان همین کارهایش در ادامه کارهای کلبش کشف نمود. کلبش به دنبال شرایطی بود که در صورت برقرار بودن آن‌ها یک خم درجه ۴ به صورت مجموع پنج جمله با توان ۴ قابل نمایش است.
او همچنین به دلیل قضیه مشهوری که به نام خود او قضیه لوروت نامیده شده‌است نامبردار است. این قضیه به زبان هندسی میگوید که هر خم هم-گویا یک خم گویا است.
لوروت همچنین به توپولوژی پرداخت و در تلاش اثبات این بود که بعد یک ناوردای توپولوژیک است. این قضیه اما نخستین بار به وسیله براوئر به اثبات رسید.
کتاب در آمدی بر مکانیک وی بنا بر گفته ماکس نوتر نخستین کتاب درسی مکانیک است که از گونه نوشتاری برداری بهره میگیرد.
دیدارهای فوتبال ایالات متحده آمریکا و برزیل
تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و برزیل تاکنون ۱۷ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۱۷ بازی، ۱۶ پیروزی برای برزیل و ۱ پیروزی برای ایالات متحده آمریکا بوده است. گل زده برزیل ۳۵ و گل زده ایالات متحده آمریکا ۱۱ گل بوده است.
دیدارهای فوتبال ایالات متحده آمریکا و استرالیا
تیم ملی فوتبال مردان بزرگسالان ایالات متحده آمریکا و استرالیا تاکنون ۳ بار در مقابل یکدیگر قرار گرفته‌اند. حاصل این ۳ بازی، ۱ پیروزی برای ایالات متحده آمریکا و ۱ پیروزی برای استرالیا و ۱ تساوی بوده است. گل زده ایالات متحده آمریکا ۳ و گل زده استرالیا ۲ گل بوده است.
مهر نبوت
مهر نبوت به مهری گفته می‌شود که محمد پیامبر اسلام برای امضای نامه‌هایش از آن استفاده می‌کرد. این مهر به شکل دایره است و در ۳ خط عبارت «محمد رسول‌الله» روی آن به صورت پایین به بالا نوشته شده‌است (در هر سطر یکی از سه واژه محمد، رسول و الله). دلیل برعکس نوشته‌شدن متن مهر این بود که محمد نمی‌خواست نام خود را بالاتر از نام خداوند قرار دهد. در مورد منشأ و سرنوشت این مهر در منابع اولی‌های نظیر تاریخ طبری، ماجراهایی ذکر شده‌است. اکنون یک مهر مستطیل‌شکل با عبارت محمد رسول‌الله که "ختم‌الرسول" نام دارد در موزه توپقاپی استانبول نگهداری می‌شود.
در قسمت پایین پرچم داعش و چند گروه تروریستی دیگر یک دایره سفید حاوی سه کلمه است که به روایتی شبیه مهر و موم محمد پیامبر اسلام است، مشابه آنچه که محمد، باری برای مهر کردن پاکت نامه(؟) استفاده می کرده است.
وو شی (بازیکن فوتبال)
وو شی (؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.
وی همچنین در تیم ملی فوتبال چین بازی کرده‌است.
لیو جیانی
لیو جیانی ( ؛ زادهٔ ) یک بازیکن فوتبال اهل جمهوری خلق چین است.
وی همچنین در تیم ملی فوتبال چین بازی کرده‌است.
اشرف نعمان
اشرف نعمان (؛ زادهٔ ) یک بازیکن فوتبال اهل فلسطین است.
وی همچنین در تیم ملی فوتبال فلسطین بازی کرده است.
عبدالعزیز المشعان
عبدالعزیز المشعان (؛ زادهٔ ) یک بازیکن فوتبال اهل کویت است.
وی همچنین در تیم ملی فوتبال کویت بازی کرده‌است.
سخنران عروسی
سخنران عروسی () فیلمی در ژانر کمدی است که در سال ۲۰۱۵ منتشر شد. از بازیگران آن می‌توان به کوین هارت، جش گد، کیلی کوئوکو و اولیویا ترلبی اشاره کرد.
کاپیتان نمو
کاپیتان نمو ، شخصیتی خیالی است که اولین بار در کتاب‌های ژول ورن، نویسندهٔ فرانسوی ادبیات علمی–تخیلی از او نام برده شد. او با عنوان شاهزاده داکار (Prince Dakkar) نیز شناخته می‌شود.
نمو (Nemo) در زبان لاتین به معنی "هیچ کس" است. کاپیتان نمو در دو رمان از ژول ورن با نام‌های بیست هزار فرسنگ زیر دریا (۱۸۷۰) و جزیره اسرارآمیز (۱۸۷۴)، فرماندهی یک زیردریایی با نام ناتیلوس را برعهده دارد و در نمایشنامه‌ای از ژول ورن با نام سفری به ناممکن (۱۸۸۲) نیز حضور دارد.
در کتاب بیست هزار فرسنگ زیر دریا، از گذشتهٔ او صحبتی نمی‌شود و تنها می‌خوانیم که خانوادهٔ خود را از دست داده و اکنون تمایلات شدید ضدامپریالیستی دارد. (به ویژه ضد انگلستان)
در کتاب جزیره اسرارآمیز، او خود را شاهزاده داکار، فرزند راجای هندوی باندل‌کوند و نوهٔ تیپو سلطان (از قهرمانان مبارزات آزادی‌خواهانهٔ مردم هند) معرفی می‌کند. او می‌گوید که در نبرد سپاهیان علیه انگلیس شرکت داشته و با از دست دادن خانواده‌اش به انزوا روی می‌آورد و با اندک یاران باقی‌ماندهٔ خود به پژوهش‌های علمی و ساخت ناتیلوس می‌پردازد. پس از ساخت ناتیلوس، نام خود را به کاپیتان نمو تغییر می‌دهد و در دریاها ناپدید می‌شود. با گذشت زمان، افراد او یکی پس از دیگری درمی‌گذرند و او تنها می‌ماند: او پس از اینکه بالن افراد گم‌گشته به جزیره می‌افتد به آنها کمک می‌کند تا اینکه سرانجام در آخرین ساعات عمر خود، آنها را فرا می‌خواند و خود را معرفی می:ند و از آنها می‌خواهد که پس از مرگش ناتیلوس را غرق کنند تا آرامگاه او در بستر اقیانوس باشد. پناه‌آورندگان به جزیره، به آخرین وصیت او عمل می‌کنند و جسد او به همراه ناتیلوس به قعر اقیانوس می‌رود.
در کتاب "بیست هزار فرسنگ زیر دریا" ابتدا قرار بود که کاپیتان نمو یکی از نجیب‌زادگان لهستانی باشد که خانواده‌اش در جریان قیام ژانویه بدست نیروهای روسیهٔ تزاری کشته شده‌اند. اما ویراستار ژول ورن، پیر-ژول هرتزل، او را از این کار بازداشت چون از ممنوع شدن کتاب در بازار روسیه و نیز مخالفت دولت روسیه در هراس بود و از این رو اصلیت کاپیتان نمو در این کتاب نامشخص ماند.
کتاب بیست هزار فرسنگ زیر دریا در سال‌های ۱۸۶۹ و ۱۸۷۰ میلادی نوشته شد و در آن، سفرهای کاپیتان نمو با ناتیلوس در سال‌های ۱۸۶۶ تا ۱۸۶۸ گزارش شده‌است. کتاب جزیره اسرارآمیز در ۱۸۷۴ نوشته شده اما داستان آن به پس از جنگ داخلی آمریکا یعنی در سال‌های ۱۸۶۵ تا ۱۸۶۸ می‌پردازد. در کتاب جزیرهٔ اسرارآمیز می‌فهمیم که کاپیتان نمو، شش سال گذشته را در جزیره به سر برده و در همان‌جا نیز شاهد مرگ او هستیم اما این با تاریخ سفرهای او در کتاب "بیست هزار فرسنگ زیر دریا" ناسازگار است.
لارین دی
لارین دی (; – ) یک هنرپیشه، مجری تلویزیون، و پدیدآور اهل ایالات متحده آمریکا بود.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به متکبرها، خبرنگار خارجی، گردن‌بند، و یکی زیبا بود، صدای سوم اشاره کرد.
خم درجه چهارم لوروت
در ریاضیات، خم درجه چهارم لوروت یک خم صفحه‌ای ناتکین از درجۀ چهار است که رأس‌های یک ستاره کامل را در بر می‌گیرد. این خم‌ها به افتخار ریاضی‌دان آلمانی، یاکوب لوروت، که نخستین بار آن‌ها را کشف کرد و به نامِ او خوانده می‌شود. در سال ۱۹۱۹، فرانک مورلی ثابت کرد که خم‌های لوروت یک زیرمجموعۀ باز از یک ابررویه درجۀ ۵۴ تشکیل می‌دهند که آن را «ابررویه لوروت» نام نهاد که در فضای پیمانه‌ای خم‌های درجۀ چهار یعنی، formula_1 جای می‌گیرد. بنینگ و بوتمر در سال ۲۰۱۱ نشان دادند که فضای پیمانه‌ای خم‌های لوروت گویا است.
قهرمان فیلم اکشن
قهرمان فیلم اکشن اصطلاحاً به بازیگری گفته می‌شود که معمولاً در فیلم‌های اکشن نقش قهرمان اصلی را بازی می‌کند. این بازیگران باید خصوصیات فیزیکی مناسبی داشته باشند و به همین دلیل باید در زندگی خود عاداتی مانند تمرین‌های تخصصی، خوابیدن برنامه‌دار، ورزش مداوم و رژیم غذایی خاصی را رعایت کنند. بسیاری از این بازیگران پیش از ورود به سینما، ورزشکار حرفه‌ای بوده‌اند. از این بازیگران می‌توان آرنولد شوارزنگر (بدن‌ساز) و جکی چان (رزمی‌کار)،اسکات ادکینز(رزمی)،ژان کلود ون دام(کیک بوکسور) را نام برد. جمشید هاشم‌پور در سینمای ایران نمونه‌ای از چنین بازیگرانی است.
نمایشگاه خودرو ژنو
نمایشگاه میان‌کشوری خودرو ژنو () یک نمایشگاه خودرو است که به ماه مارس هر سال در شهر ژنو کشور سوئیس برگزار می‌گردد. محل برگزاری آن یک مرکز همایش در نزدیکی فرودگاه بین‌المللی ژنو است که توسط سازمان بین‌المللی تولیدکنندگان وسایل نقلیه موتوری سازمان‌دهی می‌شود و یکی از بزرگ‌ترین نمایشگاه‌های خودرو در سطح دنیا به حساب می‌آید.
این نمایشگاه خودرو که نخستین بار در سال ۱۹۰۵ برگزار شد، میزبان به‌تقریب تمامی انواع خودروهای با موتور درون‌سوز در طول تاریخ خودرو بوده‌است؛ یعنی از زمانی که خودروهای با سوخت بنزین و ماشین‌های بخار ساخته شدند. به طول معمول ابرخودروها بیش‌ترین توجه را در این نمایشگاه به خود جلب می‌کنند. دایره فعالیت این نمایشگاه تنها به خودرو محدود نبوده و مسائل مرتبط با آن همچون خودروهای نمونه، تجهیزات تازه، پیشرفت‌های تکنیکی، قراردادهای میان‌کشوری و مسائل سیاسی و اجتماعی نیز در این نمایشگاه خودرو مطرح شده‌است. باید در نظر داشت با وجود آنکه کشور سوئیس هیچ صنعت خودروی بومی ندارد، اما این نمایشگاه محل بسیار خوبی برای رقابت خودروسازان به حساب می‌آید.
بخش‌های گوناگون نمایشگاه خودرو ژنو از قرار زیر است:
همایشگاه میان‌کشوری حمل‌ونقل پیشرفته بخشی از نمایشگاه خودرو ژنو است که در آن در رابطه با خودروهای آینده سخن گفته می‌شود.
هشتاد و نهمین نمایشگاه خودرو ژنو از ۷ تا ۱۷ مارس ۲۰۱۹ برگزار شد.
هشتاد و هشتمین نمایشگاه خودرو ژنو از ۸ تا ۱۸ مارس ۲۰۱۸ برگزار شد.
هشتاد و هفتمین نمایشگاه خودرو ژنو از ۹ تا ۱۹ مارس ۲۰۱۷ برگزار شد.
هشتاد و ششمین نمایشگاه خودرو ژنو از ۳ تا ۱۳ مارس ۲۰۱۶ برگزار شد.
هشتاد و پنجمین نمایشگاه خودرو ژنو از ۵ تا ۱۵ مارس ۲۰۱۵ برگزار شد.هشتاد و چهارمین نمایشگاه خودرو ژنو از ۶ام تا ۱۶ام مارس ۲۰۱۴ ادامه داشت.
هشتاد و سومین نمایشگاه خودرو ژنو از ۵ام تا ۱۷ام مارس ۲۰۱۳ ادامه داشت.
هشتاد و دومین نمایشگاه خودرو ژنو از ۸ام تا ۱۸ام سال ۲۰۱۲ ادامه داشت.این نمایشگاه از سوم تا سیزدهم مارس ۲۰۱۱ ادامه داشت.
هشتادمین نمایشگاه خودرو ژنو از ۴ام تا ۱۴ام مارس سال ۲۰۱۰ ادامه داشت. بیش از ۸۰ خودرو نو در این نمایشگاه رونمایی شدند. همایش خبری این نمایشگاه در دوم مارس ۲۰۱۰ آغاز شد و بیش‌تر رونمایی‌های مهم این نمایشگاه هم در همین زمان صورت گرفت.
نمایشگاه خودرو ژنو سال ۲۰۰۹ از ۵ام تا ۱۵ام مارس همین سال ادامه داشت. این نمایشگاه از ۴ام تا ۱۶ام مارس ۲۰۰۸ ادامه داشت.
خودروهایی که قرار بود در این نمایشگاه رونمایی شوند، از این قرارند: به علاوه کمپانی سوبارو از مدل نو خودرو خود به نام boxer که دارای diesel engine بود رونمایی کرد و نیز کمپانی هوندا از نوترین نسل diesel engine خود رونمایی کرد.مهم‌ترین رونمایی‌های سال ۲۰۰۶ نمایشگاه خودرو ژنو از این قرارند: مهم‌ترین رونمایی‌های سال ۲۰۰۵ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۴ نمایشگاه خودرو زنو از این قرار است:
مهم‌ترین رونمایی‌های سال ۲۰۰۳ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۲ نمایشگاه خودرو زنو از این قرار است:
مهم‌ترین رونمایی‌های سال ۲۰۰۱ نمایشگاه خودرو زنو از این قرار است:مهم‌ترین رونمایی‌های سال ۲۰۰۰ نمایشگاه خودرو زنو از این قرار است:
مهم‌ترین رونمایی‌های سال ۱۹۹۹ نمایشگاه خودرو زنو از این قرار است: مهم‌ترین رونمایی‌های سال ۱۹۹۸ نمایشگاه خودرو ژنو از این قرار است:خودروهای زیر در سال ۱۹۹۵ در نمایشگاه خودرو ژنو رونمایی شدند:این خودروها در دهه ۱۹۸۰ در نمایشگاه خودرو ژنو رونمایی شدند:
اریک کریسمس
اریک کریسمس (; – ) هنرپیشه اهل بریتانیا بود. از فیلم‌هایی که وی در آن نقش داشته‌است می‌توان به جانی تفنگش را برداشت، باگزی، هرولد و موده، حمله قاتل گوجه‌ای، "جاذبه آندرومدا"، "همه من" و شکار موش اشاره کرد.
جک رایلی
جک رایلی (؛ زادهٔ ) یک هنرپیشه، و صدا پیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۶۲ میلادی تاکنون مشغول فعالیت بوده‌است.
امیل گراسوالد
امیل گراسوالد (؛ – ) یک دانشمند در زمینه آنالیز ریاضی اهل ایالات متحده آمریکا بود.
دیوید برسوود
دیوید برسوود (؛ زادهٔ ) یک دانشمند در زمینه آنالیز ریاضی اهل ایالات متحده آمریکا است.
ترویان بلیزاریو
ترویان بلیزاریو (؛ زادهٔ ) یک هنرپیشه اهل ایالات متحده آمریکا است.ترویان در سال ۲۰۱۰ موفق به کسب جایزه بهترین بازیگر زن شد. و در سال ۲۰۰۹ برای نقش اسپنسر هیستینگز در سریال دروغگویان کوچک زیبا انتخاب شد. وی از سال ۱۹۸۸ میلادی تاکنون مشغول فعالیت بوده‌است. ترویان بلیزاریو (Troian Bellisario) بازیگر، نویسنده و تهیه‌کنندهٔ آمریکایی در سال ۱۹۸۵ در کالیفرنیا به دنیا آمد. ترویان فرزند دو تهیه‌کننده ( Donald P. Bellisario و Deborah Pratt ) است. او بازیگری را در سن سه سالگی در یکی از فیلم‌های پدرش آغاز کردو پس از آن بازیگری را در کارهای تلویزیونی پدرش ادامه داد.
محاصره (فیلم ۱۹۹۸)
محاصره () فیلمی در ژانر اکشن، مهیج، و تریلر سیاسی به کارگردانی ادوارد زوئیک است که در سال ۱۹۹۸ منتشر شد.
پس از حملات تروریستی به نیویورک، رئیس جمهور حکومت نظامی اعلام می‌کند و «ویلیام دورو» (ویلس)، ژنرال فاشیست، وارد عمل می‌شود و تانک‌های خود را را به بروکلین می‌فرستد…
هلرتاون، پنسیلوانیا
هلرتاون، پنسیلوانیا (به انگلیسی: Hellertown, Pennsylvania) یک سکونتگاه مسکونی در ایالات متحده آمریکا است که در شهرستان نورث‌همپتون، پنسیلوانیا واقع شده‌است.
هلرتاون ۵٬۶۰۶ نفر جمعیت دارد.
تعمیم دستور زبان مستقل‌ازمتن
تعمیم دستور زبان مستقل از متن (GCFC) گرامری است که با اضافه کردن توابع ترکیب که به صورت بالقوه غیر مستقل هستند، گرامر مستقل از متن را تعمیم می‌دهد. گرامر هد (و معادل‌های ضعیف آن) نمونه‌های از این نوع GCFC هستند که به صورت خاص برای پرداختن به انواع مختلفی از خصوصیات غیر CF زبان طبیعی به کار می‌رود.
GCFC شامل دو مؤلفه است: مجموعه‌ای از توابع ترکیب که تاپل‌های رشته‌ای را باهم ترکیب می‌کنند و مجموعه‌ای از قوانین بازنویسی. توابع ترکیب همگی به فرم formula_1 هستند که در آن formula_2 تاپل رشته‌ای تکی یا استفاده خاصی از تابع ترکیب (به صورت بالقوه متفاوتی) است که به تاپل رشته کاهش می‌یابد. قوانین بازنویسی به صورت formula_3 هستند که در آن Y، Z و ... تاپل‌های رشته‌ای یا نمادهای غیر پایانی هستند. سمانتیک بازنویسی GCFCها نسبتاً ساده است. وقوع نماد غیرپایانی با استفاده از قوانین بازنویسی مثل گرامر مستقل از متن بازنویسی می‌شود و در نهایت تنها ترکیبات را می‌دهد (توابع ترکیب اعمال شده به تاپل‌های رشته یا ترکیبات دیگر). سپس توابع ترکیب اعمال شده، بعد از آن کاهش می‌یابند و تاپل‌ها هم به یک تاپل کاهش می‌یابند.
ترجمه ساده گرامر مستقل از متن به GCFC را می‌توان به صورت زیر انجام داد. با داشتن گرامر در (۱) که زبان دو طرفه formula_4 را ایجاد می‌کند که در آن formula_5 رشته معکوس formula_6 است، می‌توان تابع ترکیب conc را به صورت (۲- الف) تعریف و قوانین را به صورت (۲-ب) بازنویسی کرد.
حاصلضرب CF از abbbba به صورت زیر است:
S
aSa
abSba
abbSbba
abbbba
و حاصلضرب GCFC متناظر به صورت زیر است:
formula_10
formula_11
formula_12
formula_13
formula_14
formula_15
formula_16
formula_17
wier دو خصوصیت توابع ترکیب را بیان کرد: خطی بودن و منظم بودن. تابعی که به صورت formula_18 تعریف شده خطی است اگر و تنها اگر هر متغیر حداکثر یکبار در هر سمت = ظاهر شود و formula_19 را خطی می‌کند اما formula_20 را خطی نمی‌کند. تابع تعریف شده به صورت formula_18 منظم است اگر سمت چپ و سمت راست دقیقاً متغیرهای یکسانی داشته باشند این کار formula_22 را منظم می‌کند اما formula_19 یا formula_24 را منظم نمی‌کند. گرامری که در آن همه توابع ترکیب هم خطی و هم منظم هستند سیستم بازنویسی مستقل از متن خطی (LCFRS) نامیده می‌شود. LCFRS زیرکلاس مناسبی از GCFGهاست یعنی در کل دقیقاً توان محاسباتی کمتری نسبت به GCFGها دارد. از سوی دیگر، LCFRSها اکیداً رساتر از گرامرهای اندیس شده خطی و معادل ضعیف آنها گرامرهای اتصال درختی (TAGها) هستند. گرامر هد مثال دیگری از LCFRS است که در کل اکیداً قدرت کمتری نسبت به کلاس LCFRSها دارد.
LCFRS به صورت ضعیف معادل با TAGهای چند ترکیبی (MCTAGها) و همچنین با گرامر مستقل از متن چندگانه (MCFGها (۱)) و گرامرهای مینیمالیست
(MGها) است. زبان‌های ایجاد شده با LCFRS (و معادل‌های ضعیف آنها) را می‌توان به چند جمله‌ای زمانی تجزیه کرد.
جان داوسون
جان داوسون () (زاده ۱۷۳۴ – درگذشته ۱۹ سپتامبر ۱۸۲۰) یک جراح و ریاضی‌دان اهل بریتانیا بود. تحقیقات او بر روی محاسبه فاصله زمین تا خورشید بود.
ایگور کریمتس
ایگور کریمتس (؛ زادهٔ ) یک بازیکن فوتبال اهل ازبکستان است.
وی همچنین در تیم ملی فوتبال ازبکستان بازی کرده‌است.
رابرت وودهووس
رابرت وودهووس (؛ – ) یک ریاضی‌دان اهل انگلستان در زمینه آنالیز ریاضی بود.
جاشوا کینگ (ریاضی‌دان)
جاشوا کینگ (؛ – ) ریاضی‌دان اهل بریتانیا بود.
جان روبین بیتز
جان روبین بیتز (؛ زادهٔ ) یک هنرپیشه، و فیلم‌نامه‌نویس اهل ایالات متحده آمریکا است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به یک روز خوب اشاره کرد.
وی هم‌چنین برنده جوایزی هم‌چون کمک هزینه گوگنهایم شده است.
موزه بویمانس فان بنینگن
موزهٔ بویمانس فان بِنینگن موزه‌ای در شهر رتردام هلند است که به‌ویژه برای آثار هنری هلندی و فلامانش مطرح می‌باشد.
موزه در سال ۱۸۴۷ با مجموعه‌ای از آثار متعلق به فرانس یاکوب اوتو بویمانس با نام «موزهٔ بویمانس» آغاز بکار کرد. در سال ۱۹۵۸ مجموعه‌ای از آثار متعلق به دانیل ژرژ فان بنینگن به گنجینهٔ موزه افزوده شد و نام موزه به موزهٔ بویمانس فان بنینگن تغییر یافت.
گنجینهٔ موزهٔ بویمانس فان بنینگن شامل نقاشی‌ها و چاپ‌های دستی از هنرمندان هلندی و فلامان از اواخر سده‌های میانی تا سدهٔ ۲۰ میلادی است. وجود مجموعه‌ای از طراحی‌ها و نقاشی‌های باروک پیتر پل روبنس در این موزه قابل توجه می‌باشد. موزه همچنین دارای نقاشی‌های رنسانس ایتالیایی و دریافتگری فرانسوی است.
فرانک مورلی
فرانک مورلی (؛ – ) یک ریاضی‌دان اهل بریتانیا فعال در زمینه هندسه بود.
ساختمان ماشین‌ها
ساختمات ماشین‌ها یک تکنیک ریاضی مهم در نظریهٔ آتوماتا یا نظریه ماشین‌ها می‌باشد که برای نشان دادن وجود یک ماشین خودکار با یک ویژگی مطلوب تعیین شده، استفاده می‌شود. در بیشتر مواقع، آن به صورت یک الگوریتم ارائه می‌شود که یک ویژگی مطلوب را به عنوان ورودی می‌گیرد و یک ماشین خودکار با آن ویژگی را به عنوان خروجی تولید می‌کند. بسیاری از مسائل سخت در نظریه ماشین‌ها عبارت است از پیدا کردن ساختمان درست یک ماشین خودکار است به طوری که این مسئله در آن قابل حل باشد. برای مثال، ساختمان مشهور در نظریه McNaughton این سؤال را جواب داد که آیا ماشین بوخی غیر قطعی همیشه قابل تبدیل به یک ماشین مولر قطعی است.
ساختمان مجموعهٔ توانی یک الگوریتم برای ساخت یک ماشین متناهی قطعی از یک ماشین متناهی غیر قطعی داده شده‌است.
یک ساختمان ماشین‌ها را بهینه می‌نامند اگر یک ورودی برای ساختمان وجود داشته باشد به گونه‌ای که هیچ ماشینی که ویژگی مطلوب را برآورده می‌سازد و پیچیدگی کمتری از خروجی ساختمان دارد، وجود نداشته باشد.
رویداد بزرگ اکسیژنی
رویداد بزرگ اکسیژنی یا انقلاب اکسیژنی پدیدهٔ پیدایش گاز اکسیژن در جو زمین در اثر عوامل زیستی است. پژوهش‌های زمین‌شناسی، شیمیایی و ایزوتوپی، تاریخ این دگرگونی بزرگ را نزدیک به دو میلیارد و سیصد میلیون (۲٬۳۰۰میلیون) سال پیش نشان می‌دهند.
در آن زمان از پیدایش سیانوباکترها حدود ۲۰۰ میلیون سال می‌گذشت و آن‌ها از راه فروغ آمایی یا فتوسنتز سرگرم آزاد سازی اکسیژن بودند ولی تا پیش از آغاز این رویداد بزرگ همهُ اکسیژن آزاد شده از راه مواد آلی و آهن محلول در محیط و شاید هم توسط هیدروژن موجود در هواکره دوباره جذب می‌شد.
اشباع این ظرفیت‌ها رفته رفته باعث ورود روزافزون و آغاز انباشته شدن اکسیژن در جو زمین و شروع این رویداد بزرگ شد.
اکسیژن می‌تواند برای اندامگان بی‌هوازی و بی‌هوازی اجباری مسموم‌کننده یا حتی کشنده باشد. این رویداد باعث محو بی‌هوازی‌ها شد و بنابراین از یک نگاه می‌توان گفت که سیانوباکترها مسوول یکی از بزرگترین انقراضها در تاریخ زمین بوده‌اند. از سوی دیگر، اکسیژن آزاد در هوا در برخورد با گاز متان که یک گاز گلخانه‌ای است باعث یخبندان هورونی شد که شاید بزرگترین یخبندان در تاریخ زمین باشد.
در نهایت این فسفرگیری اکسایشی و اندامگان هوازی بودند که با فرگشت خود و مصرف اکسیژن حالت تعادلی را که تا امروز ادامه دارد به وجود آوردند. این پدیده افزون بر سایر پدیده‌های زیستی حیرت دوچندان دانشمندان در مورد پیدایش این سیاره خاکی را به همراه داشته‌است.
پالئوسول‌ها، دانه‌های دیتریتی و لایه‌های بستر سرخ، همه گواه وجود اکسیژن در سطحی پایین هستند. پالئوسول‌های قدیمی‌تر از ۲٫۴ بیلیون سال دارای غلظت آهن کمتری هستند که نشان‌دهندهٔ کمبود اکسیژن است.دانه‌های دتریتوس مسن‌تر از ۲٫۴ بیلیون نیز دارای ماده‌ای هستند که تنها در شرایط اکسیژن کم وجود دارند.http://www.nasa.gov/home/hqnews/2007/sep/HQ_07215_Timeline_of_Oxygen_on_Earth.html https://en.wikipedia.org/wiki/Geological_history_of_oxygen http://www.newscientist.com/article/mg20527461.100-first-breath-earths-billionyear-struggle-for-oxygen.html
http://www.nytimes.com/2013/10/03/science/earths-oxygen-a-mystery-easy-to-take-for-granted.html?_r=1
ماشین بوخی توسعه یافته
ماشین بوخی توسعه یافته یک نوع دیگر از ماشین بوخی در نظریه آتوماتا می‌باشد. تفاوت آن با ماشین بوخی شرایط پذیرش آن می‌باشد که در اینجا یک مجموعه از مجموعه‌های حالت است. یک چرخهٔ اجرا توسط این ماشین پذیرفته می‌شود اگر آن حداقل یک حالت از هر مجموعه از شرط پذیرش را که اغلب نامحدود است، ببیند. ماشین بوخی توسعه یافته در قدرت بیان با ماشین بوخی هم ارز است. در وارسی صوری، روش چک کردن مدل نیاز دارد تا یک ماشین را از یک فرمول LTL (منطق زمانی خطی) به گونه‌ای بدست اورد که ویژگی‌های برنامه را مشخص کند. الگوریتم‌هایی وجود دارند که یک فرمول LTL را به یک ماشین بوخی توسعه یافته برای این منظور، تبدیل می‌کنند. به ویژه نماد GBA (ماشین بوخی توسعه یافته) برای این تبدیل مطرح شد.
به طور رسمی یک ماشین بوخی توسعه یافته یک چند تاییformula_1 است که شامل اجزاء زیر است:
A دقیقاً آن چرخه‌های اجرا را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هرformula_7باشد. برای توضیح جامع تر ماشینωرا ببینید.
ماشین بوخی توسعه یافته برچسب دار(LGBA)یک گونهٔ دیگر است که در آن ورودی به عنوان برچسب‌هایی با حالات به جای برچسب‌های با انتقال‌ها، همراه است. ماشین بوخی توسعه یافته برچسب دارتوسط گرس و همکارانش معرفی شد. به طور رسمی، یک ماشین بوخی توسعه یافته برچسب دار یک چند تاییformula_8 است که شامل اجزاء زیر است:
فرض کنیدformula_15 یک ω-حرف روی الفبایΣباشد. حالformula_16 یک چرخهٔ اجرا از A روی حرفw است اگر formula_17 و برای هرformula_18داشته باشیمformula_19 و formula_20.
A دقیقاً آن چرخه‌های اجرایی را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هر formula_21باشد.
برای بدست آوردن مدل غیر برچسب دار آن، برچسب‌ها از گره‌ها به انتقالات واردشده حذف می‌شوند.
ماشین بوخی توسعه یافته
تیموتی باتومز
تیموتی باتومز (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۷۰ میلادی تاکنون مشغول فعالیت بوده است.
از فیلم‌هایی که وی در آن نقش داشته است می‌توان به "جانی تفنگش را برداشت"، "دختر همسایه"، "شاهزاده و سرپرست" و "فیل" اشاره کرد.
لستاکا
لستاکا ، (با تلفظ ɫəsˈtakə در زبان کاتالان)، نام ترانه‌ای اعتراضی است که لوئیس لاک، خواننده و آهنگساز کاتالان در سال ۱۹۶۸ ساخت و شعر آن به زبان کاتالان را نیز خود سروده‌است. این ترانه را یکی از اثرگذارترین ترانه‌های او می‌دانند.
این ترانه در دوران دیکتاتوری ژنرال فرانکو سروده شد و به سرعت در میان آزادی‌خواهان اسپانیا محبوب شد. بعدها جنبش‌های آزادی‌خواهانه در دیگر کشورهای اروپایی از این ترانه و آهنگ آن استفاده کردند. از جملهٔ این اقتباس‌ها می‌توان به آهنگ موری از یاتسک کاچمارسکی اشاره کرد که در دههٔ ۱۹۸۰ میلادی به آهنگ اصلی جنبش اتحادیه همبستگی سولیدارنوشچ در لهستان تبدیل شده بود.
لوئیس لاک در این ترانه از ترکیبی کاتالانی برای موسیقی استفاده کرده و از "بسته بودن" به عنوان استعاره‌ای برای نداشتن آزادی بهره برده‌است.
متن ترانه به صورت گفتگویی است که در یک سپیده‌دم میان شاعر و پدربزرگش (با نام SiSet) روی می‌دهد. شاعر به پدربزرگش می‌گوید آیا نمی‌بینی که ما بسته‌ایم و تا وقتی خود را رها نکنیم نمی‌توانیم حرکت کنیم؟ پدربزرگ، رهایی را در همکاری همه و بالا بردن سطح آگاهی همگانی می‌داند. او نمادی از نسل پیشین است که باید همکاری و همراهی برای دستیابی به آزادی را به نسل جدید آموزش دهند.
قوانین بی‌فایده
قوانین بی فایده ،در علم کامپیوتر نظری، به ویژه در نظریه زبان رسمی، از دستور زبان رسمی آن دسته از قواعد تولید نماد هستند که غیرقابل دسترسی یا غیر مولد هستند به طوری که می‌توان هرگز به کار گرفته نشوند.
با توجه به گرامر مستقل از متن ، نماد غیرپایانی x تولید کننده یا مولد نامیده می‌شود به طوریکه برای بعضی از رشته‌های w از نمادهای پایانی وجود داشته باشد اشتقاق "X" ⇒ "w" . نماد پایانی X قابل دسترسی نامیده می‌شود اگر برای بعضی از رشته‌های α و β از نمادهای پایانی وجود داشته باشد اشتقاق "S" ⇒ α"X"β که در آن S نشان دهنده نماد شروع گرامر است . قانونی با نماد غیرقابل دسترس یا غیرمولد در سمت چپ آن ، می‌تواند از گرامر بدون تغییر دادن زبان پذیرفته شده ( با نام مستعار تولید ) حذف گردد . به همین ترتیب ، یک جایگزین حاوی چنین نمادی را می‌توان از سمت راست یک قانون ، بدون تغییر زبان حذف کرد .
چنین قوانین و جایگزین‌هایی را بی‌فایده می‌نامیم.
برای گرامرهای رسمی که مستقل از متن نیستند، تعریف مشابه اعمال می‌شود .
با تخصیص نمادهای غیر پایانی و پایانی ، به ترتیب به حروف بزرگ و کوچک، در گرامر منظم زیر با نماد شروع S داریم:
S → Bb | Cc | Ee
B → Bb | b
C → Cc | c
D → Bd | Cd | d
E → Ee
نماد غیرپایانی D (که برای سهولت با رنگ قرمز نشان داده شده) غیرقابل دسترس است و E (سبز) غیرمولد است. از این رو، حذف دو قانون آخر، زبان پذیرفته شده توسط گرامر را تغییر نمی‌دهد، همانطور که حذف جایگزین "| Ee" از سمت راست قانون S نیز گرامر را تغییر نمی‌دهد. Hopcroft و همکارانش الگوریتمی برای از بین بردن قوانین بی‌فایده از یک گرامر مستقل از متن ارائه دادند .
آیکن و مورفی الگوریتم fixpoint ی برای تشخیص اینکه کدام نمادهای غیرپایانی از یک گرامر درخت منظم داده شده غیرمولد هستند ارائه دادند .
باونتی
باونتی، نام تجاری شیرینی ساخته شده توسط شرکت مارس می‌باشد، که شامل پودر نارگیل ترکیب شده با شیر عسلی می‌باشد و از لایه‌ای مرکب از شکلات و شیر پوشیده شده‌است.
در هر بسته از این محصول دو قطعه شکلات قرار گرفته. بسته‌بندی آبی رنگ حاوی شکلات شیری و بسته‌بندی قرمز رنگ با شکلات تلخ شکلات پوشانی شده‌است.
آنجلا وایت
آنجلا وایت (زاده ۴ مارس ۱۹۸۵) بازیگر و کارگردان پورنوگرافی اهل استرالیا است. وایت کارش را در پورنوگرافی در سال ۲۰۰۳ و درست پس از تولد ۱۸ سالگی‌اش شروع کرد. در این زمان او هنوز دبیرستانی بود. او در سال ۲۰۱۰ مدرک دانشگاهی خود را گرفت و وارد عرصه سیاست شد.
وایت هم‌اکنون عضو تالار مشاهیر ای‌وی‌ان و تالار مشاهیر XRCO است او همچنین در سال ۲۰۲۰ به عنوان بهترین مجری زن سال از نظر ای‌وی‌ان شناخته شد. وایت حرفه خود را در سال ۲۰۰۳ شروع کرد. اولین حضور او در این حرفه درست پس از تولد ۱۸ سالگی اش بود.
وایت اولین فیلم دختر/پسر خود را در سال ۲۰۱۱ بازی کرد. او در نوامبر ۲۰۱۳ وبگاه شخصی خود را راه اندازی کرد. یک ماه پس از آن وایت و جسا رودز مشترکاً به عنوان بهترین بازیگران زن ایکس‌بیز در سال ۲۰۱۴ انتخاب شدند.
در اکتبر ۲۰۱۴ کمپانی فلشلایت او را به عنوان دختر سال خود انتخاب کرد. او اولین استرالیایی است که به عنوان دختر فلشلایت انتخاب می‌شود.
وایت در سپتامبر ۲۰۱۶ در مصاحبه با ایکس‌بیز گفت که برای بازیگری در فیلم‌های کمپانی‌هایی همچون برازرز و نادی آمریکا به ایالات متحده نقل مکان کرده‌است.
در سال ۲۰۱۰ وایت به عنوان نامزد حزب جنسی استرالیا در انتخابات ایالتی ویکتوریا شرکت کرد. شعار او در این انتخابات رسیدگی به وضع شاغلان صنعت سکس بود.
گرامر پیشوندی
در علم کامپیوتر نظری و تئوری زبان رسمی، گرامر پیشوندی نوعی از سیستم بازنویسی رشته است که شامل مجموعه‌ای از قوانین بازنویسی رشته می‌باشد که شبیه به دستور زبان رسمی یا یک سیستم Semi-Thue است.
چیزی که در مورد گرامر پیشوندی خاص است این است که به شکل قوانین آنها نیست ولی به طریقی که قوانین اعمال می‌شوند می‌باشد: تنها پیشوندها بازنویسی می‌شوند.
گرامرهای پیشوندی همهٔ زبان‌های منظم را شامل می‌شوند.
دستور زبان پیشوندی G یک سه تایی به شکل (Σ, "S", "P") است که در آن
برای رشته‌های X و Y می‌نویسم "x → y" ( بخوانید "G" نتیجه می‌گیرد "y" را از "x" در یک مرحله ) اگر رشته‌های "u, v, w" وجود داشته باشند به طوری که "x = vu , y = wu" و "v → w" در "P" .
توجه کنید که "→" یک رابطهٔ دوتایی روی رشته‌هایی از Σ ست.
زبان "G" که به صورت ("L(G" نشان داده می‌شود ، مجموعه‌ای از رشته‌های استخراج شده از "S" در صفر یا چند مرحله است : به طور رسمی مجموعه‌ای از رشته‌های "w" به طوریکه برای بعضی از "s"‌ ها در "S" و "s R w" که "R" بسته شدن انتقالی از "→" است.
دستور زبان پیشوندی زیر
زبان تعریف شده توسط عبارت منظم روبه رو را توصیف می‌کند :
آژانس بین‌المللی انرژی
آژانس بین‌المللی انرژی (IEA; ; ) یک سازمان مستقل بین‌دولتی است که در چارچوب سازمان همکاری اقتصادی و توسعه (OECD) در سال ۱۹۷۴ در پی بحران نفتی سال ۱۹۷۳ بنیان‌گذاری شده و دبیرخانهٔ آن در پاریس قرار دارد. این سازمان ابتدا در پاسخ به اختلالات فیزیکی عرضهٔ نفت، و همچنین به عنوان منبع اطلاعات آمار مربوط به بازار بین‌المللی نفت و دیگر شکل‌های انرژی بنیان نهاده شد.
آژانس بین‌المللی انرژی به کشورهای عضو آن مشاورهٔ سیاسی می‌دهد، همچنین با کشورهای غیرعضو به‌ویژه چین، هند و روسیه کار می‌کند. ماموریت آژانس به «سه E»ی سیاستِ مؤثرِ انرژی بسط یافته است: امنیت انرژی، توسعه اقتصادی، و حفاظت از محیط زیست. مورد آخر بر کاهش تغییرات آب و هوایی تمرکز دارد. این آژانس نقش موثری در ترویج انرژی‌های نو (از جمله انرژی‌های تجدید پذیر)، سیاست‌های انرژی عقلانی، و همکاری‌های چند ملیتی فناوری انرژی دارد.
کشورهای عضو آژانس بین‌المللی انرژی ملزم هستند سطح مجموع انبار نفت را برابر با واردات خالص حداقل ۹۰ روز از سال پیش حفظ کنند. در پایان ماه ژوئیه سال ۲۰۰۹، ذخیرهٔ مشترک کشورهای عضو آژانس تقریباً نفت بود.
تنها کشورهای عضو سازمان همکاری اقتصادی و توسعه (OECD) می‌توانند به عضویت آژانس بین‌المللی انرژی درآیند. همهٔ اعضای OECD به جز شیلی، ایسلند، اسرائیل، مکزیک، و اسلوونی، عضو IEA نیز هستند:
گرامر خطی
در علوم رایانه، یک گرامر خطی، گرامر مستقل از متنی است که حداکثر یک نماد غیرپایانی در سمت راست تولیدات خود دارد. زبان خطی یک زبان تولید شده توسط چند گرامر خطی است.regular هم نام دیگر گرامر خطی است
یک گرامر خطی ساده G که "{N" = {S}, Σ = {a, b و "P" با نماد شروع "S" و قواعد:
که زبان formula_1 را تولید می‌کند.
دو نوع خاص از گرامر خطی به شرح زیر است:
گرامر منظم چپ یا چپ خطی، که در آن، همه غیرپایانی‌ها در سمت راست در پایان طرف چپ هستند. گرامر منظم راست یا راست خطی، که در آن، همه غیرپایانی‌ها در سمت راست در پایان طرف راست هستند. در مجموع، این دو نوع خاص از گرامر خطی به عنوان گرامر منظم شناخته می‌شوند؛ هر دو می‌توانند دقیقاً زبان منظم را توصیف کنند.
نوع خاص دیگری از گرامر خطی به شرح زیر است:
گرامر خطی که در آن همه نمادهای غیرپایانی در طرف راست در پایان‌های راست یا چپ هستن، ولی نه لزوماً در یک انتهای یکسان.
با قرار دادن غیرپایانی‌های جدید، هر گرامر خطی را می‌توان بدون تحت تأثیر قرار دادن زبان تولید شده، به این فرم درآورد. به عنوان مثال قوانین G فوق را می‌توان جایگزین کرد با:
از این رو، گرامر خطی با این فرم خاص می‌تواند تمامی زبان‌های خطی را تولید کند.
دیدیم که همهٔ زبان‌های منظم خطی هستند؛ مثال بالا یک زبان غیر منظم خطی بود. طبق تعریف تمامی زبان‌های خطی مستقل از متن هستند؛ مثال ساده‌ای از زبان غیرخطی مستقل از متن زبان Dyck از جفت براکت‌های متعادل شده است. از این رو، زبان‌های منظم زیرمجموعهٔ مناسبی از زبان‌های خطی هستند که به نوبهٔ خود زیرمجموعهٔ مناسبی از زبان‌های مستقل از متن می‌باشند.
در حالی که زبان‌های خطی که زبان‌های منظم هستند قطعی می‌باشند، زبان‌های خطی ای وجود دارد که غیر قطعی هستند.
برای مثال، زبان پالیندروم با طول زوج، روی الفبای ۰ و ۱ گرامر خطی ای به صورت S → 0S0 | 1S1 | ε دارد. رشته دلخواه از این زبان نمی‌تواند بدون خواندن تمامی حروفش برای اولین بار تجزیه شود؛ به این معنی که یک اتومات پشته‌ای باید انتقال حالت‌های جایگزین را برای تطبیق دادن رشته‌های تجزیه طول‌های ممکن مختلف امتحان کند. این زبان غیرقطعی است. از آنجا که زبان مستقل از متن غیرقطعی نمی‌تواند در زمان خطی پذیرفته شود، در حالت کلی زبان خطی نمی‌تواند در زمان خطی پذیرفته شود.
علاوه براین، نمی‌توان راجع به اینکه زبان مستقل از متن داده شده زبان مستقل از متن خطی نیز هست یا نه نظر داد.
اگر "L" یک زبان خطی و "M" یک زبان منظم باشد، در نتیجه اشتراک formula_2 نیز یک زبان خطی است. به عبارت دیگر، زبان‌های منظم تحت عمل اشتراک با مجموعه‌های منظم بسته هستند. علاوه بر این، زبان‌های خطی تحت همریختی و همریختی معکوس نیز بسته هستند.
این سه ویژگی بسته شدن نشان می‌دهد که زبان‌های خطی تشکیل یک گروه سه تایی کامل را می‌دهند. گروه‌های سه تایی کامل به طور کلی خانواده‌های زبانی هستند که از چند ویژگی ریاضی مطلوب استفاده می‌کنند.
نوفل‌لوشاتو (خیابان)
نوفل‌لوشاتو خیابانی در تهران هم‌نام روستای نوفل‌لوشاتو در پاریس است. سفارت بریتانیا، سفارت روسیه، سفارت فرانسه، سفارت ایتالیا و سفارت واتیکان در کنار این خیابان جای دارند. تا پیش از انقلاب ۱۳۵۷، نام بخشی از این خیابان (خیابان شمالی سفارت بریتانیا)، خیابان چرچیل بود و بخش دیگر (خیابان کناری سفارت فرانسه در تهران) خیابان فرانسه نام داشت.
نوفل‌لوشاتو روستایی در نزدیکی پاریس، فرانسه است. شهرت این روستا به دلیل اقامت سید روح‌الله خمینی از اواسط مهر تا ۱۱ بهمن ۱۳۵۷ در آنجاست که باعث جلب توجه رسانه‌های جهان به این روستا شد.
در پی تیراندازی در دفتر شارلی ابدو و رویدادهای پس از آن، عده‌ای در ۲۹ دی ۱۳۹۳ در این خیابان تجمع کردند و تابلوی خیابان را پایین کشیدند.
سفارت فرانسه در تهران
سفارت فرانسه در تهران سفارت رسمی دولت فرانسه در کشور ایران است و روابط دو جانبه ایران و فرانسه را پیگیری می‌کند. این سفارت در خیابان نوفل‌لوشاتو تهران قرار دارد. سفیر قبلي فرانسه در ایران به ترتيب  برونو فوشه و فرانسوا سنمو بوده است. فیلیپ تیه بو به عنوان سفیر فرانسه در ایران انتخاب شده . سفارت فرانسه در تهران دارای چهار بخش سیاسی، بخش کنسولی، بخش همکاری‌ها و اقدامات فرهنگی، و بخش اقتصادی است.
آدلا هنوز شام نخورده
آدلا هنوز شام نخورده () یک فیلم کمدی سیاه به کارگردانی «اولدریخ لیپسکی» است که در سال ۱۹۷۷ تولید و در سال ۱۹۷۸ منتشر شد.
این فیلم، در دههٔ شصت خورشیدی، از شبکه ۲ سیمای جمهوری اسلامی ایران پخش شد.
داستان فیلم «آدلا هنوز شام نخورده» در مورد گُلی گوشت‌خوار به اسم «آدلا» است که عادت به خوردن گوشت و بلعیدن موجودات زنده دارد. در این میان، یک دانشمند گیاه‌شناس که این گیاه عجیب و غریب را در اختیار دارد و از آن مراقب می کند، قصد انتقام از استاد سابق خود را نیز دارد و هر بار با طرح نقشه‌های متعدد، قصد دارد تا به اهداف خود برسد. در این میان «کارآگاه نیک کارتر» و دستیارش به دعوت رئیس پلیس پراگ، از آمریکا به پراگ سفر می‌کند تا در مورد مفقود شدن غیرعادی و مرموز یک سگ، تحقیقاتی بعمل آورد و ...
کاتولیسیزم‌ستیزی
کاتولیسیزم ستیزی () خصومت یا مخالفت با کاتولیسیزم، مخصوصاً علیه کلیسای کاتولیک، کشیش‌ها و روحانیت آن، و پیروان آن است. خاتمه دادن به مناسک مذهبی و مصادرهٔ زمین‌های کلیساها از جمله مصادیق این مسئله است. این لفظ همچنین به آزار دینی کاتولیک‌ها یا به «جهت گیری مذهبی مخالف با کاتولیسیزم» نیز اطلاق می‌شود. در دوره مدرن اولیه، کلیسای کاتولیک تقلا می‌کرد تا نقش سنتی مذهبی و سیاسی خود را در مواجهه با قدرت‌های فزایندهٔ سکولار در اروپا حفظ کند. در نتیجهٔ این تقلاها، رویکرد خصمانه‌ای در خصوص قدرت سیاسی، اجتماعی، روحانی و مذهبی قابل ملاحظهٔ پاپ و روحانیت در آن زمان به صورت «ضدروحانی‌گری» بروز کرد. بحران مهم اقتدار روحانی کلیسا از سوی اصلاحات پروتستانی نیز به این اضافه شد، و بر منازعهٔ فرقه‌ای و موج جدیدی از کاتولیسیسم ستیزی افزود.
بسیاری از اصلاحگران پروتستان از جمله جان الیزابت وایکلیف، مارتین لوتر، ژان کالون، توماس کرنمر، جان ناکس, راجر ویلیامز، کاتم مدر، و جان وزلی، و همچنین اغلب پروتستانها قرون ۱۶-۱۹، پاپ را با دجال یکی می‌دانستند. در دور پنجم گفتگوی لوتری-کاتولیک آمده:
کاربردی سازی علوم پزشکی
کاربردی سازی علوم پزشکی شاخه‌ای از پژوهشهای سلامتی و زیست‌پزشکی است که هدف از آن، بهبود بخشیدن به تندرستی شهروندان جامعه از راه کاربردی ساختن یافته‌های پژوهشی در بخش دارو و درمان می‌باشد.
انجمن کاربردی سازی علوم پزشکی اروپا (EUSTM)، کاربردی سازی علوم پزشکی را یکی از شاخه‌های میان‌رشته‌ای زیست‌پزشکی می‌شمارد که با سه بازوی آزمایشگاه–محور، بالینی–محور و جامعه–محور پشتیبانی می‌شود. این انجمن، هدف از کاربردی سازی علوم پزشکی را به هم پیوستن رشته‌ها، منابع، گرایش‌ها، و تکنیک‌ها از هر سه بازوی یاد شده می‌داند تا به پیشرفت در بخش‌های پیشگیری، تشخیص، و درمان بیماری‌ها شتاب داده شود.
از زیرشاخه‌های کاربردی سازی علوم پزشکی می‌توان «کاربردی سازی علوم اعصاب»، «کاربردی سازی روانپزشکی»، «کاربردی سازی علوم پزشکی قلب» و «کاربردی سازی علوم زیست شناسی دستگاه ها» را یاد کرد.
کیک لایه‌ای (فیلم)
کیک لایه‌ای () فیلمی در ژانر جنایی و سرقت به کارگردانی متیو وان است که در سال ۲۰۰۴ منتشر شد.
قدم زدن میان قبرها
قدم‌زدن میان قبرها () فیلمی به کارگردانی اسکات فرانک است که در سال ۲۰۱۴ منتشر شد. از بازیگران آن می‌توان به لیام نیسون، دان استیونز، بوید هالبروک، روث ویلسون و سباستین روچه اشاره کرد.
داستان فیلم درباره مَت اِسکودر پلیس سابق اداره پلیس نیویورک است که اکنون بدون مجوز به عنوان کارآگاه خصوصی فعالیت می‌کند. یک قاچاقچی هروئین از او می‌خواهد کسانی را که همسرش را ربوده و به قتل رسانده‌اند، پیدا کند. مَت با بی‌میلی می‌پذیرد، اما خیلی زود درمی‌یابد این آدم‌ها برای اولین بار نیست که مرتکب چنین جنایت وحشیانه‌ای شده‌اند و قطعاً بار آخرشان هم نیست...
تیم آ
«تیم آ» () فیلمی در ژانر اکشن و مهیج به کارگردانی جو کارنهان است که در سال ۲۰۱۰ منتشر شد.
پنج دقیقه از بهشت
پنج دقیقه از بهشت () فیلمی به کارگردانی الیور هیرشبیگل است که در سال ۲۰۰۹ منتشر شد. از بازیگران آن می‌توان به لیام نیسون و جیمز نسبیت اشاره کرد.
مایکل کولینز (فیلم)
مایکل کولینز () فیلمی در ژانر زندگی‌نامه‌ای به کارگردانی نیل جردن است که در سال ۱۹۹۶ منتشر شد.
دوئت برای یکی
دوئت برای یکی () فیلمی به کارگردانی آندری کونچالوفسکی است که در سال ۱۹۸۶ منتشر شد. از بازیگران آن می‌توان به جولی اندروز، آلن بیتس، ماکس فون سیدو، روپرت اورت و لیام نیسون اشاره کرد.
شخص سوم
شخص سوم () فیلمی در ژانر درام و رمانتیک به کارگردانی پل هگیس است که در سال ۲۰۱۳ منتشر شد.این فیلم سه داستان مرتبط به هم را در پاریس، نیویورک و روم به تصویر می‌کشد.
دستپاچه (فیلم)
دستپاچه () فیلمی در ژانر کمدی، جنایی و رمانتیک به کارگردانی اریک بلیکنی است که در سال ۲۰۰۰ منتشر شد.
مشاور امنیت ملی (آمریکا)
دستیار رئیس‌جمهور در امور امنیت ملی، که معمولاً به آن مشاور امنیت ملی می‌گویند، مقامی ارشد در دفتر اجرایی رئیس‌جمهور است که به عنوان مشاور اصلی رئیس‌جمهور ایالات متحده آمریکا در زمینهٔ مسایل امنیت ملی فعالیت می‌کند. این فرد در جلسات شورای ملی امنیت ایالات متحده آمریکا هم شرکت می‌کند و ریاست کمیته سران این شورا را که وزیر دفاع و وزیر امور خارجه معمولاً در آن شرکت می‌کنند بر عهده دارد. دفتر مشاور امنیت ملی در بال غربی کاخ سفید واقع شده‌است.
گاستون شرو
گاستون شرو (زاده ۱۸۷۲ در نیور - درگذشته ۱۹۳۷ در بوستون)، یک نویسنده و روزنامه‌نگار اهل فرانسه بود
گاسترو شرو عضو فرهنگستان گنکور بود
سن‌میکله یک خروس داشت
سن‌میکله یک خروس داشت () یک فیلم درام به کارگردانی برادران تاویانی است که در سال ۱۹۷۱ ساخته و در سال ۱۹۷۲ منتشر شد.
این فیلم بر پایهٔ رمان "الهی و انسانی" از لئو تولستوی ساخته شده است و آن را حکایتی جذاب از اختلاف و تضاد وجودی و سیاسی مابین سوسیالیسم تخیلی و سوسیالیسم علمی و نیز مابین دوگونه برداشت و تفسیر از انقلاب - یکی آنارشیستی و دیگری مارکسیستی - توصیف نموده‌اند.
این فیلم در سال ۱۹۷۲ در بخش «دوهفتهٔ کارگردانان» در ۲۵مین دوره جشنواره فیلم کن برگزیده شد.
تلخون حمزوی
تلخون حمزوی (زادهٔ ۱۹۷۹ تهران) یک کارگردان ایرانی - سوئیسی است. وی برای فیلم پروانه، به همراه اشتفان ایشنبرگر نامزده دریافت جایزه اسکار بهترین فیلم کوتاه از هشتادو هفتمین دوره این مراسم شده‌است.
حمزوی در سال ۱۹۷۹ در تهران متولد شد و در هفت سالگی به سوئیس مهاجرت کرد. وی دارای مدرک فوق لیسانس فیلم‌سازی از "دانشگاه هنر زوریخ" است. او فعالیت حرفه‌ای خود در زمینه فیلمسازی را از سال ۲۰۰۴ و با فیلم "وقتی پرده می افتد ()" آغاز کرد. او با فیلم کوتاه "پروانه" و در کنار "اشتفان ایشنبرگر" در چند جشنواره خارجی شرکت کرد و با این فیلم، علاوه بر نامزدی "جایزه اسکار بهترین فیلم کوتاه"، موفق به کسب جایزه اسکار دانشجویی بهترین فیلم کوتاه خارجی در سال ۲۰۱۳ در شهر لس‌آنجلس شد.