stanford-oval/wikipedia huggingface dataset:
کمیسیون بین‌المللی نام‌گذاری جانوران

کمیسیون بین‌المللی نام‌گذاری جانوران (به انگلیسی: International Commission on Zoological Nomenclature) سازمانی است که به «دستیابی به ثبات و حس در نام‌گذاری علمی جانوران» اختصاص دارد. در سال ۱۸۹۵ بنیان‌گذاری شد و اکنون شامل ۲۶ کمیسیونر از ۲۰ کشور است.
ICZN توسط "اساسنامه ICZN" اداره می‌شود که معمولاً همراه با کد ICZN منتشر می‌شود.
اعضا توسط بخش نام‌گذاری جانوران، که توسط اتحادیه بین‌المللی علوم زیستی (IUBS) ایجاد شده است، برگزیده می‌شوند.
از سال ۲۰۱۴، کار این کمیسیون توسط یک دبیرخانه کوچک مستقر در دانشگاه ملی سنگاپور، در سنگاپور پشتیبانی می‌شود. پیش از این، دبیرخانه در لندن مستقر بود و توسط صندوق بین‌المللی نام‌گذاری جانوران تأمین مالی می‌شد. کمیسیون «از طریق تولید و انتشار اطلاعات دربارهٔ استفاده درست از نام علمی جانوران» به جامعه جانورشناسی کمک می‌کند.
دبیران اجرایی

(–۲۰۰۳) اندرو واکهام داوسون
(2003–2008) اندرو پولاشک
(۲۰۰۸–۲۰۱۶) الینور میشل
(۲۰۱۶–۲۰۱۸) مارتین ای لو
(۲۰۱۸–۲۰۲۲) گوین لیم
(۲۰۲۱–۲۰۲۱) ایوان کوآه
(۲۰۲۲–اکنون) دومینیک وای جِی انگ
مزرعه میرزامحمدعلی

| مزرعه میرزامحمدعلی | مزرعه میرزامحمدعلی |
| --- | --- |
روستا: روستا
مزرعه میرزامحمدعلیموقعیت در ایراننمایش نقشه ایرانمزرعه میرزامحمدعلیمزرعه میرزامحمدعلی (استان یزد)نمایش نقشه استان یزد: مزرعه میرزامحمدعلیموقعیت در ایراننمایش نقشه ایرانمزرعه میرزامحمدعلیمزرعه میرزامحمدعلی (استان یزد)نمایش نقشه استان یزد
مختصات: ۳۱°۲۴′۵۰″شمالی ۵۳°۵۱′۱۸″شرقی﻿ / ﻿۳۱٫۴۱۳۸۸۹°شمالی ۵۳٫۸۵۵°شرقی﻿ / 31.413889; 53.855: مختصات: ۳۱°۲۴′۵۰″شمالی ۵۳°۵۱′۱۸″شرقی﻿ / ﻿۳۱٫۴۱۳۸۸۹°شمالی ۵۳٫۸۵۵°شرقی﻿ / 31.413889; 53.855
کشور: ایران
استان: یزد
شهرستان: تفت
بخش: مرکزی
دهستان: دهشیر
جمعیت: ۵۵ نفر (سرشماری ۹۵)
مزرعه میرزامحمدعلی روستایی در دهستان دهشیر بخش مرکزی شهرستان تفت استان یزد ایران است.
جمعیت

بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این روستا ۵۵ نفر (۲۲خانوار) بوده‌است.
| جمعیت تاریخی> سال | جمعیت تاریخی> جمعیت | جمعیت تاریخی> ±% |
| --- | --- | --- |
| ۱۳۸۵ | ۸۳ | —     |
| ۱۳۹۰ | ۷۰ | ۱۵٫۷٪− |
| ۱۳۹۵ | ۵۵ | ۲۱٫۴٪− |
مودستاس پاولاوسکاس

مودستاس پاولاوسکاس (انگلیسی: Modestas Paulauskas؛ زادهٔ ۱۹ مارس ۱۹۴۵) بازیکن بسکتبال اهل اتحاد جماهیر شوروی سوسیالیستی بود.
وی در مسابقات کشوری و بین‌المللی در مجموع برندهٔ ۹ مدال طلا، ۴ مدال برنز شده‌است.
مویماکو

| مویماکو | مویماکو |
| --- | --- |
کومونه: کومونه
مویماکو: مویماکو
مویماکوموقعیت مویماکو در  Italy: مویماکوموقعیت مویماکو در  Italy
مختصات: ۴۶°۶′ شمالی ۱۳°۲۳′ شرقی﻿ / ﻿۴۶٫۱۰۰°شمالی ۱۳٫۳۸۳°شرقی﻿ / 46.100; 13.383: مختصات: ۴۶°۶′ شمالی ۱۳°۲۳′ شرقی﻿ / ﻿۴۶٫۱۰۰°شمالی ۱۳٫۳۸۳°شرقی﻿ / 46.100; 13.383
کشور: ایتالیا
ناحیه: فریولی ونتزیا جولیا
استان / شهرستان: استان اودینه (UD)
دهستان: Bottenicco
حکومت: حکومت
 • شهردار: Manolo Sicco
