payamvha/North_RAG huggingface dataset:
بیرون کرده می‌شد. گزارش‌ها می‌گوید که شاه توسط حکومت افغانستان در ۲۰۰۲ میلادی اعدام شد. زرداد در ۱۹۹۸ میلادی برای این‌که در جریان حکومت طالبان مورد آزار و اذیت قرار نگیرد، با استفاده از گذرنامه جعلی به بریتانیا فرار کرد و در آن‌جا درخواست پناهندگی داد. وی موضوع یک افشاگری در برنامه تلویزیونی BBC بنام "نیوزنایت" بود که برای نخستین بار در ۲۶ ژوئیه ۲۰۰۰ منتشر شد. حضور زرداد در لندن میان یکی از گزارشگران BBC بنام جان سیمپسون و وزیر خارجه طالبان در کابل به‌نام وکیل احمد متوکل در جریان مصاحبه‌ای در ۱۹۹۹ میلادی
وکیل احمد متوکل در جریان مصاحبه‌ای در ۱۹۹۹ میلادی مورد بحث قرار گرفته بود. وزیر خارجه به یکی از پرسش‌ها این‌گونه پاسخ داده بود، «خوب، شما بریتانیایی‌ها به قوماندان زرداد مجرم پناه می‌دهید». بی‌بی‌سی توانست پس از حدود یک سال در نهایت زرداد را ردیابی کند، وی در منطقه میتچم-ساری زندگی می‌کرد. سیمپسون با وی در برنامه نیوزنایت مصاحبه نمود و در این مصاحبه زرداد ادعا کرد که وی در کابل مستقر بود و تنها یک بار به عنوان مشاور فرمانده محلی از سروبی دیدار کرده بود. پس از گزارش بی‌بی‌سی، جمعیت انقلابی زنان افغانستان
از گزارش بی‌بی‌سی، جمعیت انقلابی زنان افغانستان (RAWA) یک کارزار بین‌المللی را آغاز نموده و از دولت بریتانیا درخواست نمودند تا زرداد را محاکمه کند. آن‌ها بیانیهٔ به زبان‌های مختلف صادر نموده و از طریق اینترنت آنرا منتشر نمودند. جمعیت انقلابی زنان افغانستان هم‌چنین گزارشی را تحت عنوان «برخی گزارش‌های جرایم مرتکب شده توسط زرداد در افغانستان» نشر نمودند که بعداً در محاکمه علیه وی استفاده شد. زرداد توسط افسران مبارزه با تروریزم اسکاتلندیارد در ۱۰ مه ۲۰۰۳ برای مدت کوتاهی دست‌گیر گردید و سپس با قید ضمانت آزاد
مدت کوتاهی دست‌گیر گردید و سپس با قید ضمانت آزاد شد، اما وی مجدداً به تاریخ ۱۴ ژوئیه ۲۰۰۳ دست‌گیر شد و در این زمان وی در استراتام زندگی می‌کرد و از سه سال تا آن زمان یک دوکان پتزا در بکسلیهیت داشت. محکمه‌ها. نخستین محکمه. زرداد یک روز پس از دست‌گیری متهم به ارتکاب ۱۶ جرم شد، که وی در جریان جنگ داخلی افغانستان در اوایل دهه ۱۹۹۰ زمانی‌که فرمانده نظامی بود، مرتکب شده بود. ۹ اتهام تحت بخش §۱۳4 (1) قانون عدالت کیفری ۱۹۸۸ بر وی وارد بود، مبنی بر این‌که وی زمانی‌که فرمانده نظامی در منطقه سروبی افغانستان بود به
فرمانده نظامی در منطقه سروبی افغانستان بود به عنوان بخشی از مسئولیت رسمی خود افراد را شکنجه می‌کرد یا دستور شکنجه را می‌داد؛ ۵ اتهام تحت بخش §1 (1) قانون گروگان‌گیری ۱۹۸۲ بر وی وارد بود، مبنی بر این‌که وی گروگان‌ها را زندانی می‌کرد و از آن‌ها برای اخاذی استفاده می‌نمود؛ و ۲ اتهام تحت بخش §1 (1) قانون حقوق جزای ۱۹۷۷ بر وی وارد، مبنی بر این‌که وی دستور شکنجه و گروگان‌گیری را می‌داد یا در آن جرایم تبانی داشت. هرچند جرایم مورد ادعا در خارج از انگلستان رخ داده بود، اما لردهای حقوقی در مارس ۱۹۹۹ هنگام بررسی
بود، اما لردهای حقوقی در مارس ۱۹۹۹ هنگام بررسی قضیهٔ علیه جنرال آگوستو پینوشه حکم داده بودند که شکنجه یک جرم مربوط به حوزه قضایی بین‌المللی است و از این‌رو می‌تواند در درون انگلستان محاکمه شود؛ در واقع انگلستان بر اساس کنوانسیون شکنجه ملل متحد مکلف بود تا کسی را که متهم به شکنجه محتمل است یا اخراج یا محاکمه نماید. به همین‌گونه گروگان‌گیری نیز تحت کنوانسیون بین‌المللی علیه گروگان‌گیری یکی از جرایم مربوط به حوزه قضایی بین‌المللی است. این محکمه در اکتبر ۲۰۰۴ برگزار گردید و زرداد در رابطه به هیچ‌کدام از
۲۰۰۴ برگزار گردید و زرداد در رابطه به هیچ‌کدام از اتهام‌ها گناه‌کار شناخته نشد. قاضی، لرد گولدسمیت، در جریان محکمه گفت که وی باور دارد این نخستین باری است که کسی در مقابل جرایمی که در یک حوزه قضایی انجام داده‌است در حوزه قضایی دیگر محاکمه می‌گردد. یکی از شاهدان گواهی داد که وی در یک پوسته بازرسی از سوی مردان که نقاب بر چهره داشتند متوقف شده و سپس به یک چوکی آهنی بسته شد و مورد بازجویی و شکنجه قرار گرفت. شاهد دیگر که راننده لاری بود ادعا نمود که وی برای مدت شش ماه زندانی شده بود تا این‌که برادر وی یک مقدار
شش ماه زندانی شده بود تا این‌که برادر وی یک مقدار پول برای آزادی وی پرداخت. زرداد نیز آنچه قبلاً به پولیس بریتانیا گفته بود که وی یک دوره آموزشی ۱۵ روزه در یک کمپ را سپری نموده و در آن‌جا نحوه استفاده از کلاشنکوف، راکت و سایر سلاح‌ها را فرا گرفته، را رد کرد. با این وجود، هیئت منصفه نتوانست حکمی اعلام کند. دومین محکمه. زرداد بار دیگر در ۲۰۰۵ با اتهام‌های تبانی در شکنجه و تبانی در گروگان‌گیری که هر دو برخلاف قانون حقوق جزای ۱۹۷۷ بود، محاکمه شد. مدارک از ۱۶ شاهد گرفته شده و از طریق لینک ویدیویی به سفارت
۱۶ شاهد گرفته شده و از طریق لینک ویدیویی به سفارت بریتانیا در کابل تسلیم شده بود. هم‌مانند محکمه نخست، یک فرمان محکمه از افشا سازی هویت بیشتر قربانیان و شاهدها جلوگیری کرد، از ترس این‌که مبادا آن‌ها در خطر انتقام‌جویی قرار نگیرند. این محکمه شامل شواهد ذیل بود: پیامد. هیئت منصفه در دومین محکمه به تاریخ ۱۸ ژوئیه ۲۰۰۵ وی را مجرم اعلام کرد. وی به ۲۰ سال زندان محکوم شد – ۲۰ سال زندان برای هر کدام از دو مجرم ثابت شده که به‌طور هم‌زمان سپری می‌شود. قاضی، آقای دادرس کولمان تریسی، QC، توصیه نمود که زرداد باید پس از
کولمان تریسی، QC، توصیه نمود که زرداد باید پس از آزاد شدن از زندان از بریتانیا خارج شود. ویدئویی با عنوان «"سگِ زرداد"»، بخشی از محکمه ۲۰۰۲ عبدالله شاه در کابل، از نمایشگاه اکتبر ۲۰۰۴ جایزه ترنر در تیت گالری چندی قبل از محکمه اولی بیرون کشیده شد، تا از احتمال پی‌گیری به دلیل اهانت به دادگاه خودداری شود. این ویدیو تا ۳ اکتبر ۲۰۰۵ همگانی نشده بود.
بناهای دفاعی ونیز میان سده‌های ۱۶ و ۱۷ میلادی یک میراث جهانی یونسکو است که شامل شش دژ سنگری و استحکامات ساخته شده به‌دست جمهوری ونیز است. با افزایش جنگ با سلاح گرم در دوران رنسانس، تغییرات قابل توجهی در استراتژی نظامی و طراحی دژها ایجاد شد. یکی از این تغییرات توسعه دژ استحکامات با دژی چند ضلعی با سنگرهایی در گوشه و کنار بود. این طرح‌ها از جمهوری ونیز سرچشمه گرفتند، اما به زودی در سراسر اروپا گسترش یافتند و تا سده ۱۹ میلادی استاندارد دفاعی باقی ماندند. در سال ۲۰۱۷، شش مورد از این استحکامات در ایتالیا، کرواسی
۲۰۱۷، شش مورد از این استحکامات در ایتالیا، کرواسی و مونته‌نگرو به عنوان میراث جهانی یونسکو فهرست شد. این شش مکان نمونه‌های بنیادی از طراحی دژها را ارائه می‌دهند و تأثیر ونیز دوران رنسانس را نشان می‌دهند که گواهی بر پیشرفت بزرگی در تاریخ جنگ هستند.
پیش‌واکشی حافظه نهان ، تکنیکی است که توسط پردازنده‌های رایانه انجام می‌شود و برای تقویت عملکرد اجرای برنامه‌ها است. در این تکنیک، پردازنده دستورالعمل‌ها یا داده‌ها را از حافظه اصلی (حافظه کندتر) به یک حافظه محلی (حافظه تندتر) قبل از اینکه واقعاً مورد نیاز باشد بازیابی می‌کند (از این رو اصطلاح 'prefetch' نامیده می‌شود). اکثر پردازنده‌های کامپیوتری مدرن، دارای حافظه نهان سریع و محلی هستند که داده‌های بازیابی شده را تا زمانی که مورد استفاده قرار نگرفته‌اند در خود نگه می‌دارند. معمولاً عملیات پیش واکشی در حافظه
نگه می‌دارند. معمولاً عملیات پیش واکشی در حافظه اصلی صورت می‌گیرد. به دلیل طراحی پردازنده‌ها، معمولاً دسترسی به حافظه‌های نهان بسیار سریع‌تر از دسترسی به حافظه اصلی است، بنابراین واکشی اولیه داده‌ها و سپس دسترسی به آن‌ها از طریق حافظه نهان معمولاً چندین مرتبه سریع‌تر از دسترسی مستقیم به آن‌ها از حافظه اصلی است. واکشی اولیه را می‌توان با دستورالعمل‌های کنترل حافظه پنهان غیر مسدود کننده (non-blocking) انجام داد. مقایسه پیش واکشی حافظه نهان در داده‌ها با دستورالعمل‌ها. پیش واکشی حافظه نهان می‌تواند داده‌ها یا
پیش واکشی حافظه نهان می‌تواند داده‌ها یا دستورالعمل‌ها را در حافظه پنهان بازیابی کند. مقایسه پیش واکشی حافظه نهان سخت‌افزار با نرم‌افزار. پیش واکشی حافظه نهان می‌تواند توسط سخت‌افزار یا نرم‌افزار انجام شود. روش‌های پیش واکشی سخت‌افزاری. بافرهای جریان (Stream buffers). روش دیگری برای پیش واکشی دستورالعمل‌ها، پیش واکشی تعدادی آدرس به صورت دنباله هستند. این روش عمدتاً زمانی استفاده می‌شود که بلوک‌های متوالی که قرار است از قبل واکشی شوند، دارای s آدرس جدا از هم هستند،این روش Strided Prefetching نام دارد.
از هم هستند،این روش Strided Prefetching نام دارد. روش‌های پیش واکشی نرم‌افزاری. پیش واکشی هدایت شده توسط کامپایلر. پیش واکشی هدایت شده توسط کامپایلر، در حلقه‌هایی با تعداد زیاد تکرار استفاده می‌شود. در این تکنیک، کامپایلر cache misses را پیش‌بینی می‌کند و یک دستورالعمل پیش واکشی بر اساس جریمه خطا و زمان اجرای دستورالعمل‌ها ایجاد می‌کند. این پیش واکشی‌ها عملیات حافظه غیر مسدود هستند، یعنی این دسترسی‌های حافظه با دسترسی‌های واقعی حافظه تداخلی ندارند، وضعیت پردازنده را تغییر نمی‌دهند و همچنین باعث وقوع خطا در
را تغییر نمی‌دهند و همچنین باعث وقوع خطا در پردازنده نمی‌شوند. یکی از مزیت‌های اصلی پیش واکشی نرم‌افزار، کاهش تعداد cache misses است. مثال زیر نشان می‌دهد که چگونه یک دستورالعمل پیش واکشی به یک کد برای بهبود عملکرد حافظه پنهان اضافه می‌شود. یک حلقه for را در نظر بگیرید: for (int i=0; i&lt;1024; i++) { array1[i] = 2 * array1[i]; در هر تکرار، i امین عنصر از آرایه "array1" قابل دسترسی است؛ بنابراین، می‌توانیم عناصری را که در تکرارهای بعدی به آن نیاز داریم را با قرار دادن یک دستورالعمل "prefetch" مانند شکل زیر
قرار دادن یک دستورالعمل "prefetch" مانند شکل زیر پیش واکشی کنیم: for (int i=0; i&lt;1024; i++) { prefetch (array1 [i + k]); array1[i] = 2 * array1[i]; اینجا، گام پیش واکشی، formula_1 به دو عامل بستگی دارد، cache miss penalty و زمان لازم برای اجرای یک تکرار حلقه for. به عنوان مثال، اگر یک تکرار از حلقه ۷ سیکل طول بکشد تا اجرا شود، cache miss penalty چهل و نه چرخه باشد. داریمformula_4. که به این معنی است که باید ۷ عنصر را پیش واکشی کنیم. در زمان اولین تکرار، i=۰ خواهد بود، بنابراین عنصر هفتم را پیش واکشی
i=۰ خواهد بود، بنابراین عنصر هفتم را پیش واکشی می‌کنیم. با همین منوال، ۷ عنصر اول (i=۰-&gt;۶) همچنان پیش واکشی می‌شوند (به عبارتی دیگر هر عنصر از آرایه۱ در یک خط‌کش برای خودش قرار دارد). معیارهای پیش واکشی حافظه پنهان. سه معیار اصلی برای پیش واکشی حافظه پنهان وجود دارد پوشش. پوشش، نسبت تعداد cache misses پیشگیری شده به خاطر پیش واکشی به تعداد کل cache misses است: formula_5 ، جایی که، formula_6 دقت. دقت، نسبت پیش واکشی مفید (آدرس‌های پیش واکشی شده توسط برنامه) به کل پیش واکشی‌ها. formula_7 در حالی که به نظر
به کل پیش واکشی‌ها. formula_7 در حالی که به نظر می‌رسد داشتن دقت کامل به معنای عدم وجود خطا است، اگر بلوک‌های پیش واکشی شده مستقیماً در حافظه پنهان قرار گیرند، خود پیش واکشی‌ها ممکن است منجر به خطاهای جدیدی شوند. اگرچه این مورد ممکن است کسر کوچکی از تعداد کل پیش واکشی‌ها باشد ولی احتمالش صفر نیست. به موقع بودن. گوییم یک پیش واکشی به موقع است اگر حدفاصل زمان بین پیش واکشی و واکشی کم باشد. یک مثال برای توضیح بیشتر به موقع بودن به شرح زیر است: یک حلقه for را در نظر بگیرید که در آن هر تکرار ۳ چرخه برای اجرا و
نظر بگیرید که در آن هر تکرار ۳ چرخه برای اجرا و عملیات پیش واکشی ۱۲ چرخه طول می‌کشد. این بدان معناست که برای اینکه داده‌های پیش واکشی شده مفید باشند، باید پیش واکشی را formula_8 تکرار قبل از استفاده اصلی انجام دهیم.
برنامه‌ریزی منابع شبکه ، یک فرایند پیشرفته برنامه ریزی شبکه است که شامل رشته‌های برنامه ریزی تجاری، بازاریابی و مهندسی برای توسعه طرح‌های جامع و پویا برای همه حوزه‌های شبکه‌های ارتباطی است. خدمات نسل بعدی. بسیاری از ارائه دهندگان خدمات ارتباطی - از خطوط سیمی، بی‌سیم، پهنای باند گرفته تا حامل نسل‌های بعدی بعدی - خدمات نسل بعدی مانند ویدئوهای تعاملی از طریق تلفن‌های همراه و تماس‌های کنفرانس چند کاربره را معرفی می‌کنند. این سرویس‌های جدید ظرفیت شبکه‌های موجود را تحت فشار قرار می‌دهند. در ۲۰۰۶ رویترز مصاحبه،
را تحت فشار قرار می‌دهند. در ۲۰۰۶ رویترز مصاحبه، John Roese، مدیر ارشد فناوری شرکت نورتل، اشاره کرد که یوتیوب تقریباً در اینترنت، نابود است و در یک نطق اصلی سخنرانی در کنفرانس تحلیلگر C-فرار سیسکو در دسامبر سال ۲۰۰۶، جان چمبرز، مدیر عامل شرکت شبکه سیسکو گفت: «چیزهایی مانند یوتیوب تنها مراحل اولیه تاثیر ویدیویی است که روی شبکه‌ها خواهد داشت.» از آنجایی که هر انتقال ویدئو تقریباً ۱۵۰ برابر پهنای باند انتقال صدا نیاز دارد، تخمین زده می‌شود که پذیرش یک درصد از سرویس Verizon Wireless V CAST مستلزم افزایش ۴۰۰
سرویس Verizon Wireless V CAST مستلزم افزایش ۴۰۰ درصدی در ظرفیت شبکه متناظر Verizon است. ماهیت پهنای باند شدید سرویس‌های نسل بعدی، نیاز به برنامه ریزی شبکه سنتی برای تکامل دارد. رشد مشترک سرویس‌های قدیمی مانند صدا و داده تأثیر فزاینده‌ای بر شبکه‌ها داشت. اشتراک‌های جدید و تقاضای پهنای باند مربوطه آنها از منحنی رشد نسبتاً خطی پیروی کردند. به این ترتیب، روش‌های برنامه‌ریزی مانند پیش‌بینی ویژه پیوند و گره یا «روند» برای اطمینان از اینکه شبکه‌ها می‌توانند از مشترکین فعلی و برنامه‌ریزی شده پشتیبانی کنند، کافی
فعلی و برنامه‌ریزی شده پشتیبانی کنند، کافی بودند. نوسانات چشمگیر تقاضای پهنای باند که تغییرات جزئی در نرخ اشتراک در شبکه‌های حامل خدماتی مانند ویدئو ایجاد می‌کند، دیگر نمی‌تواند به اندازه کافی با این روش‌های سنتی برنامه ریزی شود. برنامه ریزی منابع شبکه با استفاده از برنامه ریزی تجاری و بینش بازاریابی در فرایند برنامه ریزی، نقاط ضعف روند را برطرف می‌کند. افزودن تحلیل بازار یک لایه اضافی از زمینه اضافه می‌کند و یک حلقه بازخورد فراهم می‌کند که برنامه ریزی دقیق تری را امکان‌پذیر می‌کند. علاوه بر این، اهمیت
تری را امکان‌پذیر می‌کند. علاوه بر این، اهمیت هماهنگی فعالیت‌های سرمایه‌گذاری زیرساخت در بین سازمان‌ها برای اطمینان از اینکه ظرفیت شبکه در زمان و مکان مورد نیاز فراهم می‌شود و منابع سیستم پشتیبانی انسانی و عملیاتی به‌طور مناسب در فرایند برنامه‌ریزی گنجانده می‌شود، مورد توجه قرار می‌گیرد. شبکه‌های نسل بعدی. نیازهای پهنای باند سرویس‌های نسل بعدی فشار بیشتری را بر اپراتورها وارد کرده‌است تا از شبکه‌های سنتی مانند PSTN و TDMA به شبکه‌های مبتنی بر پروتکل اینترنت (IP) جدید یا شبکه‌های نسل بعدی مهاجرت کنند که
(IP) جدید یا شبکه‌های نسل بعدی مهاجرت کنند که می‌توانند به‌اندازه کافی‌تر از خدمات جدید پشتیبانی کنند. برنامه ریزی برای انتقال به شبکه‌های مبتنی بر IP از بسیاری جهات یک تلاش دشوار است. چالش مخارج سرمایه ای (CAPEX) این شبکه‌های جدید این است که در حالی که اشتباه کردن و استقرار تجهیزات بیش از حد گران است (یعنی ساخت بیش از حد شبکه و هدر دادن دارایی‌ها)، رابطه غیر خطی بین پهنای باند و نیازهای شبکه به این معنی است که هزینه‌های قابل توجهی از استقرار بسیار کم (یعنی کم ساختن شبکه و قرار دادن خود در شانس بالاتر برای
کم ساختن شبکه و قرار دادن خود در شانس بالاتر برای ارائه خدمات با کیفیت پایین و از دست دادن سهم بازار) وجود دارد. از منظر فنی، برنامه ریزی شبکه‌های جدید مبتنی بر IP نیز بسیار دشوارتر است. ماهیت خود مسیریابی شبکه‌های IP به برنامه ریزان نیاز دارد تا نحوه رفتار شبکه تحت سناریوهای عادی، بارگذاری بیش از حد و خرابی را تعیین کنند. این واقعیت که IP می‌تواند بسته‌ها را در شرایط اضافه بار رها کند یا به تأخیر بیندازد، پیچیدگی جدیدی را به سیستم وارد می‌کند. خدمات تعاملی مانند صدا، ویدیوی دوطرفه و بازی به ویژه در معرض
مانند صدا، ویدیوی دوطرفه و بازی به ویژه در معرض لرزش و تأخیر دیجیتال ناشی از آن هستند. در این شرایط، برنامه ریزان شبکه باید بدانند که چگونه این خدمات تحت شرایط مختلف تحت تأثیر قرار خواهند گرفت. علاوه بر این، آنها باید بدانند که چگونه می‌توان شبکه را برای ارائه بهترین کیفیت خدمات با کمترین هزینه پیکربندی کرد. این موضوع با این واقعیت تشدید می‌شود که سادگی عملیات شبکه IP ناشی از رویکرد یکنواخت تر و لایه ای به معماری شبکه است. این تعامل بین لایه‌های شبکه است که پیچیدگی قابل توجهی ایجاد می‌کند. به عنوان مثال،
پیچیدگی قابل توجهی ایجاد می‌کند. به عنوان مثال، سرویس‌های روتین می‌توانند روی یک شبکه IP (اترنت) اجرا شوند، در حالی که خدمات با کیفیت بالا به مسیرهای ویژه اختصاص داده می‌شوند. این سرویس‌ها بر روی شبکه حمل و نقل منطقی زیربنایی (حلقه یا مش)، که به نوبه خود بر روی زیرساخت نوری زیربنایی سوار می‌شوند. برای تیم‌های برنامه ریزی، تأثیر ترافیک روی هر لایه باید در لایه‌های دیگر در نظر گرفته شود. این وضعیت زمانی پیچیده‌تر می‌شود که قابلیت اطمینان و سناریوهای فاجعه وارد بازی شوند، زیرا منابع پشتیبان باید در هر لایه در
بازی شوند، زیرا منابع پشتیبان باید در هر لایه در سلسله مراتب موجود باشد. به‌طور سنتی، برنامه ریزی شبکه بر اساس دامنه به دامنه (یعنی حمل و نقل، دسترسی و غیره) و به صورت ایزوله انجام می‌شد. برنامه ریزی منابع شبکه برای پرداختن به ماهیت فابریک اشتراکی شبکه‌های IP با ادغام برنامه ریزی در دامنه‌ها سازگار شده‌است. برنامه ریزان شبکه ابزار بسیار قدرتمندتری در برنامه ریزی منابع شبکه برای استفاده از تمام نقاط قوت حوزه‌های مختلف در طرح‌های جامع جامع دارند. در طی پنج سال آینده، انتظار می‌رود که اکثریت قریب به اتفاق
سال آینده، انتظار می‌رود که اکثریت قریب به اتفاق ارائه‌دهندگان خدمات ردیف ۱ و -۲ برای مدیریت پیچیدگی این شبکه‌ها و همچنین کاهش CAPEX و هزینه‌های عملیاتی، به سیستم‌های برنامه‌ریزی شبکه همگرا روی آورند.
آرمین برند کرمرز (زاده ۷ ژوئن ۱۹۴۶)، یک ریاضی‌دان و دانشمند علوم کامپیوتر از آلمان است. او در دانشگاه بن آلمان، استاد مؤسسه علوم کامپیوتر است. کرمز بیشتر به دلیل تلاش‌هایش در چندین زمینه ریاضیات گسسته از جمله زبان‌های صوری و نظریه اتوماتا شناخته شده است. وی در سال‌های اخیر، به دلیل فعالیت در زمینه هوش مصنوعی، یادگیری ماشینی و رباتیک و همچنین در ژئوانفورماتیک و پایگاه داده‌های استنتاجی معروف شده است. زندگی و کار. آرمین بی کرمرز در در رشته ریاضیات و فیزیک در دانشگاه کارلسروهه آلمان درس خواند. پس از
فیزیک در دانشگاه کارلسروهه آلمان درس خواند. پس از فارغ‌التحصیلی (۱۹۷۱) و اخذ مدرک دکترا (۱۹۷۲)، هر دو در ریاضیات به در سطح ممتاز، وی مدرک تحصیلی آکادمیک خود را در علوم کامپیوتر (۱۹۷۴) مجدداً از دانشگاه کارلسروهه دریافت کرد. کرمز در سال ۱۹۷۳ و در پی دعوت سیمور گینزبورگ، به دانشگاه کالیفرنیای جنوبی (USC)، لس آنجلس رفت و تا سال ۱۹۷۶ به عنوان استادیار در مهندسی برق و علوم کامپیوتر در آن‌جا خدمت کرد. وی همراه با گینزبورگ، برای خانواده‌های گرامری، فرمالیسم جدیدی را پایه‌گذاری کرد. آرمین بی کرمرز در سال ۱۹۷۶ به
را پایه‌گذاری کرد. آرمین بی کرمرز در سال ۱۹۷۶ به آلمان بازگشت و در دانشگاه دورتموند، به عنوان استاد تمام علوم کامپیوتر منصوب شد. تا سال ۱۹۹۰ وی در آنجا فعالیت کرد و کرسی سیستم‌های معلوماتی را بر عهده داشت. کرمز به‌طور هم‌زمان به عنوان استاد پژوهشی مدعو در USC به فعالیت خود ادامه داد و مفهوم فضاهای داده‌ای را که یک مدل محاسباتی جامع است، به کمک توماس ان. هبارد چه از لحاظ عملی و نظری توسعه داد. آرمین بی کرمرز به عنوان رئیس بخش علوم کامپیوتر در دانشگاه دورتموند خدمت کرد و از ابتدای سال ۱۹۸۵ به‌عنوان معاون
خدمت کرد و از ابتدای سال ۱۹۸۵ به‌عنوان معاون تحقیقات و هیئت علمی جوانان در همان‌جا منصوب شد. وی در این سمت، رابط توسعه مرکز فناوری دورتموند بود. کرمز پایه‌گذار و مدیر مرکز سیستم‌های کارشناسی دورتموند (ZEDO) و شرکت تحقیقاتی دولتی NRW در زمینه هوش مصنوعی (KI-NRW) بود. همچنین وی از سال ۱۹۸۸ تا ۱۹۹۶ عضو هیئت نظارت مرکز تحقیقات ملی آلمان برای ریاضیات و پردازش داده‌ها (GMD) بود. آرمین بی کرمرز از سال ۱۹۹۰، استاد و مدیر علوم کامپیوتر و سرپرست گروه تحقیقاتی هوش مصنوعی در دانشگاه بُن بوده است. وی به هوش مصنوعی و
در دانشگاه بُن بوده است. وی به هوش مصنوعی و رباتیک (با همکاری چند تن از شاگردان‌اش نظیر ولفرام بورگارد، دیتر فاکس، سباستین ترون) و توسعه مهندسی نرم‌افزار به‌ویژه در زمینه مهندسی عمران و سیستم‌های معلوماتی به‌ویژه در زمینه علوم زمین، کمک کرد. در سال ۲۰۱۶، مقاله «روبات تعاملی رهنمای تور موزه» برنده جایزه AAAI Classic Paper شد. در سال ۲۰۰۱، آرمین بی کرمز به همراه ماتیاس جارک، «مرکز بین‌المللی بن-آخن برای فن‌آوری اطلاعات (B-IT)» را تأسیس نمود و تا زمان بازنشستگی کرمز از تدریس در سال ۲۰۱۴، وی مدیریت این مرکز را
کرمز از تدریس در سال ۲۰۱۴، وی مدیریت این مرکز را در سمت «مدیر علمی از طرف دانشگاه بن» بر عهده داشت. از سال ۲۰۰۴ تا ۲۰۰۸ کرمرز رئیس دانشگاه ریاضیات و علوم طبیعی بود و از آوریل ۲۰۰۹ تا ژوئیه ۲۰۱۴، به عنوان معاون پلانینگ و امور مالی دانشگاه خدمت کرد.
سگ‌توره حیوان دورگه‌ای است که از جفت‌گیری سگ و شغال پدید می‌آید. دورگه شدن سگ و شغال هم در اسارت و با نظارت انسان اتفاق افتاده است و هم در حیات وحش رخ می‌دهد زمانی که دو جانور به دلایلی نتوانند جفت همنوع برای خود پیدا کنند. سگ نژاد سولیموف یک نمونه معروف از دورگه‌های سگ و شغال است که توسط انسان پدید آمده‌اند. تنها گونه شغال که می‌تواند با سگ دورگه بارور بدهد شغال زرد "Canis aureus" است. شغال‌های ایران همگی از همین گونه هستند. بررسی‌های ژنتیکی بر روی شغال‌های بلغارستان نشان داده که دورگه شدن شغال و گرگ هم در
بلغارستان نشان داده که دورگه شدن شغال و گرگ هم در حیات وحش اتفاق می‌افتد.
یک نامعین در ریاضیات، مخصوصاً در جبر صوری، نمادی است که به شکل یک متغیر رفتار می‌کند (جای چیز دیگری غیر از خودش نیست) و معمولاً به صورت یک یک جایگاه‌دار در اشیایی مثل چندجمله‌ای و سری توانی صوری استفاده می‌شود. مخصوصاً چندجمله‌ای‌ها. یک چندجمله‌ای در یک نامعین formula_1 یک عبارت از حالت formula_2 است که در آن به "formula_3"‌ها ضرایب چندجمله‌ای گفته می‌شود. دو تا از این چندجمله‌ای‌ها فقط در صورتی برابرند که ضرایب متناظرشان برابر باشند. در مقابل، دو تابع چندجمله‌ای در یک متغیر "formula_4" در یک مقدار بخصوص از
در یک متغیر "formula_4" در یک مقدار بخصوص از "formula_4" می‌توانند برابر باشند یا نباشند. برای مثال توابع وقتیکه "formula_7" است برابر و در غیر اینصورت نابرابرند. اما دو چندجمله‌ای برابر نیستند؛ زیرا ۲ برابر ۵ نیست، و ۳ برابر ۲ نیست. در واقع برقرار نیست "مگر" آنکه "formula_10" و "formula_11" باشد. به این دلیل است که "formula_1" عدد نیست و یک عدد را تعیین نمی‌کند. این تمایز نامحسوس است، زیرا یک چندجمله‌ای در "formula_1" را می‌توان به یک تابع در "formula_4" با جایگزینی تغییر داد. اما این تمایز مهم است زیرا
با جایگزینی تغییر داد. اما این تمایز مهم است زیرا موقعی که جایگزینی انجام می‌شود، ممکن است که اطلاعات از بین برود؛ مثلاً موقعی که در پیمانه ۲ کار می‌کنیم، این تساوی را داریم: از این رو تابع چندجمله‌ای "formula_16" برای "formula_4" که هر مقداری در سامانه پیمانه-۲ دارد به صورت همانی برابر صفر است. با این حال، چندجمله‌ای "formula_18" چندجمله‌ای صفر نیست، زیرا ضرایب ۰، ۱ و -۱، به ترتیب، همه صفر نیستند.
یانگ جیانلی (؛ زادهٔ ) یک مخالف چینی مقیم ایالات متحده است. یانگ فرزند یکی از رهبران حزب کمونیست است. او در ۲۰۰۲ در چین به زندان رفت و در ۲۰۰۷ آزاد گردید. یانگ اکنون به عنوان یک فعال حقوق بشر در ایالات متحده آمریکا زندگی می‌کند. فعالیت حرفه‌ای. یانگ در ۱۹۸۹ یکی از فعالان میدان تیان‌آنمن بود، او به ایالات متحده مهاجرت کرد و دو مدرک دکترا (دکترای اقتصاد سیاسی از دانشگاه هاروارد و دکترای ریاضیات از دانشگاه کالیفرنیا، برکلی) اخذ نمود. وی سپس بنیاد چین را در قرن بیست و یکم تأسیس کرد. با توجه به فعالیت سیاسی
قرن بیست و یکم تأسیس کرد. با توجه به فعالیت سیاسی یانگ، وی توسط دولت جمهوری خلق چین در لیست سیاه قرار گرفت و از تمدید شدن پاسپورت وی خودداری شد. بازداشت. یانگ در آوریل ۲۰۰۲ با پاسپورت یکی از دوستانش برای مشاهده ناآرامی‌های کارگری در شمال شرقی چین به چین بازگشت. او هنگامی که قصد داشت برای پرواز داخلی سوار هواپیما شود بازداشت شد، چین با نقض قوانین بین‌المللی و قوانین خود، ارتباط او را قطع نگه داشت. همسر و فرزندان و همچنین خانواده بزرگ او از دسترسی به او محروم شدند، این درحالی بود که نگران سلامتی و امنیت او
شدند، این درحالی بود که نگران سلامتی و امنیت او در زندان بودند. گروه مدافع آزادی پرونده او را دنبال کرد. در ۲۸ مه ۲۰۰۳، گروه کاری سازمان ملل در مورد بازداشت خودسرانه حکم داد که یانگ جیانلی برخلاف قوانین بین‌المللی توسط دولت چین بازداشت شده است. در ۲۵ ژوئن همان سال، مجلس نمایندگان ایالات متحده قطعنامه ۱۹۹–۱۰۸ کنگره را با ۴۱۲–۰ تصویب کرد و سنای ایالات متحده مصوبه ۱۸۴–۱۰۸ کنگره را ارائه کرد. در ۴ اوت ۲۰۰۳، ایالات متحده از چین خواست تا یانگ را آزاد کند. فیلیپ ریکر، معاون سخنگوی وزارت امور خارجه ایالات متحده
ریکر، معاون سخنگوی وزارت امور خارجه ایالات متحده گفت: «ما بارها این پرونده را با مقامات ارشد چینی مطرح کرده‌ایم و خواستاریم تا دکتر یانگ آزاد شود و به میان خانواده‌اش در ایالات متحده بازگردد.» درخواست قانونگذاران و دانشگاهیان. در ۸ دسامبر ۲۰۰۳، نامه ای از دانشکده حقوق دانشگاه هاروارد با ۲۹ امضاء هیئت علمی از طریق سفارت چین به وسیله فداکس به ون جیابائو ارسال شد. دو روز بعد، نامه دیگری از دانشکده دولتی و دانشکده پزشکی جان اف کندی دانشگاه هاروارد با ۷۸ امضاء هیئت علمی از طریق سفارت چین به وسیله فداکس به ون
هیئت علمی از طریق سفارت چین به وسیله فداکس به ون جیابائو ارسال گردید. در ۲۶ آوریل ۲۰۰۴، اعضای کنگره آمریکا کنفرانس مطبوعاتی را برای بزرگداشت دومین سالگرد بازداشت یانگ برگزار کردند. ۶۷ قانونگذار در نامه ای به هو در دومین سال بازداشت یانگ جیانلی این هشدار را صادر کردند. کریستوفر کاکس، قانونگذار حزب جمهوری‌خواه، به نقل از دیک چنی معاون رئیس‌جمهور گفت، که سفارت ایالات متحده در پکن مستقیماً با دولت چین در مورد پرونده یانگ صحبت کرده است. در ۱۳ می ۲۰۰۴، جمهوری خلق چین حکم مجرمیت یانگ را اعلام کرد و وی را به جرم
چین حکم مجرمیت یانگ را اعلام کرد و وی را به جرم جاسوسی و ورود غیرقانونی به پنج سال زندان محکوم کرد. در همان سال در ۶ اکتبر، ۲۱ سناتور و ۸۵ تن از نمایندگان مجلس ایالات متحده طوماری به هو جینتائو برای اعطای آزادی مشروط یانگ نوشتند. در ۱۵ ژوئن ۲۰۰۵، یک گروه دو حزبی متشکل از ۴۰ سناتور ایالات متحده (از جمله جان کیل، باربارا میکولسکی، هیلاری کلینتون، جان مک کین، تد کندی، و باب دول) نامه‌ای به رئیس‌جمهور چین، هو جینتائو ارسال کردند و خواستار آزادی یانگ شدند. در ۱۰ آوریل ۲۰۰۶، ۱۱۹ قانونگذار آمریکایی از بوش خواستند
آوریل ۲۰۰۶، ۱۱۹ قانونگذار آمریکایی از بوش خواستند که پرونده یانگ جیانلی را مطرح کند. در ۳ سپتامبر همان سال، یانگ جیانلی به گونه‌ای مشروط آزاد شد که باید فوراً از چین خارج شود. اما او اصرار داشت که به زادگاهش بازگردد تا ابتدا قبر پدرش را جارو کند. در نتیجه او را از فرودگاه به زندان بازگرداندند. بازگشت به آمریکا. در ۲۷ آوریل ۲۰۰۷، یانگ از زندان چین آزاد شد، اما اجازه خروج از چین را نداشت. بعداً، در ۱۹ اوت، سرانجام اجازه یافت به ایالات متحده بازگردد. مقاله اخیر یانگ در واشینگتن پست، اندکی پس از بازگشت به
اخیر یانگ در واشینگتن پست، اندکی پس از بازگشت به ایالات متحده، با یادآوری تجربه او از تظاهرات ۴ ژوئن، میدان تیان‌آنمن در سال ۱۹۸۹ برای آزادی بیان و دموکراسی، مشاهدات واضح او از اعتراضات ضد دولتی علیه برمه در ۲۰۰۷ را منعکس می‌کند. به عنوان انقلاب زعفرانی، از جمله «رابطه انگلی چین با برمه» و اراده واقعی روشنفکران آزادیخواه در سراسر جهان که ظلم‌های وحشیانه فعلی در برمه را محکوم می‌کنند. یانگ چندین بار در اجلاس ژنو برای حقوق بشر و دموکراسی به عنوان سخنران میهمان شرکت کرد، او بنیانگذار سازمان غیرانتفاعی