cyanic-selkie/wikianc huggingface dataset:
اسکرام اسپرینت
روند اجرا
یک ایده برای ساخت سیستمی که، پروژه اسکرام را ایجاد می‌کند، این است که باوجود اینکه در ابتدا ، ممکن است چشم انداز مبهم باشد، اما با تکامل پروژه، اعضای تیم تصویری روشن‌تر از سیستم را مجسم می‌شوند. وظیفه صاحب محصول ایجاد چارچوب استراتژی، با انباره محصول و ارائه تصویری روشن به سرمایه گذاران پروژه است. انباره محصول اولویت بندی شده سپس ایجاد می‌شود و کارایی قابلیت اصلی بالاترین اولویت را دارد. با این حال ویژگی‌های اضافی می‌توانند برای محصول تکمیلی باشند. هدف اصلی این است که این لیست اولویت بندی شده را به محصول "انجام شده" تبدیل کنیم.
هر اسپرینت با یک جلسه برنامه‌ریزی برای اسپرینت آشروع می‌شود و 30 روز یا کمتر طول می‌کشد. در این جلسه، موارد اولویت بندی شده از انباره محصول (Backlog Product) با تیم توسعه ، مسئول اسکرام (Scrum Master) و صاحب محصول مورد بحث قرار می‌گیرد. سپس تیم توسعه در مورد قابلیت انجام کارها نظر می‌دهد. پس از تصمیم گیری، کارها مورد بحث قرار می‌گیرد و به اعضای تیم توسعه محول می‌شود. که مرحله دوم جلسه را به دنبال دارد که فقط تیم توسعه را شامل می‌شود که اعضای تیم در مورد برنامه انجام کار بحث می‌کنند.
اسکرام روزانه جایی برگزار می‌شود که تیم در مورد وضعیت فعلی کار و هرگونه موانعی که با آنها روبرو شده است، بحث می‌کند. در صورت مشاهده هرگونه انحراف از محصول مورد نظر، تغییرات به سرعت انجام می‌شود.
اجاق قشلاق خروسلو
اجاق قشلاق خروسلو یک روستا در ایران است که در دهستان انجیرلو واقع شده‌است. اجاق قشلاق خروسلو ۱۸۸ نفر جمعیت دارد.
استپان کامساراکان
استپان اوهانجانی کامساراکان (Ստեփան Օհանջանի Կամսարական؛ زادهٔ - درگذشته ) سیاستمدار اهل ارمنستان بود که  سمت وزارت کشاورزی ارمنستان را برعهده داشت.
گرهارد بوتسلن
گرهارد بوتسلن (Gerhard Boetzelen; January 7, 1906 – February 27, 1995) قایقران روئینگ اهل آلمان بود.
بدجر اکسپلورر
بدجر اکسپلورر (Badger Explorer) شرکت اکتشاف نفت نروژی است، که در سال ۲۰۰۳ تأسیس شد.
پژمان نوزاد
سنین جوانی و تحصیلات
پژمان نوزاد متولد ۱۳۴۸ در محله تهران‌پارس در تهران است و در دوران انقلاب ایران بزرگ شد. او در یک مدرسه آلمانی در تهران تحصیل کرد که در نهایت به دلیل درگیری‌های ادامه‌دار تعطیل شد. نوزاد در ۱۶ سالگی برای روزنامه‌های ابرار ورزشی و دانش ورزش مطالبی می‌نوشت و در ۱۸ سالگی یک برنامه رادیویی ورزشی را ایجاد کرد که خود مجری آن بود.
زندگی حرفه‌ای
نوزاد سه سال در ایران به صورت حرفه‌ای فوتبال بازی کرد تا اینکه در دهه ۱۹۸۰ با بورسیه تحصیلی به آلمان رفت. او در سال ۱۹۹۲ با جیب خالی و فقط ۷۰۰ دلار و بدون حامی مالی به ایالات متحده آمریکا مهاجرت کرد نوزاد قبل از ورود به دنیای سرمایه‌گذاری به عنوان کارگر کارواش، کارمند مغازهٔ ماست‌فروشی و فروشگاه فرش در گالری فرش مدالیون کار کرد.
نوزاد شرکت سرمایه‌گذاری «شرکای عمیدزاد» را در سال ۱۹۹۹ به همراه رحیم و سعید عمیدی که صاحب گالری فرش مدالیون و مرکز فناوری پلاگ اند پلی هستند، تأسیس کرد. نوزاد با شرکای عمیدزاد در شرکت‌هایی مانند کویکی (Qwiki) سرمایه‌گذاری کرد.
در شرکت «ساندهاند» (Soundhound) نیز پژمان نوزاد همراه با کیوان مهاجر یکی از جذاب‌ترین پروژه‌ها برای تشخیص امضاهای صوتی منحصر به فرد افراد و موسیقی را شروع کرد. این شرکت یکی از پیشروترین شرکت‌های تکنولوژی و هوش مصنوعی در بخش اصوات نیز هست که موجب پیشرفت‌های شگرفی در صنعت خودروسازی شده‌است.
شرکت «گواردانت هلث» (Guardant Health) که یکی از پیشروهای جهان پزشکی برای درمان سرطان است نیز از جمله پروژه‌هایی است که پژمان نوزاد با یک ایرانی دیگر به نام امیرعلی طلاساز شروع کرد.
افزون بر این‌ها شرکت «اپ‌لاوین» (AppLovin) هم پروژه‌ای است مشترک بین پژمان نوزاد و آرش فروغی که برای توسعه اپلیکیشن‌ها طراحی شده‌است.
او موفق شد تا سرمایه بیش از ۱۰۰ استارتاپ را تأمین کند که بسیاری از آن‌ها به شرکت‌های موفق چند میلیون دلاری تبدیل شده‌اند. او در شرکت‌های مشهور فناوری مانند Doordash, Dropbox, Applovin, Gusto, Guardant Health, Branch, Aurora Solar, Soundhound, CourseHero سرمایه‌گذاری کرده است که این شرکت‌ها حالا به غول‌های چند میلیارد دلاری تبدیل شده‌اند. برای مثال ارزش استارتاپ Doordash درحال حاضر بیش از ۲۵ میلیارد دلار و Dropbox بیش از ۷٫۵ میلیارد دلار برآورد شده‌اند.
پژمان نوزاد پس از موفقیت در صندوق «پر وی‌سی»، اقدام به تأسیس مرکز رشد «گاراژ» نمود. گاراژ به دانشجویان و کارآفرینان نوپایی که خلاقیت بالا و ایده‌های خوبی دارند کمک می‌کند تا به اهدافشان برسند.
در سال ۲۰۱۴ مدال افتخار جزیره الیس در ایالت متحده به پژمان نوزاد اهدا شد. این جایزه به افرادی تعلق می‌گیرد که قادر به حفظ ارتباط و پاسداشت میراث قومی و گذشته خود نیز هستند.
پژمان نوزاد برای کارش با Pear VC، در رتبه پانزدهم فهرست سالانه میداس مجله معتبر فوربس در سال ۲۰۲۱ قرار گرفت. در سال ۲۰۲۲، او رتبه ۱۵ را در این فهرست حفظ کرد و در فهرست بذر میداس (Midas Seed List) در رتبه دوم قرار گرفت. در سال ۲۰۲۳ او در یک جهش قابل توجه به رتبه نخست این فهرست رسید.
ارزش شرکت‌های پژمان نوزاد در مجموع بیش از ۲۰‌ میلیارد دلار تخمین زده می‌شود.
هینتون، کالیفرنیا
هینتون (به انگلیسی: Hinton) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان نوادا، کالیفرنیا واقع شده‌است. هینتون ۱٬۶۷۶ متر بالاتر از سطح دریا واقع شده‌است.
از گور برخاسته (مجموعه تلویزیونی)
از گور برخاسته (Revenant; ) یک مجموعه تلویزیونی کره جنوبی سال ۲۰۲۳ به نویسندگی کیم اون هی و به کارگردانی لی جونگ ریم و با بازی کیم ته-ری، اوه جونگ سه و هونگ کیونگ است. این مجموعه از ۲۳ ژوئن تا ۲۹ ژوئیه ۲۰۲۳، روزهای جمعه و شنبه ساعت ۲۲:۰۰ (کی‌اس‌تی) از اس‌بی‌اس پخش شد. از گور برخاسته همچنین برای استریم در دیزنی پلاس در مناطق منتخب قابل دسترسی است.
گوچ
گوچ یک کوه در صربستان است که در Central Serbia واقع شده‌است. گوچ ۱٬۲۱۶ متر بالاتر از سطح دریا واقع شده‌است.
پیوند به بیرون
Goč
فهرست شرکت‌های هواپیمایی مصر
این مقاله شامل فهرست شرکت‌های هواپیمایی مصر است.
فقط تو (فیلم ۲۰۱۸)
طرح فیلم
داستان دربارهٔ یک دختر ۳۵ ساله و یک پسر ۲۶ است که در یک رابطه عاطفی هستند. موضوع اختلاف سنی، نازایی شاکلهٔ فیلم را تشکیل می‌دهد.
بازخورد
فیلم با تحسین منتقدین همراه شد. راتن تومیتو ز درجه ۱۰۰٪ را به فیلم اختصاص داد.
منابع
""
یولیا گرنت-اسکات
یولیا گرنت-اسکات (Julia Grant-Scott؛ زادهٔ ۱۶ ژوئیه ۱۹۸۴) با نام اصلی یولیا پوگربینسکا (Julia Pogrebińska) بازیگر اهل لهستان است که در قزاقستان به‌دنیا آمده‌است.
از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به مأموریت افغانستان، هتل ۵۲، عشق اول، قانون حقیقی و مرز اشاره نمود.
هلموت اشون
هلموت اشون (Helmuth Schwenn; January 27, 1913 – July 16, 1983) بازیکن واترپلو اهل آلمان بود.
مدرسه در آتش
بازیگران
فنی یوئن کیت-یینگ در نقش چو یوون فونگ
سارا لی لایت یو در نقش سندی کووک سیو چون
دیمین لائو در نقش وان
لام چینگ یینگ در نقش برادر هوی
روی چوانگ
ترنس فوک شوی-وا در نقش هوارد / "سکار"
جو چو کای سینگ در نقش لاو یونگ / "سپی پی"
ویلیام هو کا-کوی در نقش "فرد خوشحال"
ویکتور هون
تامی وانگ کونگ-لئونگ در نقش چوئن نگور
چان لاپ بن در نقش مادربزرگ سندی
لی کوانگ تایم به عنوان پدر سندی
چونگ لویی به عنوان برادر شینگ
فرانکی نجی چی-هونگ به عنوان برادر تین چو
ریکی هو پوی-تونگ به عنوان جورج چو
منابع
<references group="" responsive="">
صمدلو
صمدلو یک روستا در ایران است که در دهستان آزادلو واقع شده‌است. صمدلو ۱۴۸ نفر جمعیت دارد.
لنسینگ (ابهام‌زدایی)
لنسینگ ممکن است به یکی از موارد زیر اشاره داشته باشد:
هیرام، میزوری
هیرام (به انگلیسی: Hiram) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان وین، میزوری واقع شده‌است. هیرام ۱۵۳٫۹۳ متر بالاتر از سطح دریا واقع شده‌است.
گوداچیتسا
گوداچیتسا یک روستا در صربستان است که در کرالیفو واقع شده‌است. گوداچیتسا ۹۰۹ نفر جمعیت دارد.
لنسینگ (نیویورک)
لنسینگ (به انگلیسی: Lansing) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در شهرستان تامپکینز، نیویورک واقع شده‌است. لنسینگ ۱۸۱٫۱۵ کیلومتر مربع مساحت و ۱۱٬۰۳۳ نفر جمعیت دارد و ۵۱۵ متر بالاتر از سطح دریا واقع شده‌است.
بوستانک (بدخشان)
بوستانک (به لاتین: Bostanak) یک منطقهٔ مسکونی در افغانستان است که در ولسوالی خواهان واقع شده‌است.
ماریانا مارکوویچ
ماریانا مارکوویچ (Marijana Marković؛ زادهٔ February 3, 1982) شمشیرباز اهل آلمان است.
جانگ سونگ-هو (جودوکار)
جانگ سونگ-هو (Jang Sung-ho؛ زادهٔ ) جودوکار اهل کره جنوبی بود.
آلفی پاتر
آلفی پاتر (Alfie Potter؛ زادهٔ January 9, 1989 ) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال پیتربورو یونایتد، باشگاه فوتبال ای‌اف‌سی ویمبلدون، باشگاه فوتبال آکسفورد یونایتد، باشگاه فوتبال هاوانت و واترلوویل، باشگاه فوتبال والتام فورست، باشگاه فوتبال کترینگ تاون، باشگاه فوتبال نورث‌همپتون تاون، و باشگاه فوتبال گرایس اتلتیک اشاره کرد.
زبان‌های آراواکی
زبان‌های آراواکی یا مایپوری یکی از خانواده‌های زبانی جهان است که در میان مردم باستانی بومی جنوب آمریکا سخن گفته می‌شود. گروه‌هایی از گویشوران این زبان‌ها به آمریکای مرکزی و جزایر آنتیل بزرگ در کارائیب و باهاما در اقیانوس اطلس مهاجرت کردند. این زبان‌ها در میان همه کشورهای آمریکای جنوبی به جز اکوادور، اروگوئه و شیلی امروزی رایجند. این زبان بخشی از خانواده بزرگ‌تر و پیشنهادی بزرگ‌آراواکی است.
نام مایپوری توسط فیلیپو گیلیخ در سال ۱۷۸۲ پس از مشاهده زبان مایپوری در ونزوئلا، به خانواده داده شد. یک قرن بعد نام خانواده به آراواکی که از نظر فرهنگی زبان مهم‌تری بود، تغییر نام یافت. اصطلاح آراواکی تا زمانی که استفاده از آن توسط دانشمندان آمریکای شمالی برای اطلاق به خانواده پیشنهادی گسترده‌تر بزرگ‌آراواکی گسترش یافت، روی کار بود. در آن زمان نام مایپوری دوباره برای این خانواده احیا شد.
زبان‌ها
طبقه‌بندی زبان‌های مایپوری به دلیل انقراض تعداد زیادی از آن‌ها و مستندسازی‌های ضعیف، دشوار است. بسیاری از پژوهشگران در تقسیم مایپوری به شاخه‌های شمالی و جنوبی اتفاق نظر دارند، اما همه زبان‌ها را نمی‌توان در همین دو شاخه قرار داد. سه روش دسته‌بندی زیر توسط همه پذیرفته شده‌است: زبان گاریفونا یک زبان از خانواده زبانی آراواکی است.
واج‌شناسی
اگرچه تنوع زبانی زیادی در گونه‌های آراواکی یافت می‌شود اما طبق گفته آیخنوالد (۱۹۹۹) جدول‌های زیر ترکیب کلی از همخوان‌ها و واکه‌هایی است که به‌طور معمول در زبان‌های آراواکی یافت می‌شوند:
واژگان
لوکوتکا (۱۹۶۸) واژگان اساسی زیر را برای زبان‌های آراواکی ذکر کرده‌است.
جاناتان یانگ (تهیه‌کننده)
جاناتان یانگ (Johnathan Young) تهیه‌کننده تلویزیونی اهل بریتانیا است.
از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به مرز، شهر هالبی، ایست‌اندرز و حادثه اشاره نمود.
ویلفرد سینگو
ویلفرد سینگو (زاده ۲۵ دسامبر ۲۰۰۰) بازیکن فوتبال اهل ساحل عاج است که به عنوان مدافع برای باشگاه باشگاه فوتبال تورینو بازی می‌کند.
شات کالر
شات کالر فیلمی است در ژانر جنایی و هیجانی به نویسندگی و کارگردانی ریک رومن وو محصول ۲۰۱۷ آمریکا. در این فیلم نیکولای کاستر-والدو، عمری هاردویک، لیک بل و جفری داناوان به ایفای نقش پرداخته‌اند.
داستان فیلم دربارهٔ یک مرد سربه‌راه است که به جرم رانندگی در شرایط مستی به زندان متهم می‌شود. در زندان او پس از دیدن صحنهٔ تجاوز به یک زندانی و برای محافظت از خود به دار و دستهٔ خلافکاری می‌پیوندد، ولی به دلیل همدستی با آن دارودسته زمان محکومیتش افزایش می‌یابد در عین حال در بین خلافکاران پیشرفت پیدا می‌کند. با آزادی از زندان از آنجا که خلافکارانی که او بدیشان پیوسته‌است خانواده‌اش را تهدید می‌کنند ناچار به همکاری با آنان است و سرانجام برای حفظ خانواده خود را قربانی می‌کند.
منابع
Wikipedia contributors, "Shot Caller (film)," Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/w/index.php?title=Shot_Caller_(film)&oldid=873297253 (accessed February 22, 2019).
گودچوو
گودچوو یک روستا در صربستان است که در کوسیریچ واقع شده‌است. گودچوو ۵۹۹ نفر جمعیت دارد.
پاول کلینگن‌بورگ
پاول کلینگن‌بورگ (Paul Klingenburg; October 19, 1907 – September 10, 1964) بازیکن واترپلو اهل آلمان بود.
قضیه
قضیه یا فَربین (به انگلیسی: Theorem)، در ریاضیات، گزاره‌ای است که بر پایه ‌گزاره‌های پیشین مثل سایر قضایا یا تئوری‌ها، گزاره‌هایی که به‌صورت کلی و عام پذیرفته شده‌اند، مثل «اصل موضوع»، اثبات شده‌است. اثبات قضیهٔ ریاضی، استدلالی منطقی برای گزارهٔ مطرح‌شده در قضیه است که در توافق با قوانین موجود در روش (سیستم) استقرایی، می‌باشد.
اثبات تئوری اغلب برای توجیه درستی گزاره قضیه تفسیر و مطرح می‌شوند. با توجه به اثبات قضایای ریاضی بر اساس نیاز، مفهوم و تصور کلی یک قضیهٔ ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است - می‌باشد.
بسیاری از قضایای ریاضی، گزاره‌های شرطی هستند. در این مورد، اثبات از نتیجه گرفته شده از فرض قضیه استنباط می‌شود. با توجه به تعبیر و تفسیر اثبات به عنوان توجیه یک درستی، استنتاج اغلب به منظور نتیجه لازم و ضروری فرض قضیه دیده می‌شود. به عبارت دیگر، استنتاج با توجه به فرضیاتی که درست هستند، بدون هیچ فرض اضافه‌تر، صحیح می‌باشد. به هر حال، گزاره‌های شرطی با توجه به مفاهیمی که به قوانین استنتاج و نمادهای شرطی اختصاص داده شده‌اند، می‌توانند به‌طور متفاوت در روش (سیستم) استقرایی تفسیر و مطرح شوند.
اگر چه آن‌ها می‌توانند به‌صورت کاملاً نمادین نوشته شوند، برای مثال در حساب گزاره‌ای قضایا اغلب در زبان طبیعی مانند انگلیسی بیان می‌شوند. همان اثبات درست است که به عنوان منطقی سازماندهی شده و استدلالی رسمی نوشته شده، قصد دارد که خواننده را بر درستی گزاره فارغ از هرگونه شکی متقاعد کند. این استدلال‌ها برای بررسی معمولاً آسان‌تر است نسبت به آن‌هایی که کاملاً نمادین هستند. در واقع بسیاری از ریاضی‌دانان که صورتی از اثبات را بیان کردند که نه‌تنها درستی قضیه را بیان می‌کند، بلکه به گونه‌ای توضیح می‌دهد که چرا قضیه صحیح می‌باشد. در بعضی حالات یک تصویر می‌تواند برای اثبات یک قضیه کافی باشد. از آنجایی که قضایا در هستهٔ ریاضیات گنجانده شده‌اند، آن‌ها مرکز زیبایی ریاضیات نیز شناخته می‌شوند. قضایا اغلب با کلماتی از جمله "بدیهی"، "دشوار "، "عمیق"، یا حتی "زیباً توصیف می‌شود. این قضاوت‌های ذهنی نه تنها از شخصی به شخصی دیگر بلکه در زمان‌های مختلف نیز تفاوت دارد. برای مثال چنانچه یک اثبات ساده شده باشد یا قابل فهم شده باشد یک قضیه که زمانی دشوار تلقی می‌شد ممکن است به یک قضیهٔ بدیهی تبدیل شود. از سوی دیگر، یک قضیهٔ عمیق ممکن است به سادگی بیان شود، اما اثبات آن ممکن است اتصال شگفت‌انگیز و ظریف بین مناطق مختلف ریاضیات را شامل شود. آخرین قضیه فرما مثال خوبی برای این گونه از قضایاست.
حساب رسمی قضایا
به‌طور منطقی بسیاری از تئوری‌ها به صورت مشروط نشان داده می‌شوند: اگر آنگاه ب. ب را اثبات نمی‌کند مگر ب نتیجه لازم برای آ باشد. در این حالت آ را فرضیه و ب را نتیجه می‌نامند. این قضیه یک قضیه باید با صراحت بیان شود تا به عنوان یک گزاره رسمی شناخته شود. با این وجود، نظریه‌ها معمولاً در زبان طبیعی، و نه در یک فرم کاملاً نمادین بیان می‌شود، با این هدف که خواننده می‌تواند یک گزاره رسمی تولید کند. این در ریاضیات متداول است که تعدادی از فرضیه‌ها را در یک زبان داده شده انتخاب کنند و اعلام کنند که این نظریه شامل تمام اظهارات قابل اثبات از این فرضیه‌ها می‌باشد. این فرضیه‌ها اساس بنیادین قضایا را تشکیل می‌دهد که اصل موضوع نامیده می‌شود. رشته ریاضیات به عنوان مطالعات تئوری اثبات زبان رسمی، اصول موضوع و ساختار اثبات‌ها است. بعضی قضایا بدیهی هستند به این معنا که به‌طور واضحی از تعاریف، اصول موضوع و سایر قضایا نتیجه‌گیری شده‌اند و نکته شگفت‌آوری را شامل نمی‌شوند. از سویی دیگر بعضی از قضایا عمیق اند زیرا ممکن است اثبات آن‌ها طولانی یا دشوار باشد یا این که شامل زمینه‌های مختلف ریاضیات می‌باشد و ارتباط شگفت‌آوری را بین زمینه‌های متمایز ریاضیات را مشخص کند. همچنین یک قضیه ساده در عین حال می‌تواند عمیق و پیچیده باشد. قضیه آخر فرما مثال خوبی برای این گونه قضایاست؛ و بسیاری از نمونه‌های دیگر از قضایای عمیق ساده در نظریه اعداد و ترکیبیات وجود دارد. برخی قضایا اثبات‌های شناخته شده‌ای دارند که به راحتی قابل پیاده‌سازی نیست. برجسته‌ترین نمونه قضیه چهار رنگ و حدس کپلر است. هر دو قضیه طی یک جستجوی محاسباتی که بعدها توسط یک برنامه کامپیوتری تأیید شد اثبات شده‌اند. در ابتدا، بسیاری از ریاضیدانان این شکل از اثبات را قبول نمی‌کردند، اما به‌طور گسترده‌ای پذیرفته می‌شدند. ریاضیدان Doron Zeilberger حتی اظهار داشت که این نوع از اثبات، اثباتی باطل است. بسیاری از قضایای ریاضی را می‌توان به محاسبات ساده‌تر کاهش داد، از جمله چندجمله‌ای، مثلثاتی و هویت فوق هندسی.
اثبات‌پذیری و قضیه هود
برای انتشار یک گزاره ریاضی به عنوان قضیه، اثبات لازم است، یعنی یک خط از دلایل با توجه به اصل موضوعه در سیستم (و سایر، قضایای تقریباً انتشار یافته) باید برای گزاره داده شده نشان داده بشود. هر چند، اثبات تقریباً جدا از گزاره قضیه به حساب می‌آید. اگر چه بیش از یک اثبات ممکن است برای یک قضیه وجود داشته باشد اما یک اثبات لازم است که وضعیت گزاره به عنوان قضیه را انتشار بدهد. نظریه فیثاغورث و قانون معادله درجه دوم با تعداد بسیاری از اثبات‌ها می‌توانند عنوان قضیه را به خود بگیرند.
رابطه با نظریه‌های علمی
قضایا در ریاضی و نظریات در علوم اساساً از نظر معرفت‌شناسی متفاوت هستند. یک نظریه علمی نمی‌تواند اثبات شود؛ صفت کلیدی آن ابطال است؛ یعنی پیش‌بینی‌هایی دربارهٔ جهان طبیعی می‌کند که با آزمایش‌ها قابل آزمایش است. هرگونه عدم توافق بین پیش‌بینی و آزمایش، نادرستی نظریه علمی یا حداقل محدود بودن دقت و دامنه اعتبار آن را نشان می‌دهد. قضایای ریاضی، به عبارتی دیگر، به‌طور محض چکیده‌ای از گزاره‌های صوری هستند: اثبات یک قضیه نمی‌تواند شامل آزمایش و سایر سندهای تجربی به همان صورت که برای اثبات نظریه‌های علمی به کار می‌رود، باشد.
با این حال، درجه‌هایی از تجربه گرایی و جمع‌آوری داده‌هایی که در کشف قضیه‌های ریاضی شرکت داشتند، وجود دارند. با انتشار یک الگو، بعضی مواقع با استفاده از کامپیوتر قدرتمند، ریاضیدان‌ها ممکن است ایده‌ای از آنچه می‌خواهند اثبات کنند، و در بعضی موارد، برنامه‌ریزی برای چگونگی راه در مورد آنچه می‌خواهند اثبات کنند داشته باشند. برای مثال، حدس کلتز برای شروع اعداد تا حدود ۲٫۸۸ *۱۰۱۸ تأیید شده‌است. فرضیه ریمن برای ۱۰ تریلیون صفر تابع زتا تأیید شده‌است. هیچ‌یک از این گزاره‌ها اثبات شده به حساب نمی‌آیند. چنین شواهدی اثبات را تشکیل نمی‌دهند. برای مثال، حدس مرتنز گزاره‌ای است دربارهٔ اعداد طبیعی که الان می‌دانیم غلط است اما هیچ مثال نقضی شناخته نشده‌است (عدد طبیعی n برای تابع M(n) که برابر ریشه دوم n است). تمام اعداد کمتر از ۱۰۱۴ خاصیت مرتنز را دارند و کوچکترین عددی که این خاصیت را ندارد تنها معلوم است که از تابع نمایی عدد 1.59x1040 که تقریباً برابر ۱۰ به توان ۴٫۳*۱۰۳۹ کمتر می‌باشد. چون تعداد ذرات در جهان به‌طور کل کمتر از ۱۰ به توان ۱۰۰ به حساب می‌آیند، امیدی نیست که یک مثال نقض با جستجوهای خسته‌کننده پیدا بشود. در نظر داشته باشید که کلمه نظریهدر ریاضیات نیز وجود دارد؛ برای معنی کردن اصل موضوع ریاضیات، تعاریف و قضایا مثلاً در قضیه گروه. چندین قضیه در علوم به ویژه فیزیک و در مهندسی وجود دارد اما آن‌ها اغلب گزاره‌ها و اثبات‌هایی دارند که در فرضیات فیزیکی و شهود نقش مهمی ایفا می‌کند؛ قاعده کلی فیزیکی برای چنین قضایایی بر این پایه هست که خودشان باطل هستند.
واژه‌شناسی
تعدادی از واژه‌های مختلف برای عبارات ریاضی وجود دارد که این واژه‌ها گزاره‌ها را بیان می‌کنند. استفاده از بعضی لغات ممکن است به صورت قرار دادی باشد و گاهی معانی لغات تکامل می‌یابد. اصل یا اصل موضوع گزاره‌ای است که بدون اثبات پذیرفته می‌شود و به عنوان اساسی برای موضوع است. از لحاظ تاریخی این به عنوان «بدیهی» در نظر گرفته شده‌است، اما اخیراً آن‌ها فرضی در نظر گرفته می‌شوند که موضوع مطالعه را مشخص می‌کند. در هندسه کلاسیک، اصول موضوعه بیانیه‌های عمومی هستند در حالی که اصول موضوعه اظهاراتی در مورد اشیاء هندسی می‌باشد. گزاره(پیشنهاد) یک اصطلاح عمومی است برای قضایایی که از اهمیت کمتری برخوردارند. این واژه گاهی اوقات یک بیانیه متضمن با یک اثبات ساده است در حالی که واژه قضیه هنگامی استفاده می‌شود که نتیجه مهم یا اثبات دشوارتری در کار باشد. لم یک کمک قضیه است. یک گزاره با کاربرد کمی که بخشی از یک اثبات طولانی را تشکیل می‌دهد. در برخی موارد که اهمیت نسبی بعضی قضایا روشن شد و گزاره‌ای که در گذشته لم نامیده می‌شد قضیه نام گرفت اما واژه لم هم چنان باقی ماند. نتیجه فرعی یا استنباط گزاره‌ای است بدون اثبات یا با اثباتی کم که از قضیه دیگر یا یک تعریف نتیجه‌گیری شده‌است. عکس قضیه گزاره‌ای است که با معکوس کردن یک قضیه و اثبات آن بدست می‌آید. همچنین لغاتی وجود دارند که کمتر استفاده می‌شوند که به‌طور معمول به اظهارات اثبات شده متصل اند: تطابق، که برای قضایایی که برای بیان برابری دو عبارت ریاضی است مورد استفاده قرار می‌گیرد. حکم که برای قضایایی که با فرمول منتشر می‌شود مورد استفاده قرار می‌گیرد؛ و هم چنین کلماتی دیگر از جمله قانون و قاعده و ...
ترتیب و طرح بندی (مراحل)
یک قضیه و اثبات آن به‌طور معمول به صورت زیر دارای ترتیب هستند: قضیه (اسم شخص اثبات‌کننده و سال کشف، اثبات یا نشر آن) جملات یک قضیه (معمولاً گزاره گفته می‌شود) اثبات توضیح اثبات نشان خاتمه
انتهای اثبات ممکن است با حروف Q.E.D.(quod erat demonstrandum) علامت‌گذاری شود یا با یکی از علامات "□" یا "∎" به معنی پایان اثبات می‌باشد که به وسیله پائول هالموس به دنبال موارد استفاده آن‌ها در مقالات مجلات معرفی شد. سبک دقیق بستگی به نویسنده یا انتشارات دارد. بسیاری از انتشارات، ساختارها یا ماکروهایی برای حروف چینی در سبک‌های خانگی فراهم می‌کنند. در یک قضیه معمول آن است که به وسیلهٔ تعاریفی، مفهوم دقیق شرایط و اصطلاحات استفاده شده در قضیه را شرح می‌دهند، مقدم بشوند. همچنین معمول است که یک قضیه به وسیلهٔ تعداد گزاره‌ها یا لم‌ها که در اثبات استفاده شده‌اند، مقدم بشوند. هر چند، لم‌ها معمولاً در اثبات قضیه جا داده می‌شوند، چه همراه با اثبات‌های تودرتو یا چه همراه با اثبات‌های ارائه شده بعد از اثبات اصلی قضیه. استنباط‌ها یا نتایج یک قضیه یا بین قضیه و اثبات مطرح می‌شود یا مستقیماً بعد از اثبات. بعضی اوقات، استنباط‌ها اثبات‌هایی برای خودشان دارند که توضیح می‌دهند چرا در اثبات قضیه استفاده شده‌اند.
تاریخچه
تخمین زده شده‌است که بیش از یک چهارم یک میلیون قضیه، هر سال اثبات می‌شود. جمله معروف "ریاضیدان دستگاهی است برای تبدیل قهوه با قضیه هاً که احتمالاً از آلفرد رنیی می‌باشد؛ اگرچه اغلب به همکار رنیی، پائول اردوس، کسی که به خاطر تعداد زیادی قضیه، تعداد و میزان همکاری‌هایش، و نوشیدن قهوه، مشهور بوده‌است، نسبت داده شده‌است (رنیی ممکن است در تفکر مانند اردوس بوده باشد) رده‌بندی گروه‌های متناهی ساده توسط برخی در نظر گرفته شده‌است که طولانی‌ترین اثبات یک قضیه می‌باشد که ده‌ها هزار صفحه در ۵۰۰ مقاله ژورنال‌ها به وسیلهٔ ۱۰۰ نویسنده را دربرداشته‌است. این برگه‌ها با هم بر این باور بودند که یک اثبات کامل ارائه دهند و چندین پروژه در حال پیشرفت نیز امید دارند که این اثبات را ساده‌تر کنند. قضیه دیگر از این نوع، قضیه ۴ رنگ می‌باشد که اثبات انجام شده توسط کامپیوتر آنقدر طولانی است که امکان خواندن برای افراد وجود ندارد. دقیقاً طولانی‌ترین اثبات شناخته شده قضیه‌ای که گزاره آن به سادگی توسط یک شخص عام فهمیده می‌شود.
قضایا در منطق
منطق، به ویژه در زمینه اثبات قضیه، قضایا را همانند جملات و گزاره‌های یک زبان رسمی به حساب می‌آورد (که به آن فرمول گفته می‌شود). گزاره‌های یک زبان رشته‌های نمادها هستند و ممکن است به‌طور گسترده به حرف‌های پوچ و فرمول‌های خوش فرم تقسیم شوند. مجموعه‌ای از قوانین قیاس، که قانون تبدیل و دگرگونی یا قانون استنتاج نیز گفته می‌شود، باید فراهم گردد. این قوانین دقیقاً بیان می‌کند که چه هنگام یک فرمول می‌تواند از مجموعه‌ای از فرضیات قبلی مشتق شود. مجموعه فرمول‌های خوش فرم ممکن است به‌طور گسترده به قضایا و غیرقضایا تقسیم شوند. هر چند، با توجه به هافستادتر، یک سیستم صوری، اغلب به‌طور خیلی ساده فرمول‌های خوش فرم را مانند قضایا تعریف می‌کند. مجموعه‌های متفاوت قوانین استنتاج به تفاسیر گوناگونی از آن چیزی ختم می‌شود که به معنای بیانی یک قضیه است. بعضی از قوانین استنتاج و زبان‌های صوری بر آن شده بودند که استدلال ریاضیاتی به دست آورند؛ رایج‌ترین مثال مورد استفاده منطق مرتبه اول می‌باشد. سایر روش‌های استنتاجی مدت و شرایط بازنویسی را توضیح می‌دهد. مانند قوانین کاهش برای حساب لاندا. تعریف قضیه‌ها به عنوان عناصر زبان صوری نتایج اثبات قضیه را قادر می‌سازد که ساختار اثبات‌های صوری و فرمول‌های قابل اثبات را مورد مطالعه و بررسی قرار دهد. معروف‌ترین دست‌آورد، قضیه ناتمامیت گودل می‌باشد؛ با نشان دادن قضایا دربارهٔ تئوری اعداد اساسی به عنوان بیانی در زبان صوری، و سپس نشان دادن این زبان همراه باخود نظریه اعداد، گودل مثال‌هایی از گزاره‌هایی پدید آورد که با توجه به اصل موضوعه نظریه اعداد نه قابل اثبات هستند نه غیرقابل اثبات. یک قضیه ممکن است در زبان صوری بیان شود. یک قضیه صوری، به‌طور محض، نظیر صوری قضیه است. در کل، یک قضیه صوری نوعی از فرمول خوش فرم هست که شرایط نحوی و معین منطقی را راضی می‌کند. مفهوم Sاغلب استفاده می‌شود برای آنکه نشان بدهد S یک قضیه است. قضایای صوری از فرمول‌های زبان صوری و قوانین ترکیب روش صوری تشکیل شده‌است. به خصوص، یک قضیه صوری همیشه آخرین فرمول یک استنتاج در بعضی روش‌های صوری است که هر کدام از فرمول‌ها یک گزاره منطقی است از فرمول‌هایی که قبلاً در استنتاج آمده‌اند. به فرمول‌های پذیرفته شده اولیه در استنتاج، اصل موضوعه آن می‌گویند و بر پایه‌ای هستند که قضیه استنتاج شده‌است. به مجموعه‌ای از قضایا، نظریه می‌گویند. آنچه که قضایا را مفید و جالب ساخته آن است که آن‌ها می‌توانند به عنوان یک گزاره حقیقی مطرح بشوند و مشتقات (استنتاج‌های) آن‌ها ممکن است به عنوان اثبات درستی گزاره پایانی باشد. مجموعه‌ای از قضایای صوری ممکن است به عنوان نظریه صوری ارجاع داده شوند. قضیه‌ای که تفسیر آن گزاره‌ای درست دربارهٔ روش (سیستم) صوری است را قضیه متا می‌گویند.
صرف و نحو
مفهوم قضیه صوری اساساً نحوی است و در تضاد با مفهوم گزاره حقیقی است که معناشناسی را معرفی می‌کند. روش‌های استقرایی متفاوت می‌تواند سایر تفاسیر و تعابیر را با توجه به فرضیات قوانین استنتاج ثمر ببخشد (باور، توجیه و سایر شروط). خوش فکری یک روش صوری بستگی به این دارد که تمامی قضایای آن اعتبار دارد یا خیر. اعتبار فرمولی است که تحت هر تفسیر درست می‌باشد؛ مثلاً در گزاره‌های کلاسیک منطق، اعتبارها حشو و زائد هستند. یک روش (سیستم) صوری هنگامی به صورت معنایی کامل به حساب می‌آید که تمام حشوهای آن، خود نیز قضایایی هستند.
استنتاج یک قضیه
مقاله اصلی: اثبات صوری مفهوم قضیه به اثبات صوری آن، به‌طور خیلی نزدیک به آن مربوط شده‌است (استنتاج نیز می‌نامند). برای اینکه نشان بدهند استنتاج‌ها چگونه انجام می‌شوند، ما در یک روش (سیستم) صوری بسیار ساده شده عمل خواهیم کرد. فرض کنیم که حروف از دو نماد A و B تشکیل شده‌است و قانون ترکیب آن برای فرمول برابر است با: «هر رشته از نماد که حداقل طول آن رشته سه است و دارای طول بینهایت نمی‌باشد»، یک فرمول است. هیچ چیز دیگری فرمول نیست.
تنها اصل موضوعه برابر است با: ABBA تنها قاعده استنتاج (قانون دگرگونی یا تبدیل) برای برابر است با: هر رخداد A در قضیه، ممکن اس با رخداد رشته AB جایگزین شود و پی آمد آن یک قضیه می‌باشد. قضایا در طوری تعریف شده‌اند که با توجه به ان قواعد، یک پایان استنتاجی همراه با آن قاعده داشته باشند. برای مثال: ABBA (به عنوان اصل موضوعه) ABBBA (با اعمال قانون دگرگونی یا تبدیل) ABBBAB (با اعمال قانون دگرگونی یا تبدیل) یک استناج است؛ بنابراین "ABBBAB" یک قضیه است. مفهوم حقیقت و درستی (یا نادرستی) نمی‌تواند به قاعده و فرمول "ABBBAB" اعمال شود مگر اینکه یک تفسیر و تعبیر برای نمادهای آن تعریف شود. در نتیجه در این مثال، قاعده و فرمول هنوز یک گزاره را ارائه و مطرح نمی‌کند اما صرفاً یک انتزاع پوچ می‌باشد. دو اشتراک موجود در قضایای عبارتند از: هر قضیه با A شروع می‌شود هر قضیه دقیقاً دارای دو A می‌باشد.
شهرناز
شهرناز یا شهرنواز یا شه‌نواز یکی از دو دختر جمشید است که در ابتدا به همسری ضحاک درآمد و پس از پیروزی فریدون بر ضحاک، همسر فریدون شد.
شهرناز در شاهنامه
طبق متون شاهنامه به نظر می‌رسد ارنواز خواهر بزرگتر است چون در مصاحبت و گفتگوها این ارنواز است که مشارکت دارد و شهرناز اگر هم در جمع حضور دارد ساکت و خاموش فقط می‌شنود. بار اول مباحثه ارنواز با ضحاک آن زمانی است که ضحاک از خوابی که دیده بود هراسان بیدار گشت و نعره برآورد و از بانگ هولناک آن هر دو خورشیدرو نزد او آمده و ارنواز به طعنه به پادشاه هفت کشور می‌گوید چه شده که شاه جهان چنین هراسان گشته است.
بار دیگر زمانی که فریدون بر پایتخت ضحاک بابل سیطره یافت داخل کاخ صد ستون شد همهٔ نگهبانان و نرّه دیوان ضحاک را با گرز نقش زمین کرد چهار نعل به درون کاخ تاخت کلاه کیانی را گرفته بر سر نهاد آنگاه دختران جم به استقبال او آمدند از اصل و نسب فریدون پرسیدند نشان او را یافتند و فهمیدند که خواب‌های پریشان ضحاک بی‌سبب نبود. فریدون مخفیگاه ضحاک را پرسید و باز این ارنواز است که پاسخ آورد و شهرناز خاموش است.
شهرناز در اوستا
در اوستا نام ارنواز به دیسه‌ی «سَنْگْهَوَک» (اوستایی:𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬀𐬐 /saŋhavak/) در بندهای 13 و 14 گوش‌یشت (درواسپ یشت) دیده می‌شود. آمده ست که فریدون برای ایزد گوش قربانی نموده و از او درخواست که به ضحاک غلبه کند و دو زنش را به نام‌های «سَنْگْهَوَک» (اوستایی:𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬀𐬐 /saŋhavak/) و «اَرِنَوَک» (اوستایی:𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬀𐬐 /arənavak/) را که برای زادآوری دارای بهترین بدن و از برای خانه‌داری برازنده هستند؛ از وی برباید. در بندهای 23 از رام‌یشت و در بندهای 33 تا 35 از ارد یشت باز فریدون از برای فرشتگان ویو (هوا) و ارد (دارایی) فدیه می‌آورد تا بر ضحاک چیرگی یافته و دو زنش را برباید. برای نمونه در بند 14 گوش‌یشت آمده ست:
«𐬛𐬀𐬰𐬛𐬌. 𐬨𐬈. 𐬬𐬀𐬢𐬎𐬵𐬌. 𐬯𐬆𐬎𐬎𐬌𐬱𐬙𐬈. 𐬛𐬭𐬎𐬎𐬁𐬯𐬞𐬈. 𐬙𐬀𐬝. 𐬁𐬌𐬌𐬀𐬞𐬙𐬆𐬨𐬿 𐬫𐬀𐬝. 𐬠𐬀𐬎𐬎𐬁𐬥𐬌. 𐬀𐬌𐬡𐬌-𐬬𐬀𐬥𐬌𐬌𐬃. 𐬀𐬲𐬍𐬨. 𐬛𐬀𐬵𐬁𐬐𐬆𐬨. 𐬚𐬭𐬌𐬰𐬀𐬟𐬀𐬥𐬆𐬨. 𐬚𐬭𐬌𐬐𐬀𐬨𐬆𐬭𐬆𐬜𐬆𐬨. 𐬑𐬴𐬎𐬎𐬀𐬱𐬀𐬴𐬍𐬨. 𐬵𐬀𐬰𐬀𐬢𐬭𐬀-𐬫𐬀𐬊𐬑𐬱𐬙𐬍𐬨. 𐬀𐬱𐬀𐬊𐬘𐬀𐬢𐬵𐬆𐬨. 𐬛𐬀𐬉𐬎𐬎𐬍𐬨. 𐬛𐬭𐬎𐬘𐬆𐬨. 𐬀𐬖𐬆𐬨. 𐬟𐬭𐬀𐬗𐬀. 𐬐𐬆𐬭𐬆𐬧𐬙𐬀𐬝. 𐬀𐬢𐬭𐬋. 𐬨𐬀𐬌𐬥𐬌𐬌𐬎𐬱. 𐬀𐬎𐬎𐬀. 𐬫𐬅𐬨. 𐬀𐬯𐬙𐬎𐬎𐬀𐬌𐬙𐬍𐬨. 𐬔𐬀𐬉𐬚𐬅𐬨. 𐬨𐬀𐬵𐬭𐬐𐬁𐬌. 𐬀𐬴𐬀𐬵𐬈. 𐬔𐬀𐬉𐬚𐬀𐬥𐬀𐬅𐬨𐬺 𐬎𐬙𐬀. 𐬵𐬈. 𐬬𐬀𐬧𐬙𐬀. 𐬀𐬰𐬁𐬥𐬌. 𐬯𐬀𐬢𐬵𐬀𐬎𐬎𐬁𐬗𐬌. 𐬀𐬭𐬆𐬥𐬀𐬎𐬎𐬁𐬗𐬌. 𐬫𐬋𐬌. 𐬵𐬆𐬥. 𐬐𐬆𐬵𐬭𐬞𐬀. 𐬯𐬭𐬀𐬉𐬱𐬙𐬀. 𐬰𐬀𐬰𐬁𐬙𐬇𐬈. 𐬔𐬀𐬉𐬚𐬌𐬌𐬁𐬌𐬙𐬀. 𐬫𐬋𐬌. 𐬀𐬠𐬛𐬋𐬙𐬆𐬨𐬈𐬺 »
kazki. me. vaŋuhi. səvište. drvāspe. taț. āyaptəm.
«این کامیابی را بمن ده ای نیک ای تواناترین درواسپ که من به اژی دهاک (ضحاک) سه‌پوزه سه‌کله، شش چشم هزار چستی و چالاکی دارنده پیروزی یابم. باین دیو دروغ بسیار قوی که آسیب مردمان است باین خبیث و قوی‌ترین دروغی که اهریمن بر ضد جهان مادی بیافرید تا جهان راستی را از آن تباه سازد و که من هر دو زنش را بربایم هر دو را سنگهوک و ارنوک که ازبرای زادآوری دارای بهترین بدن می‌باشند هر دو را که از برای خانه‌داری برازنده هستند. »
ساری قشلاق
ساری قشلاق یک روستا در ایران است که در دهستان قشلاق غربی واقع شده‌است. ساری قشلاق ۱۸۹ نفر جمعیت دارد.
جانگ سونگ-هو (بازیکن بیسبال)
جانگ سونگ-هو (Jang Sung-ho؛ زادهٔ ) بازیکن بیسبال اهل کره جنوبی است.
از افتخارات وی میتوان به کسب مدال برنز در بازی‌های المپیک تابستانی ۲۰۰۰ اشاره کرد.
تورالف پترس
تورالف پترس (Thoralf Peters؛ زادهٔ January 13, 1968) قایقران روئینگ اهل آلمان است.
کنترل کننده مفصلی مدل مخچه
کامپیوتر محاسباتی مدل مخچه ای (CMAC) نوعی شبکه عصبی مبتنی بر مدل مخچه پستانداران است. همچنین به عنوان کنترل کننده مفصلی مدل مخچه ای شناخته می شود. نوعی حافظه تداعی است.
CMAC برای اولین بار به عنوان یک مدل‌ساز عملکرد برای کنترل‌کننده‌های رباتیک توسط جیمز آلبوس در سال 1975 پیشنهاد شد (از این رو نام آن است)، اما به طور گسترده در یادگیری تقویتی و همچنین برای طبقه‌بندی خودکار در جامعه یادگیری ماشین استفاده شده است. CMAC توسعه مدل پرسپترون است. تابعی را برای n بعد ورودی محاسبه می کند. فضای ورودی به بیش‌مستطیل‌هایی تقسیم می‌شود که هر کدام با یک سلول حافظه مرتبط هستند. محتویات سلول های حافظه وزنه هایی هستند که در حین تمرین تنظیم می شوند. معمولاً بیش از یک کوانتیزه سازی فضای ورودی استفاده می شود، به طوری که هر نقطه در فضای ورودی با تعدادی بیش مستطیل و در نتیجه با تعدادی سلول حافظه همراه است. خروجی یک CMAC مجموع جبری وزن های تمام سلول های حافظه است که توسط نقطه ورودی فعال می شوند.
تغییر مقدار نقطه ورودی منجر به تغییر مجموعه ای از فضاهای فعال مستطیلی می شود و به همین دلیل تغییر در مجموعه سلول های حافظه شرکت کننده در خروجی CMAC رخ می دهد. بنابراین، خروجی CMAC به صورت توزیع شده ذخیره می شود، به گونه ای که خروجی متناظر با هر نقطه در فضای ورودی از مقدار ذخیره شده در تعدادی از سلول های حافظه به دست می آید (ز این رو به آن حافظه انجمنی می گویند). این عملکرد تعمیم پذیر را فراهم می کند.
بلوک‌های ساختاری در تصویر مجاور، دو ورودی به CMAC وجود دارد که به عنوان یک فضای دو بعدی نشان داده شده‌اند. دو تابع کوانتیزاسیون برای تقسیم این فضا با دو شبکه همپوشان استفاده شده‌اند (یکی از آن‌ها در خطوط سنگین نشان داده شده است). یک ورودی تنها در نزدیکی مرکز نشان داده شده است و این چندین سلول حافظه را فعال کرده است که با منطقه‌ای که رنگ شده، مطابقت دارند. اگر نقطه دیگری در نزدیکی نقطه نشان داده شده وجود داشته باشد، برخی از سلول های حافظه مشترک خواهند بود و تعمیم پذیری فراهم می‌شود.
CMAC با ارائه جفت نقاط ورودی و مقادیر خروجی آموزش داده می‌شود و با تنظیم وزن در سلول های فعال با توجه به نسبت خطای مشاهده شده در خروجی، آموزش داده می‌شود. این الگوریتم آموزش ساده دارای اثبات همگرایی است.
معمول است که یک تابع هسته به هایپر-مستطیل اضافه شود، به طوری که نقاطی که به سمت لبه های هایپر-مستطیل می‌افتند، فعال سازی کمتری نسبت به نقاطی که در نزدیکی مرکز قرار دارند، داشته باشند.
یکی از مشکلات عمده در استفاده عملی از CMAC، اندازه حافظه مورد نیاز است که به طور مستقیم با تعداد سلول های استفاده شده مرتبط است. این معمولا با استفاده از یک تابع هش، و فقط فراهم کردن حافظه ذخیره‌سازی برای سلول‌های واقعی که توسط ورودی‌ها فعال شده‌اند، بهبود یافته است.
آلفی جونز
آلفی جونز (Alfie Jones؛ زادهٔ October 7, 1997) بازیکن فوتبال اهل بریتانیا است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال سنت میرن اشاره کرد.
آلپ سوابی
آلپ سوابی (به آلمانی:  Schwäbische Alb  ، یا:   Schwäbischer Jura'' ) که گاهی در زبان انگلیسی با نام جورا سوابی نیز شناخته می‌شود، یک رشته کوه در ایالت بادن-وورتمبرگ در کشور آلمان است. این رشته کوه با عرض ۴۰ تا ۷۰ کیلومتر و طول ۲۲۰ کیلومتر از جنوب غربی تا شمال غربی ایالت بادن-وورتمبرگ کشیده شده‌است. نام این رشته کوه از نام منطقه شوابن گرفته شده‌است.
گودیوو
گودیوو یک روستا در صربستان است که در کوسیریچ واقع شده‌است. گودیوو ۳۴۸ نفر جمعیت دارد.
تاما تیس
تاما تیس (زاده ۹ فوریه ۱۹۶۰) سیاستمدار مینه سوتا و جزو مجلس نمایندگان مینه سوتا و یکی از گروه حزب جمهوری خواه مینه سوتا می باشد. تیس نماینده ناحیه ای۱۴ در مرکز مینه سوتا می باشد.
تحصیلات
تاما تیس در دانشگاه فنی و اجتماعی سنت ابر شرکت نمود و با مدرک کاردانی دانش آموخته گردید
مجلس نمایندگان مینه سوتا
تاما در یک انتخابات اختصاصی در سال ۲۰۱۳ به مجلس نمایندگان مینه سوتا منتخب گردید.
اعتراض به واکسن کووید ۱۹
در دسامبر ۲۰۲۱، تاما به ۳۷ عضو جمهوری‌خواه دیگر مجلس مینه‌سوتا در امضای نامه‌ای به کلینیک مایو پیوست که سیاست آن را مبتنی بر واکسینه شدن کارکنان در برابر کووید-۱۹ به چالش می‌کشد. در قسمتی از این نامه این گونه آمده است: «ما از بودجه دولتی برای برنامه‌هایی همانند این یا هیچ گونه بودجه دیگری برای هیچ گونه مرکز درمانی که کارمندان خودش را به دلیل سیاست‌های بی اساس دستوری واکسن اخراج می نماید، پیشتیبانی نمی کنند.»
زندگی شخصی
تاما تیس با گرگ تیس ازدواج نمود. آنان از این ازدواج آنان دو فرزند شد و با هم در سنت کلود، مینه سوتا مشغول زندگی بودند.
دنیس بندر
دنیس بندر (Denise Bender) بازیکن فوتبال بازنشسته در پست مدافع اهل ایالات متحده آمریکا است که عضو تیم ملی فوتبال زنان ۱۹۸۵ ایالات متحده آمریکا بود.
باشگاهی
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به دانشگاه ایالتی واشینگتن و دانشگاه واشینگتن اشاره کرد.
تیم ملی
وی نخستین کاپیتان تاریخچه تیم ملی فوتبال زنان ایالات متحده آمریکا بوده‌است و نخستین بازی ملی خویش را در اوت ۱۹۸۵ در مقابل ایتالیا انجام داده‌است.
زندگی شخصی
وی یک خواهر دوقلو به نام لائوری بندر دارد.
ارکستر سرخ
ارکستر سرخ نامی است که از سوی گشتاپو به یک نهضت مقاومت جاسوسی ضدنازی در خلال جنگ جهانی دوم اطلاق می‌شد. هستهٔ اصلی ارکستر سرخ شامل دو دوست به نام‌های هارلو شولتسه-بویزن و آروید هارناک در برلین بود. همچنین افرادی مستقل از برلین، در پاریس و بروکسل فعال بودند. این سازمان را لئوپولد ترپر از طرف اداره کل امنیت ملی شوروی پایه ریخته‌بود. ارکستر سرخ به صورت شبکه‌ای از افراد و گروه‌ها و بود و در حدود چهارصد عضو داشت. اقدامات آنان را چاپ شب‌نامه‌ها، کمک به اپوزیسیون و یهودیان برای گریز، و گردآوری مدارک جرم نازی‌ها عنوان شده‌است.
منابع
Wikipedia contributors, "Red Orchestra (espionage)," Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/w/index.php?title=Red_Orchestra_(espionage)&oldid=873227486 (accessed December 14, 2018).
الکس دی‌جرجیو
الکس دی‌جرجیو (Alex Di Giorgio؛ زادهٔ July 28, 1990) ورزشکار ورزش شنا اهل ایتالیا است. او در بازی‌های المپیک تابستانی ۲۰۱۲ و ۲۰۱۶ در رشتهٔ شنای چهار در صد متر آزاد مردان شرکت کرد. دی‌جرجیو آشکارا همجنسگرا است.
ریچارد جی. برنستین
شاخص‌ترین ویژگی کار او، نحوه پرداختن به نقاط تقاطع مکاتب و سنت‌های مختلف فلسفی بود. او قادر بود بینش‌های فلسفی و متفکرانی را گرد هم بیاورد که در غیر اینصورت، به واسطه شکاف بین فلسفه قاره‌ای و فلسفه تحلیلی در فلسفه قرن بیستم، جدا و دور از یکدیگر باقی می‌ماندند. منش عمل‌گرایانه و گفتگومحوری که او در آثار او وجود دارد، در گفت و شنودهای فلسفی او با برخی متفکران معاصر از جمله هانا آرنت، یورگن هابرماس، ریچارد رورتی، هانس-گئورگ گادامر، ژاک دریدا، اگنس هلر و چارلز تیلور نیز به چشم می‌خورد. برنستین تنها درگیر مباحث فلسفی آکادمیک نبود بلکه به عنوان یک متفکر و روشنفکر به مسائل بزرگ‌تری که در زندگی معاصر آثار اجتماعی، سیاسی و فرهنگی دارند نیز می‌پرداخت.
ولید بن عتبه بن ابی‌سفیان
ولید بن عتبه بن ابی‌سفیان برادرزاده معاویه بود که از سال ۵٧ ه.ق حاکم مدینه بود.
بلافاصله پس از مرگ معاویه در ۱۶ رجب ه‍.ق/۲۲ آوریل ۶۸۰ م، یزید به ولید بن عتبه، حاکم مدینه، فرمان داد تا امور مربوط به گرفتن بیعت را مدیریت کند. هدف یزید، در دست گرفتن اوضاع شهر پیش از اطلاع اهالی آن از مرگ معاویه نبود و یزید به‌ویژه در مورد دو رقیب خود در خلافت، حسین بن علی و عبدالله بن زبیر که پیش‌تر از بیعت کردن سرباز زده بودند نگران بود. ولید بن عتبه، حسین و عبدالله بن زبیر و عبدالله بن عمر را در ساعت غیرمعمول به قصر حکومتی فراخواند تا آنان را مجبور به بیعت با یزید کند. به‌گفتهٔ والیری حسین به همراه پیروانش به قصر آمد و مرگ معاویه را تسلیت گفت اما بیعت پنهانی با یزید را به بهانه اینکه بیعت باید در ملاء‌عام باشد، دو روز به تعویق انداخت ولید که تمایلی به درگیری با حسین نداشت، پذیرفت. اما مروان که می‌دانست اگر حسین از جلسه خارج شود، دیگر بدون جنگ نمی‌توان به او دست یافت، به ولید گفته بود که حسین را زندانی کند تا بیعت نماید درغیراین‌صورت سریعاً همان‌جا او را بکشد.
به علت این کوتاهی، یزید او را از مدینه فراخواند. اما مجدداً در سال ۶۲ هجری به عنوان حاکم مدینه منصوب کرد.
الیوت هگارتی
الیوت هگارتی (Elliot Hegarty؛ زادهٔ ۱۹۷۱) کارگردان فیلم و کارگردان تلویزیونی اهل بریتانیا است. وی از سال ۱۹۹۶ میلادی تاکنون مشغول فعالیت بوده‌است.
از فیلم‌ها یا مجموعه‌های تلویزیونی که وی در آن‌ها نقش داشته‌است، می‌توان به تد لاسو اشاره نمود. او تاکنون دو بار نامزد جایزه بفتا شده‌است: سال ۲۰۰۸ و سال ۲۰۱۸. وی همچنین برندهٔ «بهترین کمدی» در جوایز کمدی بریتانیا شده‌است.
تیپ ۹۳۳ ناحال
تیپ ۹۳۳ ناحال (Nahal Brigade) تیپ پیاده‌نظام نیروی زمینی اسرائیل، زیرمجموعه لشکر ۱۶۲ زرهی هاپلادا و تحت امر فرماندهی جنوبی اسرائیل است، که در سال ۱۹۸۲ تأسیس شد.
سول، نیوجرسی
سول (به انگلیسی: Sewell) یک منطقهٔ مسکونی در ایالات متحده آمریکا است که در مانتوا، نیوجرسی واقع شده‌است. سول ۲۰ متر بالاتر از سطح دریا واقع شده‌است.
کاتالوگ پایگاه داده
کاتالوگ پایگاه داده نمونه پایگاه داده تشکیل‌شده از فراداده است که در آن تعریف‌های اشیاء پایگاه داده مانند جدول پایه، نمایه (جدول مجازی)، مترادف، گستره ارزش‌ها، فهرست، کاربر، و گروه کاربران ذخیره شده‌اند.
اس‌کیوال استاندارد یک روش یگانه به نام "طرح اطلاعات" را برای دسترسی به کاتالوگ، مشخص می‌کند. اما همه پایگاه داده‌ها از این روش استفاده نمی‌کنند. حتی اگر جنبه‌های دیگر اس‌کیوال استاندارد را اجرا کنند. برا یافتن نمونه‌ای از روش‌های دسترسی فراداده ویژه پایگاه داده به فراداده اوراکل مراجه شود.
سیف خانلو
سیف خانلو، روستایی در دهستان اصلاندوز غربی بخش مرکزی شهرستان اصلاندوز در استان اردبیل ایران است.
لوری هنری
لوری هنری (Lori Henry؛ زادهٔ March 20, 1966) بازیکن فوتبال اهل ایالات متحده آمریکا است.
سیف خانلو
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۱۴۴ نفر (۴۷ خانوار) بوده‌است.
لوری هنری
تیم ملی
وی همچنین در تیم ملی فوتبال زنان ایالات متحده آمریکا بازی کرده‌است.
افتخارات
وی برندهٔ مدال طلا جام جهانی فوتبال زنان ۱۹۹۱ شده‌است.
نیلسون جونیور
نیلسون باربوسا ناسیمنتو جونیور (زادهٔ ۹ سپتامبر ۱۹۹۱) بازیکن فوتبال اهل برزیل است، که به عنوان مدافع میانی برای باشگاه فوتبال سپاهان در لیگ برتر خلیج فارس بازی می‌کند.
سنگلی شیرین
سنگلی شیرین روستایی در دهستان فاروج بخش مرکزی شهرستان فاروج استان خراسان شمالی ایران است.
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این مکان ۲۳۱ نفر (۶۹خانوار) بوده‌است.
آلفی سامز
آلفی سامز (Alfie Sams؛ 10 November 1911 – 1990 ) بازیکن فوتبال بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال ردینگ اشاره کرد.
ایده‌پردازی (سیر خلاقانه)
ایده پردازی (سیر خلاقانه) فرایند خلاقانه تولید، پرورش و برقراری ارتباط ایده‌های نوین است، جایی که ایده به عنوان یک عنصر بنیادی تفکر حس می‌شود، که می‌تواند دیدنی، قابل لمس یا ذاتی باشد. ایده پردازی تمام مراحل چرخه تفکر، از نوآوری، رشد، تا واقعی سازی را در بر می‌گیرد. ایده پردازی را می‌توان توسط افراد، سازمان‌ها یا اجتماعات انجام داد. همین‌طور، ایده پردازی یک بخش اساسی از فرایند طراحی. در آموزش و پرورش و در عمل می‌باشد.
روش ها و رویکرد ها
روش ها و رویکردهای زیادی برای ایده پردازی وجود دارد. فهرستی از تکنیک های رایج ایده پردازی به شرح زیر است:
روش‌های نوآوری
کتاب ایده پردازی: تولد و مرگ ایده‌ها (گراهام و باخمان ۲۰۰۴) روش‌های زیر را برای ابداع عرضه می‌دارد:
این لیست از شیوه‌ها به هیچ وجه جامع و لزوماً دقیق نیست. مثال‌های گراهام و باخمان، از ایده‌های انقلابی را شاید بهتر باشد به عنوان تحولی شرح داد. مارکس و کوپرنیک هم بر فراز مفاهیم قبلی موجود در زمینه‌های جدید یا متفاوت بنا نهاده‌اند. به همین ترتیب، توصیف عرضه شده برای نوآوری هنری یک دیدگاه را ارائه می‌دهد.
درک‌های ظریف تر، مانند آنچه توسط استفان ناچ مانوویچ در بازی آزاد بیان شده بود: بداهه پردازی در زندگی و هنر، محدودیت‌های فنی و ادراکی نیروی مولد موجود در اعمال خاص هنر را شناسایی می‌کند. به عنوان مثال، در نقاشی، محدودیت‌های فنی مانند: قاب، سطح و پالت، همراه با محدودیت‌های ادراکی مانند: روابط شکل و زمینه و چشم‌انداز، چارچوب‌های خلاقانه ای را برای نقاش فراهم می‌سازد. به همین ترتیب در موسیقی، مقیاس‌های موزون، امضای متر و زمان، به‌طور همزمان با گزینه‌های ابزار و بیان کار می‌کنند تا هم نتایج ویژه ای تولید کنند و هم نتایج نو و تازه ای داشته باشند.
گذرگاه (مجموعه تلویزیونی)
گذرگاه (The Crossing) یک مجموعه تلویزیونی مهیج علمی-تخیلی آمریکایی است که از شبکه ABC پخش می‌شود. این مجموعه تلویزیونی در ۲ آوریل ۲۰۱۸ آغاز به کار کرد و قسمت آخر آن در ۹ ژوئن ۲۰۱۸ پخش شد. در ۱۹ مارس ۲۰۱۸، ABC قسمت آزمایشی را در وب سایت خود منتشر کرد. این مجموعه تلویزیونی در بریتیش کلمبیا، کانادا فیلمبرداری شد. در ۱۱ مه ۲۰۱۸، ABC نمایش را پس از یک فصل لغو کرد.
ایده‌پردازی (سیر خلاقانه)
روش‌های نوآوری
مدل تات(TOTE)، یک استراتژی تکراری حل مسئله مبتنی بر حلقه‌های بازخورد، یک روش جایگزین برای در نظر گرفتن روند ایده پردازی عرضه می‌دارد. ایده پردازی ممکن است به عنوان وجه دیگری از سیستم‌های تولیدی مانند پیدایش نیز در نظر گرفته شود.
نقدگری
واژه «ایده پردازی» یک اصطلاح بی‌معنی است، و همچنین شباهت بی‌مورد با اصطلاح روانپزشکی برای خودکشی دارد به همین دلیل مورد انتقاد غیررسمی قرار گرفته‌است.
لئون والترز
لئون والترز (؛ زادهٔ ۹ ژانویه ۱۹۷۹) کاراته‌کا اهل بریتانیا است.او سابقه قهرمانی در مسابقات قهرمانی جهان و مسابقات قهرمانی اروپا را در کارنامه خود دارد.
دستاوردها
مدال برنز کومیته مسابقات جهانی کاراته 1998
مدال نقره قهرمانی کاراته اروپا 2001
مدال نقره کومیت قهرمانی کاراته اروپا 2002
گودوویک
گودوویک یک روستا در صربستان است که در Požega واقع شده‌است. گودوویک ۲۸۹ نفر جمعیت دارد.
لئون والترز
دستاوردها
مدال طلای کومیته مسابقات جهانی کاراته 2002
مدال نقره مسابقات جهانی کاراته 2004
منابع
https://en.wikipedia.org/wiki/Leon_Walters
گائوتامی
گائوتامی (زاده July 2, 1969) بازیگر هندی است.
از فیلم‌هایی که وی در آن نقش داشته است می‌توان به دوتا، رودخانه خون، برادران بی‌نظیر، یکی از ما و پسر تیوار اشاره کرد.
ملکه و کشور
ملکه و کشور (Queen and Country) یک فیلم در ژانر درام به کارگردانی جان بورمن است که در سال ۲۰۱۴ منتشر شد. این فیلم ادامه فیلم امید و افتخار بوده و چند شخصیت از همان فیلم را نمایش می‌دهد.
خانه ملک آمل
خانه ملک آمل مربوط به دوره قاجار است و در شهرستان آمل، خیابان مهدیه، کوچه ملک‌زاده، خیابان آیت الله جوادی آملی واقع شده و این اثر در تاریخ با شمارهٔ ثبت ۳۳۱۸۸ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده‌است.
شیریمه
بیشتر داستان‌های مرتبط با شیریمه از روایتی فولکلور نشئت می‌گیرند که نخستین بار یوسا بوسون آن را ثبت کرده‌است. بنا بر این روایت فولکلور، در گذشتهٔ دور یک سامورایی تنها در شبی تاریک در راه کیوتو قدم می‌زد که کسی او را صدا کرد و از او خواست که صبر کند. سامورایی با ترس و لرز ایستاد و پرسید «کی آنجاست؟» و وقتی که رویش را برگرداند مردی کیمونوپوش را دید که لباس‌هایش را درمی‌آورد و باسن خود را به سوی مسافر متحیر نشانه می‌گیرد. چشمی عظیم و درخشان از جایی که مقعد مرد غریب باید آنجا می‌بود به او خیره می‌شود.
به جز رفتار بهت‌برانگیزش، شیریمه در روایت به کسی آسیبی نمی‌رساند و به‌نظر می‌آید که تنها از ترساندن کسانی لذت می‌برد که در تاریکی شب قدم می‌زنند. گفته شده‌است که صورتش اجزای صورت معمولی را ندارد و ازین رو ریشهٔ این افسانه را با یوکای نوپرا-بو (که روحی بدون چهره است) مرتبط دانسته‌اند. در این مورد، شیریمه ممکن است حیوانی تغییر شکل دهنده باشد که با رهگذران شوخی دستی می‌کند. نام شیریمه همچنین در زبان ژاپنی تبدیل به ضرب‌المثلی شده‌است (shirime ni miru) که کنایه از «به کسی به دید حقارت نگریستن» دارد. به باور یوشیرا سانکورو، شیریمه با خط دید پایین‌تر از مردم عادی، «نمایانگر روان فرودین واقع‌گرایی گروتسک» است و در تقابل با «کی کارو اورین هیتو» قرار دارد که به معنای «مردی که از روی درخت پایین نمی‌آمد» است. این یوکای روی درختان زندگی می‌کرد و بر روی زمین گام نمی‌گذاشت.
هنرمند و شاعر هایکوسرای ژاپنی یوسا بوسون به این موجود خیالی علاقهٔ بسیار داشت و تصاویر او را در بسیاری از نقاشی‌های یوکای خود استفاده کرد. شیریمه در صحنه‌ای از فیلم انیمهٔ پوم پوکو نیز دیده می‌شود.
شهبازلو
شهبازلو، روستایی در دهستان انگوت شرقی بخش مرکزی شهرستان انگوت در استان اردبیل ایران است.
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵، جمعیت این روستا برابر با ۹۷ نفر (۲۵ خانوار) بوده‌است.
ایمی سارگیسیان
ایمی سارگیسیان ( Amy Sarkisian؛ ) هنرمند معاصر در زمینه مجسمه‌سازی ارمنی‌تبار اهل ایالات متحده آمریکا است که در لس آنجلس زندگی و فعالیت می‌کند. وی به خاطر جمجه‌های نگین‌دار خویش شناخته شده‌است. وی در زمینه‌های دیگر همچون نقاشی، طراحی و کولاژ نیز فعال بوده‌است.
کوه پولاگ
کوه پولاگ (Bundok Pulag) بلندترین قله لوزون است که 2926 m از سطح دریا ارتفاع دارد. مرزهای بین استانهای بنگوئه، ایفوگائو و نوئه‌وا ویزکایا در قله کوه مشترک هستند و به هم می‌رسند. این کوه سومین کوه مرتفع در فیلیپین، جنب کوه آپو و کوه دولنگ-دولنگ است.
کوه پولاگ به دلیل " دریایی از ابرها " (sea of clouds) و منظره کهکشان راه شیری در طلوع خورشید مشهور است، که بسیاری از گردشگران را که مایل به دیدن مناظر "دنیایی دیگر " هستند، به خود جذب کرده‌است. اعتقاد بر این است که تمام کوهستان سرزمین ارواح تینمونگائو بوده و محل استراحت روحهای مقدس مردم ایبالی و سایر اقوام منطقه است.
تاریخ
مردم ایبالوی از بنگوت کشته شدگان خود را مومیایی کرده و آنها را در غارهایی در کوه قرار می‌دهند. غارهای خاکسپاری مومیایی کباییان، که یکی از اصلی‌ترین جاذبه‌های این سایت است، طبق مصوبه ریاست جمهوری شماره ۴۳۲ به عنوان گنجینه‌های فرهنگی ملی فیلیپین در نظر گرفته می‌شود.
کوه پولاگ بر اساس اعلامیه شماره ۷۵ در ۲۰ فوریه ۱۹۸۷ با مساحت 11550 ha به عنوان پارک ملی اعلام شد. که بخشی از منطقه زیست جغرافیایی کوردیلرا طبق برنامه مناطق حفاظت شده ملی یکپارچه (NIPAP) است.
اقوام مختلفی چون ایبالیان، کالانگویا، کانکانا اییس، کارائو، ایفوگائو و ایلوکانوس در پارک ملی سکونت دارند.
جغرافیا
قله کوه پولاگ ۲۹۲۶ متر (۹٬۶۰۰ فوت) ارتفاع دارد. قله کوه در شهرداری استان کبایان استان بنگوئه واقع شده‌است.
اقلیم
یخبندان به دلیل پایین بودن درجه حرارت در طی این ماه‌ها، در کوهستان بیشتر دیده می‌شود در طول فصل زمستان، دمای بالاترین نقطه کوه تا در دمای زیر یخ زدگی می رشد، و آن را به سردترین مکان کشور تبدیل می‌کند.
جانوران و گیاهان
این کوه میزبان ۵۲۸ گونه گیاهی ثبت شده‌است. این زیستگاه طبیعی جنگلی بومی با نام بامبو کوتوله، (Yushania niitakayamensis) و کاج بنگوت (Pinus insularis) است که در مناطقی از جنگل‌های کاج گرمسیری لوزون در حاشیه کوهستان یافت می‌شود. در میان حیوانات وحشی بومی آن، ۳۳ گونه پرنده و چندین پستاندار تهدید شده مانند آهوی فیلیپینی وجود دارد. کوه پولاگ تنها مکانی است که میزبان چهار گونه موش صحرایی کلود است. این مکان یکی پرتنوع زیست‌ترین مکانها در فیلیپین است، با موش تازه کشف شده (از سال ۱۸۹۶)، موش‌های درختی لوزان، Carpomys melanurus، و پرنده کوچ پیتا در بین نژادهای در معرض خطر آن قرار دارد.
فعالیت پیاده‌روی
کوه پلاگ به عنوان مرتفع‌ترین کوه لوزون، کوهنوردان کوهستانی زیادی را به خود جلب می‌کند. از نکات برجسته این صعود می‌توان به جنگلهای مونتان و قله مرتع با پدیده «دریای ابرها» اشاره کرد.
سقوط بالگرد ریاست جمهوری
در ۷ آوریل ۲۰۰۹، یک فروند بالگرد بل ۴۱۲ متعلق به نیروی هوایی فیلیپین (PAF) در ارتفاع ۲۱۰۰ متری بالاتر از سطح دریا دچار سانحه شد و سقوط کرد. خلبانان هواپیما و مسافران آنها که منصوب ریاست جمهوری بودند در این سانحه جان باختند.
آتش در جنگل
در تاریخ ۲۰ ژانویه ۲۰۱۸، پارک ملی کوه به دنبال آتش‌سوزی جنگلی در بخشی از کوه، موقتاً فعالیت‌های کوهپیمایی و کوهنوردی را در کوه پولاگ متوقف کرد. براساس تحقیقات اولیه، آتش‌سوزی هنگامی آغاز شد که گفته می‌شود یک اجاق گاز که توسط یک کوهنورد آورده شده بود منفجر شده‌است. پس از آن پرونده‌هایی علیه عاملان آتش‌سوزی تشکیل شد. پیش‌بینی می‌شود که حداقل ۶ ماه تا ۱ سال طول بکشد تا منطقه به‌طور کامل بهبود یابد.
سنگلی شور
سنگلی شور روستایی در دهستان فاروج بخش مرکزی شهرستان فاروج استان خراسان شمالی ایران است.
جمعیت
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این مکان ۲۲۵ نفر (۶۹خانوار) بوده‌است.
مارس اکسپرس
مارس اکسپرس ، یک مأموریت اکتشاف فضا است که توسط آژانس فضایی اروپا (ESA) انجام شده‌است. مأموریت مریخ اکسپرس کاوش سیارهٔ مریخ، و نخستین تلاش مأموریت سیاره‌ای این آژانس است. واژهٔ «اکسپرس» در اصل اشاره به کارایی و سرعتی است که این فضاپیما طراحی و ساخته شده‌است. با این حال «اکسپرس» بیان‌گر سفر نسبتاً کوتاه بین سیاره‌ای فضاپیما نیز هست، نتیجه‌ای که زمان راه‌اندازی شدن را؛ که در آن مدارهای زمین و مریخ آنها را به نزدیک‌ترین فاصله از یک‌دیگر در طی ۶۰٬۰۰۰ سال گذشته قرار داده بوده، توصیف می‌کند.
مارس اکسپرس شامل دو بخش است، یکی بخش مارس‌اکسپرس مدارگرد و دیگری بیگل ۲؛ کاوشگری که برای انجام پژوهش‌های دگرزیست‌شناسی و ژئوشیمی طراحی شده‌بود. اگر چه کاوشگر در قرارگیری و تکمیل برنامهٔ پس از فرود خود بر سطح مریخ موفق نبود، مدارگرد با موفقیت به انجام اندازه‌گیری‌های علمی از اوایل سال ۲۰۰۴ ادامه می‌دهد، که در بر گیرنده ی: تصویربرداری با وضوح بالا و نقشه‌برداری‌های کانی‌شناسی از سطح مریخ، صدا-رادار گرافی ساختار زیر سطحی تا عمق پرمافروست، تعیین دقیق ترکیب و گردش جوّی، و بررسی چگونگی تعامل جو با محیط میان‌سیاره‌ای.