مساحت: مساحت
 • کل: ۱۱٫۸۲ کیلومتر مربع (۴٫۵۶ مایل مربع)
ارتفاع: ۱۲۱ متر (۳۹۷ فوت)
جمعیت (مارس ۲۰۰۹): جمعیت (مارس ۲۰۰۹)
 • کل: ۱٬۶۳۸
 • تراکم: ۱۴۰/کیلومتر مربع (۳۶۰/مایل مربع)
اهلیت‌نام: Moimacchesi
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانه)
کد پستی: 33040
پیش‌شماره تلفن: 0432
قدیس پشتیبان: St. Mary of the Assumption
روز قدیس: 15 August
وبگاه: وبگاه رسمی
مویماکو (به ایتالیایی: Moimacco) یک کومونه در ایتالیا است که در استان اودینه واقع شده‌است.
خصوصیات

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

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Abdoul Moustapha Kaboré
زادروز:  ۱ ژانویهٔ ۱۹۹۶ ‏(۲۸ سال)
زادگاه:  بورکینافاسو
قد:  1.87 m
پست:  مهاجم
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  AS Muret
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۵–۲۰۱۸ |  باشگاه فوتبال متس |  ۸ |  (۴) |
| ۲۰۱۵–۲۰۱۸ |  باشگاه فوتبال متس |  ۱۴ |  (۱) |
| ۲۰۱۶–۲۰۱۷ |  ← باشگاه فوتبال سدان (قرضی) |  ۲۸ |  (۸) |
| ۲۰۱۷–۲۰۱۸ |  ← L'Entente SSG (قرضی) |  ۲۰ |  (۲) |
| ۲۰۱۸ |  ← باشگاه فوتبال سدان (قرضی) |  ۹ |  (۱) |
| ۲۰۱۹ |  Limoges |  ۱۱ |  (۳) |
| ۲۰۱۹ |  Croix |  ۸ |  (۱) |
| ۲۰۲۰– |  AS Muret |  ۵ |  (۰) |
تیم ملی‡: تیم ملی‡
| ۲۰۱۷– |  تیم ملی فوتبال بورکینافاسو |  ۱ |  (۰) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۸:۴۵, ۱۹ اوت ۲۰۲۰ (UTC).   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۴ ژوئن ۲۰۱۷:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۸:۴۵, ۱۹ اوت ۲۰۲۰ (UTC).   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۴ ژوئن ۲۰۱۷
مصطفی کابوره (انگلیسی: Moustapha Kaboré؛ زادهٔ ۱ ژانویهٔ ۱۹۹۶) بازیکن فوتبال اهل بورکینافاسو است.
از باشگاه‌هایی که در آن بازی کرده است می‌توان به باشگاه فوتبال متس اشاره کرد.
وی همچنین در تیم ملی فوتبال بورکینافاسو بازی کرده است.
منطقه ریچموند آپون تیمز لندن

| ریچموند آپون تیمز | ریچموند آپون تیمز |
| --- | --- |
منطقه: منطقه
London Borough of Richmond upon Thames: London Borough of Richmond upon Thames
  نشانCouncil logo:   نشانCouncil logo
نمایش ریچموند آپون تیمز در داخل لندن بزرگ: نمایش ریچموند آپون تیمز در داخل لندن بزرگ
کشور: بریتانیا
کشور: انگلستان
ناحیه: لندن بزرگ
شهرستان: لندن بزرگ
ایجادشده: 1 آوریل 1965
مقر مدیریت: توییکنهام
حکومت: حکومت
 • نوع: منطقه
 • نهاد: Richmond upon Thames London Borough Council
 • رهبری: لیبرال (Conservative)
 • شهردار: Nancy Baldwin (from May 2019)
 • London Assembly: Nancy Baldwin (from May 2019)
 • MPs: Munira Wilson (لیبرال) Sarah Olney (لیبرال)
مساحت: مساحت
 • کل: ۲۲٫۱۷ مایل مربع (۵۷٫۴۱ کیلومتر مربع)
 • رتبه: 262nd (of 317)
جمعیت (mid-2019 est.): جمعیت (mid-2019 est.)
 • کل: ۱۹۸٬۰۱۹
 • رتبه: 94th (of 317)
 • تراکم: ۸۹۰۰/مایل مربع (۳۴۰۰/کیلومتر مربع)
 • قومیت: ۷۱٫۴% سفیدپوست بریتانیایی ۲٫۵% ایرلندی سفیدپوست ۰٫۱%کولی سفیدپوست یا مسافر ایرلندی ۱۱٫۹% سایر سفیدپوستان ۰٫۷% سفیدپوست & سیاه‌پوستان کارائیبی ۰٫۴% سفیدپوست & سیاه‌پوستان آفریقایی ۱٫۵% سفیدپوست & آسیایی ۱% Other Mixed ۲٫۸% هندی ۰٫۶% پاکستانی ۰٫۵% بنگلادشی ۰٫۹% چینی ۲٫۵% سایر آسیایی ها ۰٫۹% سیاه‌پوستان آفریقایی ۰٫۴% سیاه‌پوست کارائیبی ۰٫۲% سایر سیاه‌پوستان  ۰٫۶% عرب ۱% Other
