google/wiki40b huggingface dataset:
منطق درخت محاسباتی

مثال‌ها

فرض کنید سامانه‌ای داشته باشیم که بتواند حالت‌های ready یا started را داشته باشد. حال می‌توانیم بیان کنیم «ممکن است زمانی برسد که started درست باشد اما ready غلط». این عبارت به صورت  است. یا برای مثال، اگر بخواهیم بیان کنیم ready هیچ‌گاه درست نمی‌شود، به صورت
 است.

ارتباط با دیگران منطق‌ها

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

جمعیت

این روستا در دهستان ناتل‌رستاق قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۷۵۷ نفر (۱۷۷خانوار) بوده‌است.
پاراه اردشیرجدید

جمعیت

این روستا در دهستان بهمئی گرمسیری شمالی قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۲۳ نفر (۲۹خانوار) بوده‌است.
عادل یونسی

فعالیت

وی که تاکنون نمایشگاه‌های متعددی در ایران و دیگر نقاط جهان برگزار کرده‌است اولین انفرادی نمایشگاه خود را در سال ۱۳۸۳ برگزار کرد و همچنین در بیش از بیست نمایشگاه گروهی شرکت داشته‌است. آثار وی عموماً فضایی پیچیده و رؤیاگونه دارند.
جایزه آنا پولیتکوفسکایا

جایزه آنا پولیتکوفسکایا (انگلیسی: Anna Politkovskaya Award) در سال ۲۰۰۶ توسط سازمان بین‌المللی حقوق بشر، در گرامی‌داشت و احترام به روزنامه‌نگار فعال روسی که در ۷ اکتبر۲۰۰۶ به قتل رسید، اهدا می‌شود، پولیتکوفسکایا (۱۹۵۸–۲۰۰۶)، پولیتکوفسکایا را به خاطر گزارش‌هایی که در خصوص جنگ در چچن می‌نوشت خاموش کردند. این جایزه به مدافعان حقوق بشر در سراسر جهان تعلق می‌گیرد که در مناطقی که جنگ و درگیری وجود دارد کار می‌کنند و اغلب در معرض خطر پر ریسک جانی قرار دارند، این جایزه خدمات آن‌ها را گرامی می‌دارد. ماریانا کاتزاروا یک دوست و هم‌کار حقوق بشر پولیتکوفسکایا بود. در سال ۲۰۰۶ این روزنامه‌نگار و مدافع حقوق بشر در مناطق جنگی کوزوو، بوسنی و در ۲۰۱۶ وارد چچن شد، در بزرگداشت دهمین سالگرد قتل آنا پولیتکوفسکایا در چچن، یک جایزه ویژه دیگر برای این مدافع حقوق بشر از روسیه در سال ۲۰۰۹ در نظر گرفته شد، و اولین جایزه آنا پولیتکوفسکایا به برنده اول آن یعنی ناتالیا استمیرووا اهدا گردید که او هم در سال ۲۰۰۹. برای ایجاد صلح در مناطق درگیری و کمک به شهروندان به‌دام‌افتاده در میان نیروهای مسلح مخالف تلاش کرد. درسال‌های بعد این جایزه ویژه به والنتینا چرواتنکو که از سال ۱۹۹۰ در یک سلسله درگیری‌ها در اتحاد جماهیر شوروی سابق فعالیت داشت تعلق گرفت، در سال ۲۰۱۸ جایزه آنا پولیتکوفسکایا به بینالاکاشمی نپرام، یک نویسنده شجاع و نویسنده اهل ایالت مانیپور اهدا شد.
داستان ظهور و سقوط خاندان‌های میناموتو و تایرا