منطقهٔ زمانی: UTC (GMT)
 • تابستانی (DST): یوتی‌سی +۱ (BST)
Postcodes: TW, W, SW, KT
ONS code: 00BD
GSS code: E09000027
Police: Metropolitan Police
وبگاه: http://www.richmond.gov.uk/
منطقه ریچموند آپون تیمز لندن (به انگلیسی: London Borough of Richmond upon Thames) یک منطقه در بریتانیا است که در لندن واقع شده‌است.
این منطقه ۵۷.۴۱ کیلومترمربع مساحت و ۱۸۰٬۱۰۰ نفر جمعیت دارد.
خواهرخوانده

شهرهای کنستانتس و فونتنبلو خواهرخوانده‌های منطقه ریچموند آپون تیمز لندن هستند.
کنتور

کنتور برق (به انگلیسی: Electricity meter) وسیله‌ای است که مقدار انرژی الکتریکی را اندازه‌گیری می‌کند و بر حسب کیلو وات بر ساعت (ژول) نشان می‌دهد.
واحد اندازه‌گیری

معمولاً واحد اندازه‌گیری در کنتور کیلووات ساعت (kwh) است که برابر است با مقدار انرژی استفاده شده توسط یک بار یک کیلو واتی در طی یک ساعت یا ۳۶۰۰۰۰۰ ژول. بعضی از شرکت‌ها نیز از واحد مگا ژول استفاده می‌کنند.
توان راکتیو نیز با واحد کیلو وار ساعت(kvarh) اندازه‌گیری می‌شود.
روش‌های نمونه برداری جریان:
نمونه‌گیر ترانسی (CT sensor Current Transformer) :
در صورتی که خط دارای مؤلفه‌های DC مستقیم باشد این جریان از اولیه عبور می‌کند ولی توسط جریان مستقیم میدانی ا لقا نمی‌شود (نیروی محرکه القا شده تابعی از تغییرات جریان در اولیه است چون در جریان مستقیم این تغییرات صفر است از اینرو نیرویی القا نمی‌شود) از اینرو ترانس مقادیر DC را از خود عبور نمی‌دهد و این مشکل بزرگ این نمونه‌گیرها است.
نمونه‌گیر ترانسی متقابل جریان Mutual Current Transformer (MCT sensor)
نمونه‌گیری در این روش توسط ترانس انجام می‌شود که در آن سیم پیچ اولیه میدان القایی را ایجاد می‌کند و سیم پیچ ثانویه این میدان را دریافت می‌کند میزان نیروی محرک القایی که در ثانویه ایجاد می‌شود بستگی به تغییرات میدانی دارد که توسط جریان در سیم پچ اولیه به وجود می‌آید. از آنجایی که مقاومت مغناطیسی میان اولیه و ثانویه هوا است این مبدل را مبدل جریان متقابل یا MCT می‌نامند.
با این نمونه‌گیر اندازه‌گیری مؤلفه‌های DC خط امکانپذیر است به دلیل این که مقاومت مغناطیسی هوا است و در برابر این مؤلفه‌ها به اشباع نخواهد رفت. همچنین بهره بالا و محدوده دینامیکی خطی بالای این نمونه‌گیر از مزایای آن است.
نمونه‌گیر شنت Shunt
در این روش از مقاومتهای بسیار دقیق و کاملاً خطی در بازه کاری مورد نظر استفاده می‌شود. عموماً از مقاومتهای دقیق مانگانین یا زرانین با اهم‌های پایین استفاده می‌شود که علاوه بر خطی بودن مقاومت از ضریب حرارتی پایینی برخوردارند. همچنین در مقابل افزایش بار می‌بایستی حفاظت شده باشند با عبور جریان از این مقاومتهای حساس ولتاژی متناسب با جریان ایجاد شده و این ولتاژ به قسمت‌های دیگر انتقال داده می‌شود و مورد پردازش قرار می‌گیرند.
محوطه (کوشکهای میمند)

| محوطه (کوشکهای میمند) | محوطه (کوشکهای میمند) |
| --- | --- |
نام: محوطه (کوشکهای میمند)
کشور: ایران
استان: استان کهگیلویه و بویراحمد
شهرستان: شهرستان دنا
اطلاعات اثر: اطلاعات اثر
کاربری: محوطه، کوشک
دیرینگی: دوران‌های تاریخی پس از اسلام
دورهٔ ساخت اثر: دوران‌های تاریخی پس از اسلام
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۱۷۵۴۵
تاریخ ثبت ملی: ۶ اسفند ۱۳۸۵
محوطه (کوشکهای میمند) مربوط به دوران‌های تاریخی پس از اسلام است و در شهرستان دنا، بخش پاتاوه، روستای میمند واقع شده و این اثر در تاریخ ۶ اسفند ۱۳۸۵ با شمارهٔ ثبت ۱۷۵۴۵ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
قره‌کول (شهرستان تاق‌تاگل)

| قره‌کول | قره‌کول |
| --- | --- |
قره‌کول: قره‌کول
مختصات: ۴۱°۴۰′۴۸″ شمالی ۷۲°۵۸′۴۸″ شرقی﻿ / ﻿۴۱٫۶۸۰۰۰°شمالی ۷۲٫۹۸۰۰۰°شرقی﻿ / 41.68000; 72.98000: مختصات: ۴۱°۴۰′۴۸″ شمالی ۷۲°۵۸′۴۸″ شرقی﻿ / ﻿۴۱٫۶۸۰۰۰°شمالی ۷۲٫۹۸۰۰۰°شرقی﻿ / 41.68000; 72.98000
کشور: قرقیزستان
منطقه: استان جلال‌آباد
ارتفاع: ۱۴۳۸ متر (۴۷۱۸ فوت)
منطقهٔ زمانی: UTC +5
قره‌کول (به لاتین: Karakol') یک منطقهٔ مسکونی در قرقیزستان است که در استان جلال‌آباد واقع شده‌است. قره‌کول ۱٬۴۳۸ متر بالاتر از سطح دریا واقع شده‌است.
میوزکی فوجی

میوزکی فوجی (انگلیسی: Mizuki Fujii؛ زادهٔ ۵ اوت ۱۹۸۸) بدمینتون‌باز اهل ژاپن است.
مریم حسین

مریم حسین (۱۶ سپتامبر ۱۹۸۸) بازیگر مراکشی - عراقی است.
زندگی‌نامه

او در شهر تطوان مراکش به دنیا آمد و پدری عراقی و مادری مراکشی دارد. او بازیگری را از سال ۲۰۰۹ با حضور در سریال همسایگان آغاز کرد و پس از آن به کار ادامه داد. سریال خدمتکار شروع واقعی اوست و در سال ۲۰۱۱ تجربه خوانندگی را نیز داشت، همان موقع بود که تک آهنگی به نام مردان شفافا را ارائه کرد.
مادمازل (فیلم)

| مادمازل | مادمازل |
| --- | --- |
کارگردان: تونی ریچاردسون
تهیه‌کننده: Oscar Lewenstein
نویسنده: مارگریت دوراس، ژان ژنه
فیلمنامه‌نویس: مارگریت دوراس ژان ژنه
بازیگران: ژن مورو اتوره مانی اومبرتو اورسینی Paul Barge پی‌یر کوله آنتوان مارین گابریل گوبن Georges Aubert Georges Douking ژرار داریو
موسیقی: آنتوان دوامل
فیلم‌بردار: دیوید واتکین
تدوین‌گر: Sophie Coussein آنتونی گیبز
شرکت تولید: Woodfall Film Productions
توزیع‌کننده: Lopert Pictures Corporation
تاریخ‌های انتشار: ژوئن ۱۹۶۶ (فرانسه) اوت ۱۹۶۶ (ایالات متحده) ژانویه ۱۹۶۷ (بریتانیا)
مدت زمان: ۱۰۵ دقیقه
کشور: فرانسه بریتانیا
زبان: فرانسوی ایتالیایی
فروش گیشه: ۵۷۵٬۰۰۰ دلار
دوشیزه یا مادمازل (فرانسوی: Mademoiselle‎) یک فیلم فرانسوی-بریتانیایی در ژانر درام سیاه رمانتیک به کارگردانی تونی ریچاردسون محصول سال ۱۹۶۶ است. از بازیگران آن می‌توان به ژن مورو، اتوره مانی، اومبرتو اورسینی، گابریل گوبن و ژرار داریو اشاره کرد.
مسئله توقف

مسئله توقف (به انگلیسی: halting problem) در نظریه محاسبه‌پذیری، یک مسئله در مورد جواب‌دادن به این سوال است که: آیا از «توصیف یک برنامه رایانه‌ای اختیاری» و یک «ورودی»، مسئله اجرایش را «تمام(متوقف)» می‌کند، یا نه (یعنی برای همیشه اجرا خواهد شد). آلن تورینگ در سال ۱۹۳۶ اثبات کرد که یک الگوریتم همگانی برای حل مسئله توقف (یعنی برای همه جفت‌های «ورودی-برنامه» ممکن) وجود ندارد. یعنی مسئله توقف بر روی ماشین تورینگ تصمیم‌پذیر نیست.
مسئله توقف از دسته مسائل تصمیم‌گیری است که دربارهٔ صفات یک برنامه کامپیوتری با استفاده از یک ماشین تورینگ تعریف شده (ماشینی برنامه‌پذیر که قابلیت انجام هر محاسبه‌ای را دارد) بحث می‌کند. می‌توان به شکل زیر آن را بیان کرد:
اگر شرح یک برنامه و ورودی متناهی متناظر با آن را داشته باشیم آیا می‌توان تشخیص داد که این برنامه متوقف می‌شود یا تا ابد ادامه می‌یابد.
در این مسئله هیچ شرطی بر روی زمانی که طول می‌کشد تا برنامه تمام شود یا حافظه‌ای که اشغال می‌کند وجود ندارد، یعنی ممکن است اجرای برنامه زمان زیادی طول بکشد، یا حافظه زیادی اشغال شود تا برنامه تمام شود؛ یعنی سؤال این است که آیا بالاخره این برنامه تمام می‌شود یا تا ابد ادامه پیدا می‌کند.
آلن تورینگ از پیش‌گامان کار بر مسئله توقف بود.
مثال

برای مثال به برنامه زیر که به زبان سی نوشته توجه کنید:
int main(void)
{ while (1); }
این برنامه هیچ‌گاه متوقف نمی‌شود و در این حلقه گیر می‌کند. از طرف دیگر در برنامه زیر داریم:
int main(void) 
{
printf("Hello, world");
return 0;
}
که در این برنامه بدون توجه به ورودی متوقف می‌شود.
اهمیت و نتایج مسئله توقف

در کل مسئله توقف از این جنبه مشهور است که از اولین دسته مسائلی بود که تصمیم ناپذیر بود، بدین صورت که هیچ برنامه کامپیوتری با قابلیت جواب دادن به این سؤال به ازای جمیع ورودی‌ها پیدا نشد و اثبات شد که وجود ندارد. در نتیجه آن تعدادی زیادی مسائلی از این دست بیان شدند. راه حل رایج برای اثبات کردن اینکه یک مسئله تصمیم ناپذیر است استفاده از روش کاهیدن (reduction) است.
یکی از نتایج تصمیم ناپذیر بودن مسئله توقف این است که الگوریتمی عمومی برای پیدا کردن درستی یا نادرستی یک حکم دربارهٔ اعداد طبیعی وجود ندارد. چون می‌توان گزاره‌ای که نشان می‌دهد آیا یک الگوریتم با ورودی‌های مربوط به آن متوقف می‌شود یا نه را متناظر با یک حکم دربارهٔ اعداد طبیعی در نظر گرفت. چون می‌دانیم که این همان مسئله توقف است پس چنین الگوریتمی برای اعداد طبیعی پیدا نمی‌شود.
یکی دیگر از نتایج تصمیم ناپذیری مسئله توقف تئوری Rice's theorem است که می‌گوید به‌طور کلی نمی‌توان دربارهٔ درستی هرعبارت نا بدیهی (non-trival) مربوط به تابعی که توسط یک الگوریتم تعریف شده نظر داد. برای مثال نمی‌توان به سؤال «آیا این الگوریتم با ورودی 0 متوقف می‌شود یا نه» پاسخ قطعی داد. توجه کنید که این تئوری دربارهٔ تابعی که توسط الگوریتم تعریف شده نظر می‌دهد و نه دربارهٔ خود الگوریتم. برای مثال تشخیص اینکه یک الگوریتم در 100 مرحله متوقف می‌شود یا نه کار آسانی است و این یک گزاره دربارهٔ خود الگوریتم است و نه دربارهٔ تابع آن الگوریتم.
رسمی کردن مسئله توقف

تورینگ در اثبات خود ایده‌آلگوریتم را با تعریف ماشین تورینگ رسمی‌کرد، گرچه به هیچ وجه نتیجه مخصوص آن‌ها نیست و به‌طور مساوی در مدل‌های دیگر محاسبه که متناظر با توان محاسباتی با ماشین تورینگ هستند به کار بسته می‌شود مانند
markov algothims, Lambda calculus یا Post systems
موضوعی که در این باره بسیار حائز اهمیت است این است که رسمی سازی به ما اجازه تناظر بعضی از گونه‌های داده که الگوریتم می‌تواند ازآنها بهره ببرد با خود الگوریتم را می‌دهد.برای مثال اگر الگوریتم توابعی روی اعداد طبیعی تعریف شده‌است (مانند توابع محاسباتی) باید یک تناظر از روی الگوریتم به اعداد طبیعی باشد.تناظر به رشتهها آسان‌ترین کار است اما تبدیل رشته به عدد با تعریف آن‌ها به صورت اعداد در سیستم عددی n تایی امکان‌پذیر است.
اثبات

این اثبات نشان می‌دهد که یک تابع به ازای جمیع حالات که تصمیم بگیرد که برنامهٔ i با ورودی دلخواه x آیا متوقف می‌شود یا نه وجود ندارد؛ یعنی تابع h که با شرایط زیر وجود ندارد :
اگر برنامه متوقف شود
 h(x,i)=1
اگر برنامه متوقف نشود
 h(x,i)=0
زیرا اگر برنامه K را چنان فرض کنیم که به صورت زیر باشد به تناقض می‌رسیم:
Program K(program A)
{
if(h(A,A)==1)
{
While(true);
}
}
اگر فرض کنیم که خود این برنامه K به عنوان ورودی به خودش داده شود به تناقض خواهیم رسید زیرا اگر h(k,k)=1 در این صورت برنامه متوقف نخواهد شد و در while(true) خواهد ماند اما خود h(k,k)=1 به این معنا است که باید برنامه متوقف شود که تناقض می‌باشد . حالت h(k,k)=0 نیز مشابهاً به تناقض می‌رسد.
کلمنت بنهادوش

کلمنت بنهادوش (انگلیسی: Clement Benhaddouche؛ زادهٔ ۱۱ مهٔ ۱۹۹۶) بازیکن فوتبال است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه ورزشی کیتچی اشاره کرد.
کنود لوندبرگ

کنود لوندبرگ (دانمارکی: Knud Lundberg; ۱۴ مهٔ ۱۹۲۰ – ۱۲ اوت ۲۰۰۲) بازیکن فوتبال، بازیکن هندبال، بازیکن بسکتبال و نویسنده اهل دانمارک بود.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال اوبی اشاره کرد.
قره‌کول (جماعت)

| قره‌کول | قره‌کول |
| --- | --- |
جماعت: جماعت
کشور:  تاجیکستان
ولایت: کوهستان بدخشان
ناحیه: مرغاب
جمعیت: جمعیت
 • کل: ۳۵۳۲
منطقهٔ زمانی: یوتی‌سی ۵:۰۰+
قره‌کول جماعت و شهرکی در جنوب شرقی کشور تاجیکستان است که در ناحیهٔ مرغاب ولایت مختار کوهستان بدخشان قرار دارد. جمعیت این جماعت ۳،۵۳۲ است.
قلعه اربابی روستای سیدآباد

| قلعه اربابی روستای سیدآباد | قلعه اربابی روستای سیدآباد |
| --- | --- |
نام: قلعه اربابی روستای سیدآباد
کشور: ایران
استان: استان لرستان
شهرستان: شهرستان ازنا
اطلاعات اثر: اطلاعات اثر
کاربری: قلعه
دیرینگی: دوره قاجار
دورهٔ ساخت اثر: دوره قاجار
اطلاعات ثبتی: اطلاعات ثبتی
شمارهٔ ثبت: ۴۸۷۴
تاریخ ثبت ملی: ۱۹ اسفند ۱۳۸۰
قلعه اربابی روستای سیدآباد مربوط به اواخر دوره قاجار است و در شهرستان ازنا، روستای سیدآباد واقع شده و این اثر در تاریخ ۱۹ اسفند ۱۳۸۰ با شمارهٔ ثبت ۴۸۷۴ به‌عنوان یکی از آثار ملی ایران به ثبت رسیده است.
لیدیا کاچو

| لیدیا کاچو | لیدیا کاچو |
| --- | --- |
زادهٔ: ۱۲ آوریل ۱۹۶۳ ‏(۶۱ سال) مکزیکو سیتی، مکزیک
پیشه: روزنامه‌نگار
سازمان: Red Internacional de Periodistas con Visión de Género
جوایز: ژینتا ساگان (۲۰۰۷) UNESCO/Guillermo Cano World Press Freedom Prize (2008) جایزه اولاف پالمه (۲۰۱۱)
لیدیا کاچو ریبیرو (۱۹۶۳) روزنامه‌نگار و فعال حقوق بشر فمینیست مکزیکی است.
خانم ریبئیرو که زاده ۱۹۶۳ در مکزیک است، از جوانی وارد عرصه روزنامه‌نگاری شد و در این مدت در روزنامه صدای کارائیب با تحقیقات گسترده خود دخالت پلیس و مقامات دولتی در قاچاق انسان در مکزیک را افشا کرد. او در زمان فعالیتش بارها از سوی هم پلیس و هم قاچاقچیان تهدید به مرگ شد اما دست از کار نکشید.
زندگی شخصی و حرفه‌ای

لیدیا از مادری پرتغالی-فرانسوی زاده شد که در جنگ جهانی اول به مکزیک مهاجرت کرد و با یک مهندس مکانیک ارتشی ازدواج کرد. لیدیا کاچو، خود با یک خارجی آشنا شد و در ۲۲ سالگی (سال ۱۹۸۵) به Cancún در استان Quintana Roo رفت. در آنجا روزنامه‌نگاری را در بخش فرهنگی روزنامه اخبار کانکون آغاز کرد و یک دهه بعد خود مقالاتی در Por Esto دربارهٔ روسپیگری زنان کوبایی و آرژانتینی در مکزیک می‌نوشت. در این سال‌ها او بر مسئله سوءاستفاده جنسی از اقلیت‌ها و به ویژه پروندهٔ سوءاستفاده جنسی هتل‌دار محلی از یک دختر، تمرکز داشت.
او کتابی با عنوان اهریمنان باغ بهشت نوشت که در آن دست داشتن یک تاجر مکزیکی-آمریکایی را در پورنوگرافی کودکان و روسپیگری افشا کرده بود. این کتاب که بر اساس یک فیلم‌برداری مخفی نوشته شده بود، همچنین سیاست‌مداران مهمی را نیز به همکاری و حمایت از این شخص متهم کرده بود.
یکی از این سیاست‌مداران، فرماندار استان پواولا بود که چندی بعد لیدیا را به عنوان «افترا» متهم کرد. در پی آن گروهی از افراد پلیس لیدیا را به‌طور غیرقانونی دستگیر کردند. در سال ۲۰۰۶ روزنامه La Jornada در مکزیکو سیتی مکالمه تلفنی این فرماندار با دیگر سیاست‌مدارانی که در ماجرا دست داشتند را افشا کرد که دربارهٔ به زندان انداختن لیدیا کاچو و کتک زدن او برای وادار کردنش به سکوت تصمیم‌گیری می‌کردند. در سال ۲۰۰۷ دادگاه عالی ادعا کرد زندانی شدن لیدیا کاچو برخلاف قانون نبوده‌است. در پی آن شورای حقوق بشر سازمان ملل متحد (دفتر حقوق بشر سازمان ملل متحد) به کاچو توصیه کرد کشورش را ترک کند و از دادگاه‌های بی‌طرف کمک بگیرد.
از دیگر کارهای برجسته او تحقیق در مورد قتل خشونت‌آمیز صدها زن جوان در شهر خوارز در شمال مکزیک در سال ۲۰۰۶ است.
جایزه‌ها

۳ مه ۲۰۰۸، جایزه جهانی مطبوعات - رئیس هیئت داوران گفت: «ریبئیرو به خاطر شجاعت در پرداختن به موضوعات فساد سیاسی، جرایم دولتی، خشونتهای داخلی و نیز تلاش بی‌وقفه در مبارزه با این گونه تخلفات، هیئت داوران را تحت تأثیر قرار داد.»
پایه‌گذار این جایزه یونسکو است و هیئت داوران این جایزه از ۱۴ روزنامه‌نگار و سردبیر مطبوعات تشکیل می‌شود. ارزش آن ۲۵ هزار دلار است.
۲۰۰۷، جایزه گینه تاساگان سازمان عفو بین‌الملل - برای دفاع از حقوق کودکان و زنان.
۲۰۰۶، جایزه فرانسیسکو اوجدا برای شجاعت در روزنامه‌نگاری.
لیگزوز

غرمول شیمیایی لیگزوز
لیگزوز یکی از مونوساکارید‌هایی است که در طبیعت بسیار نادر و کمیاب است. این مونوساکارید ۵ کربنی، را می‌توان در برخی از گلیکوپروتئین‌های ساخته شده توسط باکتری‌ها یافت. نام آیوپاک این مونوساکارید عبارت است از (2R,3R,4S)-2,3,4,5-Tetrahydroxypentanal .
ساختار لیگزوز

لیگزوز یک آلدوپنتوز ات یعنی مونوساکاریدی است با ۵ کربن که دارای یک گروه آلدهید است. در مدل فیشر، گروه‌های هیدروکسیل کربن‌های ۲ و ۳ به سمت چپ بوده و گروه‌های هیدروکسیل کربن‌های ۴ و ۵ به سمت راست قرار می‌گیرند. فرمول شیمیایی لیگزوز C5H10O5 است.
این مونوساکارید در فرم حلقوی غالباً به شکل پیرانوز دیده می‌شود یعنی یک حلقه ی ۶ ضلعی تشکیل می‌دهد.
محوطه آباده

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

| ماجرا | ماجرا |
| --- | --- |
کارگردان: ویکتور فلمینگ
تهیه‌کننده: آدولف زوکور جسی لوئیس لسکی ویکتور فلمینگ
نویسنده: گوردون ریگبی اِی. پی. یانگر
بر پایه: ماجرا اثر جک لندن
بازیگران: تام مور پالین استارک والاس بیری ریموند هاتون دوک کاهاناموکو
فیلم‌بردار: چارلز شونباوم
توزیع‌کننده: پارامونت پیکچرز
تاریخ‌های انتشار:  ۱۴ آوریل ۱۹۳۵ (۱۹۳۵-04-۱۴)  
کشور: آمریکا
زبان: فیلم صامت (با میان‌متن انگلیسی)
ماجرا (انگلیسی: Adventure) نام یک فیلم صامت سیاه و سفید گمشده در سبک درام به کارگردانی ویکتور فلمینگ است در سال ۱۹۲۵ منتشر شد. این فیلم بر پایهٔ رمانی به همین نام اثر جک لندن ساخته شده‌است.
بازیگران

تام مور
پالین استارک
والاس بیری
ریموند هاتون
والتر مک‌گری
دوک کاهاناموکو
نابل جانسون
ماجر (صربستان)

| ماجر (صربستان) | ماجر (صربستان) |
| --- | --- |
روستا: روستا
ماجر (صربستان)موقعیت ماجر (صربستان) در نقشه: ماجر (صربستان)موقعیت ماجر (صربستان) در نقشه
مختصات: ۴۳°۵۶′ شمالی ۲۰°۰۳′ شرقی﻿ / ﻿۴۳٫۹۳۳°شمالی ۲۰٫۰۵۰°شرقی﻿ / 43.933; 20.050: مختصات: ۴۳°۵۶′ شمالی ۲۰°۰۳′ شرقی﻿ / ﻿۴۳٫۹۳۳°شمالی ۲۰٫۰۵۰°شرقی﻿ / 43.933; 20.050
کشور:  صربستان
ناحیه: ناحیه زلاتیبور
شهرداری: Požega
جمعیت (۲۰۰۲): جمعیت (۲۰۰۲)
 • کل: ۱۵۳
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
 • تابستانی (DST): یوتی‌سی +۲ (ساعت تابستانی اروپای مرکزی)
ماجر (به صربی: Mađer) یک منطقهٔ مسکونی در صربستان است که در Požega واقع شده‌است. ماجر ۱۵۳ نفر جمعیت دارد.
میوزیشی

| میوزیشی | میوزیشی |
| --- | --- |
Musa × paradisiaca: Musa × paradisiaca
رده‌بندی علمی: رده‌بندی علمی
فرمانرو:: گیاه
(طبقه‌بندی‌نشده):: گیاهان گلدار
(طبقه‌بندی‌نشده):: تک‌لپه‌ای‌ها
(طبقه‌بندی‌نشده):: دولپه‌ای‌های کاملینید
راسته:: زنجبیل‌سانان
تیره:: Musaceae Juss.
سرده‌ها: سرده‌ها
 Ensete  موز (سرده):  Ensete  موز (سرده)
  Musaceae distribution:   Musaceae distribution
میوزیشی (نام علمی: Musaceae) نام یک تیره از راسته زنجبیل‌سانان است.
مارتین هارنیک

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 هارنیک با اتریش در سال ۲۰۱۵:  هارنیک با اتریش در سال ۲۰۱۵
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  مارتین هارنیک
زادروز:  ۱۰ ژوئن ۱۹۸۷ ‏(۳۷ سال)
زادگاه:  هامبورگ، آلمان غربی
قد:  ۱٫۸۵ متر (۶ فوت ۱ اینچ)
پست:  مهاجم / وینگر
شمارهٔ پیراهن:  ۱۴
باشگاه‌های جوانان: باشگاه‌های جوانان
۱۹۹۲–۲۰۰۵:  فیر-اوند مارشلانده
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۵ |  فیر-اوند مارشلانده |  ۱۰ |  (۱۴) |
| ۲۰۰۶–۲۰۰۹ |  وردربرمن بی |  ۴۸ |  (۱۳) |
| ۲۰۰۷–۲۰۱۰ |  وردر برمن |  ۱۷ |  (۱) |
| ۲۰۰۹–۲۰۱۰ |  ← فورتونا دوسلدورف (قرضی) |  ۳۰ |  (۱۳) |
| ۲۰۱۰–۲۰۱۶ |  اشتوتگارت |  ۱۷۳ |  (۵۲) |
| ۲۰۱۶–۲۰۱۸ |  هانوفر ۹۶ |  ۶۰ |  (۲۶) |
| ۲۰۱۸– |  وردر برمن |  ۲۰ |  (۴) |
| ۲۰۱۹–۲۰۲۰ |  هامبورگ (قرضی) |  ۲۳ |  (۳) |
| ۲۰۲۰– |  TuS Dassendorf |  ۶۲ |  (۸۶) |
تیم ملی‡: تیم ملی‡
| ۲۰۰۶ |  زیر ۱۹ سال اتریش |  ۱۱ |  (۲) |
| ۲۰۰۶–۲۰۰۷ |  زیر ۲۰ سال اتریش |  ۷ |  (۰) |
| ۲۰۰۷–۲۰۰۹ |  زیر ۲۱ سال اتریش |  ۳ |  (۱) |
| ۲۰۰۷–۲۰۱۷ |  اتریش |  ۶۸ |  (۱۵) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۸:۵۴, ۱۲ مه ۲۰۱۸ (UTC).   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۲۰ سپتامبر ۲۰۲۳:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۸:۵۴, ۱۲ مه ۲۰۱۸ (UTC).   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۲۰ سپتامبر ۲۰۲۳
مارتین هارنیک (آلمانی: Martin Harnik؛ زادهٔ ۱۰ ژوئن ۱۹۸۷) بازیکن فوتبال اهل اتریش است که در پست مهاجم بازی می کند.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به وردر برمن، فورتونا دوسلدورف، اشتوتگارت و هانوفر ۹۶ اشاره کرد.
وی همچنین در تیم ملی فوتبال اتریش بازی کرده‌است.
مسئله تصمیم

مسئله تصمیم
به زبان صوری، مسئله تصمیم (Decision problem) در نظریهٔ محاسبات به مجموعه‌ای از سؤالات مربوط به‌هم اطلاق می‌شود، به‌طوری که هر یک از پرسش‌ها جواب بلی یا خیر داشته باشد.
چکیده

در نظریه شمارش و همچنین پیچیدگی محاسباتی، مسئله تصمیم‌گیری، سؤالی با پاسخ بله یا خیر می‌باشد که به ورودی بستگی دارد. برای مثال در مسئله "با داشتن X و Y آیا X بر Y بخشپذیر است"یک مسئله تصمیم‌گیری است؛ که جواب آن می‌تواند بله یا خیر بر اساس مقادیر X و Y باشد.
روشی که به شکل الگوریتم برای حل یک مسئله تصمیم‌گیری ارائه می‌شود فرایند تصمیم‌گیری برای آن مسئله نامیده می‌شود. فرایند تصمیم‌گیری برای مسئله"با داشتن X و Y آیا X بر Y بخشپذیر است؟"شامل گام‌های لازم برای مشخص کردن این است که آیا X بر Y تقسیم می‌شود یا خیر. الگوریتم به کار رفته در این مسئله تقسیم است، اگر باقی مانده صفر شود جواب مثبت است در غیر اینصورت خیر. به سؤالی که با الگوریتم قابل حل باشد تصمیم پذیر می‌گویند.