داستان ظهور و سقوط خاندان‌های میناموتو و تایرا (به ژاپنی: 源平盛衰記 Genpei Jōsuiki) یک کتاب ۴۸ جلدی و نسخه پیشرفته داستان هیکه است.
این کتاب به همراه داستان هیکه دو منبع بزرگ داستان‌های عاشقانه و تاریخی ژاپن هستند. هر دو داستان در قرن دوازدهم میلادی نوشته شده‌است. بطور تقریبی حدود یک چهارم نمایشنامه‌های عروسکی کابوکی و بونراکو از حوادث نبرد بین خاندان‌های میناموتو و تایرا سرچشمه گرفته‌است. حوادث بسیار و طوفانی در قرن یازدهم و دوازدهم و شخصیت‌های گوناگون تاریخی این دوران منبع بسیار گرانبهایی برای نقالان و نمایشنامه نویسان ژاپن بوده‌است. درونمایه هر دو اثر در مورد نبرد بین دو خاندان پیروزی میناموتو و نابودی تراژدیک خاندان تایرا است.
این گونه قصه‌گویی همراه با آواز که جنبه مردمی پیدا کرد در آغاز در ارتباط با افسانه‌های بودایی بود. ملودی‌هایی که با ساز بیوا نواخته می‌شد مبتنی بر خواندن متون بودایی بود که از قرن نهم میلادی از چین به ژاپن رسیده بود. پس از نبرد بین خاندان‌های میناموتو و تایرا داستان‌های مستندگونه بسیاری خلق شد و موضوع شکست خاندان تایرا کاملاً مناسب با لحن غمناک ساز بیوا بود.
چتسورث، جورجیا

موقعیت جغرافیایی

موقعیت جغرافیایی شهرها و مناطق اطراف به شرح زیر است:
فوکوشیما ماسایوکی

فوکوشیما ماسایوکی (به ژاپنی: 福島正之) (۱۶۰۸ – ۱۵۸۵) یک دایمیو در دوره آزوچی-مومویاما و اوایل دوره ادو بود. پدر اصلی او بشو شیگه‌مونه نام داشت. پدر خوانده او فوکوشیما ماسانوری نام داشت و در خدمت توکوگاوا ایه‌یاسو بود.
ونمند

خصوصیات

ونمند ۹٬۶۸۷ نفر جمعیت دارد.
قانون برگمان

قانون برگمان (به انگلیسی: Bergmann's rule) یا قانون اندازه-دما نام قانونی در علم جانورشناسی است که بیان می‌دارد اندازهٔ جانوران با تغییر عرض جغرافیایی و آب و هوا تغییر می‌کند. به بیان دیگر جانورانی که در نواحی گرمسیری زندگی می‌کنند کوچکتر از جانورانی هستند که در نواحی خنکتر زندگی می‌کنند. این قانون اولین بار در قرن نوزدهم توسط زیست‌شناسی آلمانی به نام کارل برگمان (به آلمانی: Carl Georg Lucas Christian Bergmann) مطرح شد. وی قانونش را در سال ۱۸۴۷ میلادی مطرح کرد. این قانون در بین پژوهشگران و دانشمندان بحث‌برانگیز است.
درستی‌یابی صوری

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

راهکارهای درستی‌یابی صوری

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

درستی‌یابی صوری نرم‌افزار

درستی‌یابی صوری برای برنامه‌های نرم‌افزاری از طریق ثابت کردن آنکه برنامه، خصوصیات صوری رفتارش را ارضاء کند انجام می پذیرد. بخش‌های درستی‌یابی صوری عبارتند از درستی‌یابی استنتاجی، تفسیر انتزاعی، اثبات خودکار قضیه، سیستم‌های نوع.
درستی یابی صوری زیر شاخه‌ای از تست نرم افزار است و به بررسی رابط کاربری نرم افزار از دید صوردی برای کاربر نهایی می‌پردازد، در این نوع تست به بررسی رویکردهایی برای بهترین نوع ساختار صوری برنامه‌های نرم افزاری پرداخته می‌شود و با توجه به معیارهای بررسی شده درستی یابی صوری بررسی می‌شود.

درستی‌یابی و اعتبارسنجی

درستی‌یابی یکی از جنبه‌های آزمودن میزان تناسب محصول برای هدف مدنظر است. درحالی که اعتبارسنجی این محصول را از جنبه کامل بودن بررسی می‌کند. به‌طور معمول کلیت فرایند آزمودن تحت عنوان V & V شناخته می‌شود. 
اعتبارسنجی: آیا نیاز را به‌طور درست متوجه شدیم و کالای درست را می سازیم؟ به‌طور مثال: آیا این کالا نیازهای حقیقی کاربر را برآورده می‌کند؟
درستی‌یابی: آیا همان داریم چیزی را میسازیم که مدنظرمان بود؟ به‌طور مثال آیا کالای ساخته شده با مشخصات پیش گفته شده اش تطابق دارد؟

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

خصوصیات

پرودو ۱۱٬۵۰۰ نفر جمعیت دارد.
سعدآباد عرب

جمعیت

این روستا در دهستان عشق‌آباد قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۱۳۱ نفر (۳۳خانوار) بوده‌است.
توف (سنگ)

توف (به انگلیسی: Tuff) یک نوع سنگ متشکل از خاکستر آتشفشانی است که در هنگام انفجار آتش‌فشانی از زمین خارج می‌شود. واژه خاکستر در واقع توصیف‌کننده اندازه ذرات است. اندازه ذرات آن کمتر از ۲ میلی‌متر است. به دلیل سبکی کیلومترها حرکت می‌کند و روی هم نهشته می‌شوند. اگر ذرات خاکستر داغ باشد این ذرات به هم جوش خورده و سنگ توف را تشکیل می‌دهند. دمای آن‌ها می‌تواند تا ۴۰۰ درجه سانتی‌گراد باشد.
از نظر ترکیب کانی‌شناسی این سنگ در زمره سنگ‌های آتشفشانی قرار می‌گیرد ولی به دلیل نحوه تشکیل آن که به صورت ته‌نشینی است و اغلب ساختی لایه‌لایه دارد بسیار به سنگ‌های رسوبی نیز شباهت دارد. کانی‌شناسی این سنگ بسته به نوع سنگ مخزن ماگما و نیز سنگ‌های دودکش آتشفشان بسیار متغیر می‌تواند باشد.
رنگ این سنگ در مقاطع دستی اغلب (نه همیشه) سبز است. زمانی که خاکسترها در محیط آبی رسوب کنند، ممکن است مواد دیگری به همراه آن‌ها ته‌نشین شوند که این مسئله نیز موجب ایجاد تنوع در جنس و رنگ این سنگ می‌شود. برای مثال توف‌های شیلی.
تدی صارافیان

زندگی‌نامه

او پسر ریچارد سی سارافیان و برادر ریچارد صارافیان جونیور و دیران سارافیان و خواهرزاده رابرت آلتمن است.
برزونامه

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

قیاس با شاهنامه

منظومهٔ برزونامه در تقلید از شاهنامه فردوسی در قالب مثنوی، به بحر متفاوت مثمّن محذوف یا مقصور سروده شده‌است. در این منظومه از واژه‌های عربی زیاد استفاده نشده‌است.
برزونامه منظومه‌ای است بزرگتر از شاهنامه فردوسی و دارای ۶۸۰۰۰ بیت.
از بررسی‌ها چنین برمی‌آید که مؤلف برزونامه و فردوسی توسی آثار خود را باید از روی داستان‌های مشترکی به نظم درآورده باشند، زیرا همانندی‌های بسیاری میان شاهنامه و برزونامه موجود است، ازجمله همانندی میان سیمرغ در شاهنامه و برزونامه.
اما در شاهنامه جنبه آریایی و ایرانی داستان‌ها کاملاً محسوس است، حال آنکه در برزونامه تأثیر باورهای برآمده از حمله عرب، اصالت و ریشه ایرانی داستان را تحت‌الشعاع قرار داده‌است.
رندالف، مینه‌سوتا

خصوصیات

رندالف ۲٫۶۷ کیلومترمربع مساحت و ۴۳۶ نفر جمعیت دارد و ۲۶۸ متر بالاتر از سطح دریا واقع شده‌است.
دورویی

دورویی یا نفاق یا دوزبانی در اصل به معنای مخالفت ظاهر با باطن است. مُنافِق یا دورو یا دوچهره کسی است که در آشکار دعوی مسلمانی و ایمان کند و در نهان کفر ورزد. کسی که به زبان اظهار ایمان کند و کفر را در قلب خود نهان دارد. نفق در لغت به معنی «راه زیرزمینی» است و منافق را به جهت داشتن راه‌های مخفیانه به این نام می‌نامند.

دیگر ادیان

بر خلاف تاکیدات بسیاری که در اسلام روی مسئله دورویی شده‌است، در کتب ادیان دیگر یا نامی از منافقان نیست یا اگر هست بسیار کم است.
ندن سفلی

جمعیت

این روستا در 15 کیلو متری شهر بهاباد استان یزد قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن زیر سه خانوار بوده‌است.
قید (ابزار)

قید یا جیگ (به انگلیسی: jig) به معنای هدایت‌کننده بوده و برای هدایت و مهار ابزار و همچنین قطعه کار مورد استفاده قرار می‌گیرد. قیدها محکم به میز کار بسته می‌شوند تا در حین عملیات جابجا نشوند.

تفاوت قید و بند

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

مسابقات قهرمانی کشتی جهان ۲۰۱۴

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

نمایشنامه

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

عوامل و بازیگران

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

خصوصیات

الگوایر ۵۰٫۱۱ کیلومترمربع مساحت و ۳٬۱۲۹ نفر جمعیت دارد و ۳۰۴ متر بالاتر از سطح دریا واقع شده‌است.
عجیین

خصوصیات

عجیین ۳۳٫۱۴ کیلومترمربع مساحت و ۱٬۰۹۹ نفر جمعیت دارد و ۴۸۶ متر بالاتر از سطح دریا واقع شده‌است.
منحول

منحول، قول، نظر یا کتابی است که به کسی نسبت داده شود ولی از او نباشد.

تاریخچه

حکمای دورهٔ اسلامی کتاب‌هایی را به ارسطو منسوب می‌داشتند که محتویات آن‌ها را با روش ارسطویی منطبق نمی‌نمود، و چون این کتاب‌ها را از آثار او می‌پنداشتند، بسیاری از اندیشه‌های افلاطونی و فیثاغوری و نوافلاطونی را با فلسفهٔ او درآمیختند. ازجملهٔ این کتب، کتاب خیر محض است با تمایلات فلوطینی، و کتاب التفاحه (سیب) که در آن از خُلودِ نفْس و عدم اختلاف حقیقی میان فضیلت و معرفت با رذیلت و جهل ــ که از اندیشه‌های سقراط است ــ سخن رفته‌است.

نمونه‌ها

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

جمعیت

بر اساس سرشماری سال ۱۳۸۵ جمعیت این روستا ۶۷۱ نفر با ۱۳۶ خانوار بوده‌است.
اینستنت

ویژگی‌ها

اینستنت به صورت خودکار استفاده از تلفن همراه، تناسب اندام، سفر، خواب و مکان‌ها را ضبط و نشان می‌دهد و این اطلاعات را به صورت روزانه و هفتگی طبقه‌بندی می‌کند و کاربر را بر اساس این اطلاعات تحلیل می‌کند. تمام داده‌ها در گوشی هوشمند کاربران ذخیره می‌شود. این برنامه برای کسانی که آمار روزانهٔ خودشان مهم است بیشتر کاربرد دارد.
اینستنت می‌تواند با برنامه‌های گوگل فیت و اپل هلث همگام سازی شود.
اینستنت همچنین می‌تواند به اپل واچ و اندروید ویر نیز متصل شود.
مرد (فیلم ۱۳۵۱)

خلاصه داستان

عادل (ناصر ملک مطیعی) پس از آزادی از زندان به دیدن دوستش داوود (بهمن مفید) می‌رود؛ اما او را معتاد و دائم‌الخمر می‌یابد...
حسین‌علی شهریاری

استعفا

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

انتقاد از دولت پیرامون بحران آلودگی هوای تهران

در پی بحران آلودگی‌های تهران در پاییز و زمستان ۱۳۸۹ او ضمن اشاره به خطرات آلودگی هوا برای مردم از دولت پیرامون عدم پرداخت تسهیلات دو میلیارد دلاری مترو تهران، انتقاد کرد.

اظهارات پیرامون رهاسازی بیماران

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

اظهارات جنجالی دربارهٔ فروختن کلیه افراد فقیر برای فرار از فقر

او در مورد فروش کلیه توسط افرادی که در فقر مفرط هستند گفت: چه اشکالی دارد وقتی که فرد در فقر به سر می‌برد و با دریافت ۲۰ الی ۳۰ میلیون زندگی‌اش متحول می‌شود این کار را انجام دهد.
لی ایون جو

مرگ

در ۲۲ فوریه ۲۰۰۵ تنها چند روز پس از فارق التحصیلی از دانشگاه دانکوک، وی در آپارتمان شخصی اش در سن ۲۴ سالگی خودکشی کرد.
او ابتدا رگ مچ‌های دستش را زد و بعد خود را از سقف حلق آویز کرد.
خانوادهٔ لی اظهار داشتند که علت خودکشی او بی خوابی‌های شدید ناشی از احساس پشیمانی و افسردگی به دلیل بازی صحنه‌های جنسی در فیلم The Scarlet Letter بوده.
او در نامهٔ خودکشی اش چنین نوشته است:
«مامان، دوستت دارم، من می‌خواستم خیلی کارها انجام بدم، اگر چه من زندگی می‌کردم ولی واقعاً زنده نبودم، من نمی‌خواهم کسی را مأیوس کنم، داشتن پول خیلی خوبه، من فقط می‌خواستم پول در بیارم.»
هاینریش اشتولفوس

هاینریش اشتولفوس (به آلمانی: Heinrich Stuhlfauth) بازیکن فوتبال و دروازه‌بان اهل آلمان است که از سال ۱۹۲۰ میلادی عضو تیم ملی فوتبال آلمان بوده‌است. وی در ۲۱ بازی ملی حضور داشته‌است و آخرین بازی ملی خود را در سال ۱۹۳۰ میلادی انجام داد. هاینریش اشتولفوس در بازی‌های ملی‌اش گلی به ثمر نرساند.
میراندا کر

اوایل زندگی

کر در شهر سیدنی متولد شد و در شهر کوچک Gunnedah نیو سات ولز بزرگ شد. او دختر ترزا و جان کر است.
او دارای یک برادر به نام متی است که ۲ سال کوچکتر از خودش است.
کر در طول دوران کودکی خود در مزرعه مادربزرگش موتور سیکلت و اسب سواری می‌کرد.
خانواده او به بریزین نقل مکان کردند تا میراندا و برادرش زندگی در شهر را تجربه کنند. کر قبل از اینکه به عنوان مدلینگ فعالیت کند در رشته تغذیه و سلامت روانپزشکی فارغ‌التحصیل شد.

آغاز حرفه‌ای:۲۰۰۶–۱۹۹۶

میراندا کر از ۱۳ سالگی وارد حرفهٔ مدلینگ شد؛ و در سال ۱۹۹۷ موفق به کسب مجله سالانه دالی شد.
در نیویورک، کر تا به حال در بسیاری از کت‌واک حضور داشت و سپس در اوایل سال ۲۰۰۴ با آژانس (NEXT Model Management)قرار دادی امضا کرد.
در اوایل سال ۲۰۰۶ به نظر می‌رسد کر در قسمت آخر سریال تلویزیونی (پروژه مد) نشان می‌دهد که برای مسابقه نهایی دانیل وسویک در حال جمع‌آوری مدلسازی لباس است.
او اولین مانکن راه یافته بود.
وی در ایالات متحده در بازار لوازم آرایشی میبلین نیویورک قرارداد بست و امضاء کرد.

ویکتوریا سکرت و کار مد بالا:۲۰۱۲–۲۰۰۷

او در سال ۲۰۰۷ به عنوان یک مدل و مانکن موفق در کمپانی ویکتوریا سکرت ظاهر شد. میراندا کر اولین استرالیایی این کمپانی مد و لباس می‌باشد.
کر در سال ۲۰۱۰، تقویم پیرلی، با عکاس تری ریچاردسون در باهیا، برزیل ظاهر شد.
در ژانویه سال ۲۰۱۲ او سفیر کانتاس نامگذاری شد. کر در سال ۲۰۱۲ با رتبه ۷ در فوربز با درآمد ۴ میلیون $ در لیست بالاترین پرداخت مدل در جهان قرار گرفت.

زندگی شخصی

در اواخر سال ۲۰۰۷ کر با بازیگر اورلاندو بلوم رابطه‌شان را شروع کرد و در سال ۲۰۱۰ با اورلاندو ازدواج کرد. کر در سال ۲۰۱۱ پسر بچه‌ای را به دنیا آورد و اسم آن را فیلین گذاشت. میرندا و اورلاندو در سال ۲۰۱۳ از یکدیگر جدا شده و به زندگی مشترک خود پایان دادند.
در جولای سال ٢٠١۶ او نامزدی خود را به‌طور رسمی با ایوان اشپیگل که جوان‌ترین میلیاردر آمریکا می‌باشد تأیید کرد و در می ۲۰۱۷ ازدواج کردند و در ۷ می ۲۰۱۸ صاحب پسری به نام هارت اشپیگل شدند.
اقابیگلو (نقده)

جمعیت

این روستا در دهستان حسنلو قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۳۸۴ نفر (۹۷خانوار) بوده‌است.
امین‌آباد (فیروزکوه)

جمعیت

این روستا در دهستان حبله رود قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۹۵، جمعیت ۷۸۵ نفر (۱۲۳خانوار) بوده‌است.

زبان

زبان مادری امین‌آبادی‌ها تاتی است و فارسی را به عنوان زبان دوم صحبت می‌کنند.

گردنه

امین آباد مرتفع و برف‌گیر می‌باشد و گردنه امین آباد در همین منطقه قرار دارد.
فریال بهزاد

زندگی‌نامه

فریال بهزاد متولد ۱۳۳۴ گرگان، دارای مدرک کاردانی فیلمبرداری از مدرسه عالی تلویزیون و سینما و کارشناسی تهیه فیلم و برنامه‌های تلویزیونی از دانشگاه بوستون ایالت ماساچوست است. وی از سال ۱۳۵۹ فعالیت خود را به عنوان تهیه‌کننده و کارگردان برنامه‌های کودکان در صدا و سیما آغاز نمود و نخستین فیلم خود را با نام «کاکلی» در سال ۱۳۶۸ کارگردانی کرد. بهزاد همسر غلامرضا آزادی (تهیه کننده) و مادر سپهر و پیام آزادی (بازیگر) است. سپهر با بازی در سیب خنده و دنیای شیرین به محبوبیت رسید. پیام آزادی فیلمبردار بوده و تصویربرداری تعدادی از کارهای پدر و مادر خویش را بر عهده داشته‌است.
کاخ جنجان

کاخ جنجان یکی از کاخ‌های هخامنشی در شهر لیدوما نزدیک نورآباد ممسنی است. این بنای هخامنشی درست در مسیر راه شاهی قرار دارد.
کاخ جنجان واقع شده به فاصله ۸۰۰ متری  رودخانه فهلیان  واقع شده  و در پشت این کاخ کوه بالاسبز دیده می‌شود. کاخ جنجان در کنار نقش برجسته کورانگون  که توسط ایلامیان در ۳۵۰۰ سال پیش، ساخته شده، قرار گرفته‌است. 
از سوی دیگر در حدود ۴ کیلومتری این کاخ و در دشت فهلیان محوطه‌ای به نام تل‌اسپید وجود دارد.

معماری کاخ

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

قلعه کلی

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

جمعیت

این روستا در دهستان احمد سرگوراب قرار دارد و براساس سرشماری مرکز آمار ایران در سال ۱۳۸۵، جمعیت آن ۹۴۹ نفر (۲۲۹خانوار) بوده‌است.
یونیورسیتاس ۲۱

یونیورسیتاس ۲۱ (Universitas 21) شبکه‌ای بین‌المللی از ۲۱ دانشگاه است که در سال ۱۹۹۷ به هدف ایجاد «مرجع و منبع بین‌المللی برای تفکر راهبردی در مسائل پراهمیت جهانی» بنیان نهاده شده است. این شبکه روی هم رفته دارای نیم میلیون دانشجو و ۴۰۰۰۰ نفر عضو هیئت علمی است، و با بیش از ۲ میلیون نفر فارغ‌التحصیل فعال ارتباط دارد.
دانشگاه‌های عضو یونیورسیتاس ۲۱ در زمینه‌های زیادی با هم همکاری می‌کنند. پروژه‌های پژوهشی مشترک، تشریک تجربیات اداری و مدیریتی، و تبادل صدها دانشجو در سال از نمونه‌های این همکاری‌ها است.
بیمارستان آموزشی

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

ساختار

اولین بیمارستان آموزشی که در آن دانشجویان به طور روشمند و تحت نظارت پزشکان مجرب اجازه می‌یافتند تا در کارهای درمانی دخالت کنند به دانشگاه جندی‌شاپور برمی‌گردد.

نمونه‌های سرشناس

بیمارستان‌های آموزشی جزء قدیمی‌ترین و معروف‌ترین بیمارستان‌های ایالات متحده محسوب می‌شوند که می‌توان از بیمارستان عمومی ماساچوست نام برد که تحت مدیریت دانشکده پزشکی هاروارد است.