moaminsharifi/fa-wiki-spell-checker huggingface dataset:
وقتی تحلیل مستعار برای برنامه اجرا می‌شود هر عمل بارگذاری و ذخیره در حافظه باید با کلاسش برچسب‌گذاری شود. آنگاه اگر محل‌های formula_1 و formula_2 از حافظه را با کلاس‌های formula_3 و formula_4 در نظر بگیریم اگر formula_5 آنگاه formula_1 و formula_2 با هم may-alias خواهند بود و اگر formula_8 مستعار یکدیگر نخواهند بود.
تحلیل مستعار مبتنی بر جریان را بر خلاف تحلیل مستعار مبتنی بر نوع می‌توان در برنامه‌های یک زبان با ارجاعات و تغییر نوع استفاده کرد. این نوع از تحلیل را می‌توان به جای تحلیل مبتنی بر نوع مکمل استفاده کرد. در این تحلیل کلاس‌های مستعار برای هر تخصیص از حافظه و برای هر متغیر محلی و سراسری که آدرس آن استفاده می‌شود، ایجاد می‌شود. ارجاعات به حافظه ممکن است به بیش از یک مقدار در طول زمان اشاره کنن و در نتیجه در بیش از یک کلاس مستعار باشند و این بدان معناست که هر تخصیص حافظه یک مجموعه از کلاس‌ها به جای یک کلاس مستعار دارد.
منطق زمانی خطی (Linear temporal logic) در منطق، منطق زمانی خطی یا منطق زمانی خطی (در انگلیسی linear temporal logic or linear-time temporal logic(یک منطق زمانی موجهاتی است با توجیهاتی به زمان.
در منطق زمانی خطی یک مسئله می‌تواند بررسی فرموله کردن آینده یک مسیر می‌باشد مثلاً این که یک شرط در نهایت درست خواهد شد یا …
منطق زمانی خطی خود یک قسمتی از منطق پیچیده‌تر CTL* می‌باشد که اجازه شاخه شاخه شدن حالات زمان و سنجه‌ها را می‌دهد. همچنین منطق زمانی خطی را منطق زمانی گزاره ای (به انگلیسی propositional temporal logic , PTL) نیز می‌نامند.
منطق زمانی یک فرمالیسم مناسب برای مشخص کردن و تصدیق خاصیت‌های یک سیستم واکنشی است.
یک فرمول از منطق زمانی یک مجموعه از دنباله‌های نامتناهی را توصیف می‌کند که برای هر یک از فرمول‌ها کدام درست است. (که به آن خواص زمانی نیز گفته می‌شود) یک سیستم پیشنهادی یک خاصیت را زمانی تأیید می‌کند که تمامی محاسباتش مربوط به این مجموعه باشد.
یک مدل منطق زمانی خطی یک دنباله نامتناهی از حالاتی است که هر نقطه در هر لحظه از زمان دارای پیآمد (successor) خاصی است.
منطق زمانی خطی ابتدا برای صحت یابی رسمی برنامه‌های کامپیوتری در سال ۱۹۷۷ توسط امیرپنئولی در مقاله ای به نام "منطق زمانی برنامه‌ها (به انگلیسی: The Temporal Logic Of Programs) پیشنهاد شد. او در خلاصه این مقاله می‌نویسد:یک روش جامع و یکپارچه برای تصدیق (verification) پیشنهاد شده که برای برنامه‌های موازی و پی درپی قابل پیاده‌سازی است. روش اصلی اثبات پیشنهادی، استدلال زمانی است با این پیش فرض که اتفاقات دارای وابستگی زمانی می‌باشند.دو سیستم رسمی (formal systems) برای برآورده کردن اصول مورد نیاز استدلال زمانی معرفی شده‌است.یکی از فرم‌ها، فرمالیسم روش اثبات متناوب (method of intermittent assertions) است و دیگری انطباق با سیستم محکم (adaptation of the tense logic system K) که کاملاً برای استدلال در مورد رویدادهای همزمان مناسب است.
منطق زمانی زمانی یک دسته متناهی از متغیرهای گزاره (propositional variables)، عملگرهای منطقی ¬ و ∨، و در کنار ارتباط دهندگان معمول، فرمول‌های زمانی می‌توانند با عملگرهای زمانی تولید شوند.
یک فرمول منطق زمانی خطی می‌تواند با استفاده از یک رشته از حقیقت سنج‌هایی که زیر مجوعه از متغیرهای گزاره هستنند اثبات شوند.
یک فرمول منطق زمانی p تصدیق پذیر است اگر که یک دنباله از حالات S باشد به صورتی "S,0" |= "p. این زمانی درست خواهد بود که نفی آن غیرقابل تصدیق باشد. یک فرمول منطق گزاره ای زمانی یک فرمول زمانی هست اگر همه اتم‌های آن متغیرهای گزاره ای باشند. (یک فرمول زمانی گزاره ای در نتیجه شامل مقدار سنج‌ها و مسندهای مرکب نخواهد بود)"
اگر w = a,a,a... را یک ω-کلمه در نظر بگیریم. w(i) = a. wi =... , a,a
به صورت رسمی، رابطه تصدیق پذیری |= بین یک کلمه و یک فرمول منطق زمانی زمانی به صورت زیر تعریف می‌شود:
w |= p اگر p ∈ w(0)
w |= ¬ψ اگر w |= ψ
w |= φ ∨ ψ اگر w |= φ یا w |= ψ
w |= X ψ اگر w1 |= ψ (در زمان گام بعدی ψ باید صحیح باشد)
w |= φ U ψ اگر وجود داشته باشد i ≥ ۰ به صورتی که wi |= ψ، برای همه 0k و φ |= "w"k (φ باید صحیح بماند تا زمانی که ψ صحیح بشود)
یک گرامر ماتریسی (انگلیسی:Matrix grammar), یک گرامر منظم است که در آن به جای قانون‌های تکی، قانون‌ها در دنباله‌های متناهی باهم گروه شده‌اند. یک قانون نمی‌تواند به صورت مجزا اعمال شود، بلکه هر قانون به صورت دنباله‌ای از قانون‌ها اعمال می‌شود. به عنوان مثال برای اعمال یک قانون چندین بار باید بازنویسی انجام شود، به این صورت که ابتدا قانون اول انجام می‌شود سپس قانون دوم و به همین ترتیب تا آخرین قانون پیش می‌رود. این دنباله از قانون‌ها در یک ماتریس نمایش داده می‌شود.https://en.wikipedia.org/wiki/Matrix_grammar
گرامر ماتریسی گسترشی از گرامر بدون محتوا است.
یک گرامر ماتریسی یک پنج‌تایی مرتب به صورت زیر است:http://theo.cs.ovgu.de/lehre/lehre11w/modelle_bio/langbio11-folien4.pdf
که دارای خاصیت‌های زیر می‌باشد:
فرض کنید formula_7 مجموعه زبان‌هایی باشد که با گرامر ماتریسی تولید می‌شود و formula_8 مجموعه زبان‌هایی باشد که با گرامر ماتریسی بدون formula_9 تولید می‌شود.
خصیصه های زیر وجود دارد:
گرامر formula_15 را در نظر بگیرید که در آن M مجموعه ماتریس‌های زیر است:
[S → XY], [X → aXb, Y → cY], [X → ab, Y → c]
این ماتریس‌ها که شامل قوانین زبان بدون محتوا می‌شوند، زبان زیر را تولید می‌کنند:
این مثال از Ábrahám, S. Some questions of language theory. International Conference on Computational Linguistic, 1965. pp 1–11. اقتباس شده است.
دوتا مسئله در زمینه این‌گونه گرامرها همچنان به صورت حل‌نشده باقی مانده است.
تجزیه‌کننده استاندارد LR در علوم کامپیوتر یا تجزیه‌کننده (۱)LR، یک تجزیه‌کننده (LR(k به ازای k=۱، یعنی با یک پایانه پیشرو است. ویژگی خاص این تجزیه‌کننده این است که هر گرامر (LR(k با k>1 را می‌توان به گرامر (۱)LR تبدیل کرد. این تجزیه‌کننده می‌تواند تمام زبان‌های مستقل از متن قطعی را مدیریت کنند. در گذشته، تجزیه‌کننده (LR(k به دلیل نیاز به حافظهٔ زیاد و وجود جایگزین‌هایی با قدرت کمتر مانند تجزیه‌کننده LALR و (۱)LL، کمتر مورد استفاده قرار می‌گرفت. با این حال اخیراً یک تجزیه‌کننده (۱)LR کمینه ارائه شده‌است که نیاز به حافظه آن نزدیک به تجزیه‌کننده LALR است که توسط چند تولیدکنندگان تجزیه‌کننده ارائه می‌شود.
در سال ۱۹۶۵، دانلد کنوت، تجزیه‌کننده (LR(k را که یک نوع تجزیه‌کننده انتقال-کاهش بود را اختراع کرد. این تجزیه‌کننده دارای پتانسیل شناخت تمام زبان‌های مستقل از متن قطعی بوده و می‌تواند هر دو اشتقاق چپ و راست ورودی را تولید کند. کنوت اثبات کرد که قدرت پذیرش زبان برای K=۱ در حالت بیشینه است و یک روش برای تبدیل گرامر (LR(k با K>1، به گرامر (۱)LR ایجاد کرد.
بزرگترین مشکل تجزیه‌کننده استاندارد (۱)LR نیاز به حافظهٔ زیاد برای ایجاد جدول-پارس داخلی خود است. در سال ۱۹۹۱ فرانک دو نسخه ساده شده از تجزیه‌کننده LR را به نام LALR و SLR را پیشنهاد کرد. این تجزیه‌کننده‌ها نیاز به حافظه کمتری نسبت به تجزیه‌کننده استاندارد (۱)LR دارند، اما قدرت تشخیص-زبان کمتری دارد. تجزیه‌کننده (۱)LALR رایج‌ترین پیاده‌سازی برای تجزیه‌کننده LR بوده‌اند.
با این حال یک نوع جدید تجزیه‌کننده (LR(۱ با نام تجزیه کننده (۱)LR کمینه در سال ۱۹۷۷ توسط دیوید پابر معرفی شد که نشان داد که می‌توان یک تجزیه کننده (۱)LR ایجاد کرد که حافظهٔ مورد نیاز آن نزدیک تجزیه‌کننده (۱)LALR می‌باشد. اخیراً بعضی از تولیدکنندگان تجزیه کننده‌ها، تجزیه‌کننده (۱)LR کمینه را ارائه می‌دهند که مشکل حافظه را حل کرده‌اند.
جداول تجزیه (LR(۱ همانند جداول تجزیه (LR(0 با تفاوت که در آن هر قطعه شامل یک پایانه پیشرو است. این بدان معنی است که برخلاف تجزیه‌کننده (LR(0، یک عملیات متفاوت ممکن است اجرا شود، اگر قطعه مورد پردازش با یک پایانه متفاوت دنبال شود.
با شروع براساس قوانین تولید یک زبان، ابتدا باید مجموعه‌های قطعه‌ها را برای این زبان بسازیم. به عبارت ساده‌تر می‌توان گفت یک مجموعه از قطعه‌ها، فهرستی از قوانین تولید است که نماد پردازش در حال حاضر ممکن است بخشی از آن باشد. یک مجموعه از قطعه‌ها رابطه یک به یک با حالت تجزیه‌کننده دارد، همچنین قطعه‌های موجود در مجموعه همراه با نماد بعدی، برای تصمیم‌گیری در مورد تغییرات حالت و عملیات تجزیه کننده استفاده می‌شود.
هر قطعه حاوی یک نشانگر است که به جایی که نماد فعلی در آن نقطه از قطعه قرار خواهد گرفت اشاره می‌کند. برای تجزیه‌کننده (LR(۱ هر قطعه دارای یک پایانه پیشرو است.
به عنوان مثال فرض کنید که زبان شامل نمادهای پایانه 'n'، '+'، '('، ')'، و غیرپایانه‌های 'E', 'T'، و قانون شروع 'S' که قوانین تولید زیر را شامل می‌شود:
مجموعه قطعه‌های ۰ که نشان دهنده وضعیت اولیه است، از قانون شروع تولید می‌شود.
[$ ،S → • E]
علامت '•' نشانگر موقعیت فعلی تجزیه‌کننده در این قانون است. پایانه پیشرو در این قاعده بعد از کاما ذکر شده‌است. علامت '$' برای نشان پایان ورودی مورد انتظار است.
مجموعه بالا، مجموعه قطعه کامل شماره ۰ نیست. هر مجموعه قطعه‌ها باید بسته باشد، یعنی تمام قوانین تولید برای هر غیرپایانه که بعد از '•' بیاید باید به صورت بازگشتی در مجموعه قطعه‌ها قرار داده شود تا همه غیرپایانه مورد بررسی قرار گیرد. نتیجه این عملیات را بستار آن قطعه می‌گوییم.
در (LR(۱ برای هر قانون تولید، یک قطعه باید برای هر پایانه پیشرو ایجاد شود. برای زبان‌های پیچیده‌تر این معمولاً به مجموعه‌های بسیار زیادی از قطعه‌ها منجر می‌شود که همین دلیل استفاده از حافظهٔ بزرگ برای تجزیه‌کننده (LR(۱ است.
در مثال بالا علامت شروع ما نیاز به پایانه 'E' دارد که 'E' خود نیاز به 'T' دارد و در نتیجه تمام قوانین تولید در مجموعه قطعه شماره ۰ ظاهر می‌شوند. در ابتدا، ما مسئله پیدا کردن پیشرو را نادیده گرفتیم و فقط به (LR(0 پرداختیم که قطعات آن شامل پایانه پیشرو نبودند؛ بنابراین مجموعه قطعه شماره ۰ دارای قطعه‌های زیر خواهد بود:
برای تعیین پایانه‌های پیشرو، از مجموعه‌های به اصطلاح FIRST و FOLLOW استفاده می‌شود. مجموعه (FIRST(A شامل پایانه‌هایی است که می‌توانند به عنوان اولین قسمت از هر زنجیره از قوانین تولید که از غیرپایانه A شروع شود. (FOLLOW(A شامل پایانه‌هایی است که می‌تواند دقیقاً بعد از A ظاهر شوند.
در مثال ما، (FIRST(S و (FIRST(E برابر { ')' ,'+' ,n } و (FIRST(T برابر {'+' ,n } می‌شود، همچنین (FOLLOW(S برابر { '$' } و (FOLLOW(E برابر { '(' ,'$' } همچنین (FOLLOW(T برابر { '(' ,'$' ,'+' } می‌شود.
با داشتن مجموعه‌های FOLLOW می‌توان مجموعه کامل قطعه‌ها را برای یک تجزیه‌کننده (LR(۱ ایجاد کرد، به این صورت که به ازای هر قطعه در مجموعه بستار آن (مانند (LR(0) و هر پایانه در مجموعه FOLLOW غیرپایانه سمت چپ یک قطعه جدید ایجاد کنیم.
بقیه مجموعه قطعه‌ها را می‌توان با الگوریتم زیر ایجاد نمود.
در مثال ما پنج مجموعه جدید از مجموعه قطعه شماره ۰ ایجاد می‌شود.
مجموعه قطعه شماره ۱ برای غیرپایانه E
[$ ،• S → E]
مجموعه قطعه شماره ۲ برای غیرپایانه T
[$ ،• E → T]
[$ ،T → T • + n]
[+ ,T → T • + n]
مجموعه قطعه شماره ۳ برای پایانه 'n'
[$ ،• T → n]
[+ ،• T → n]
[( ،• T → n]
مجموعه قطعه شماره ۴ برای پایانه '+'
[$ ،T → + • T]
[+ ,T → + • T]
[$ ،T → • n]
[+ ,T → • n]
[$ ،T → • + T]
[+ ,T → • + T]
[$ ،T → • T + n]
[+ ،T → • T + n]
مجموعه قطعه شماره ۵ برای پایانه ')'
[$ ،( E → ( • E]
[( ,E → • T]
[( ,( E → • ( E]
[( ,T → • n]
[( ,T → • + T]
[( ,T → • T + n]
از مجموعه قطعه‌های ۲ و ۴ و ۵ چندین مجموعه قطعه دیگر تولید خواهد شد. لیست کامل آن بسیار طولانی می‌باشد و بنابراین در اینجا بیان نمی‌شود.
اگر [A → α • b β, a] در حالت شماره k بوده و حالت شماره k با b به حالت شماره m برود، عملیات [action[k, b = 'انتقالm' را اضافه می‌کنیم.
اگر [A → α •, a] در حالت شماره k باشد، عملیات [action[k, a = 'کاهش A → α' را اضافه می‌کنیم.
معاون ریاست جمهوری افغانستان دومین مقام سیاسی در افغانستان است. معاونین کنونی ریاست جمهوری افغانستان به همراه رئیس جمهور توسط انتخابات تعیین می‌شود. هر کاندید ریاست جمهوری قبل از انتخاب دو معاون برای خود تعیین می‌کند. معاونین پیشین ریاست جمهوری افغانستان امرالله صالح (معاون اول ریاست جمهوری) و سرور دانش (معاون دوم ریاست جمهوری) است.
با آنکه سردار محمد داوود خان پایه‌گذار جمهوری افغانستان و نخستین رئیس‌جمهور افغانستان بود، اما مقام معاون برای نخستین بار در افغانستان توسط شاه امان‌الله خان هنگامی بوجود آمد که نامبرده در سال ۱۹۲۶ سلطنت مشروطه اعلام کرد و مقام "یاور" (بعداً "معاون") را تشکیل داده و یاور محمود شاغاسی را منحیث "یاور اول حضور" (بعداً "معان اول") منتخب کرده بدین سمت برای بار نخست تقرر داد.
معاون رئیس‌جمهور، معاون شورا انقلاب بین آوریل ۱۹۷۸ و آوریل ۱۹۸۸ بود.
معاونان ریاست جمهوری پس از قانون اساسی جدید منصوب و انتخابات صورت گرفت. چهار معاون ریاست جمهوری توسط رئیس جمهور انتخاب شدند و توسط مجلس ملی موافقت شد.
در این دوره معاون ریاست جمهوری توسط رئیس جمهور منصوب می‌شد.https://hdl.handle.net/2027/msu.31293009634563https://hdl.handle.net/2027/osu.32435083449264
در طول اداره دولت موقت و دولت انتقالی افغانستان و تا زمانی که لویه جرگه قانون اساسی جدید را تصویب نکرده بود بیش از دو معاون در دولت موقت وجود داشت.
پس از سال ۲۰۰۴ معاونین رئیس جمهور به همراه رئیس جمهور از طریق انتخابات تعیین می‌شوند.
سیستم‌های ترکیبی، سیستم‌های دیجیتال بی‌درنگی هستند که به صورت نهفته در محیط‌های آنالوگ کار می‌کنند. یک اتوماتا (ماشین) ترکیبی، وظیفهٔ کنترل چنین سیستمی را به عهده دارد. این ماشین، خصلت‌های سیستم‌های پیوسته و گسسته را باهم ترکیب می‌کند. در این ماشین‌ها، تعدادی وضعیت کنترلی گسسته و همچنین تعدادی متغیر پیوسته وجود دارد. تغییرات در این اتوماتا از وضعیت‌های گسسته به هم به صورت آنی اتفاق می‌افتد و متغیرها هم به صورت پیوسته تغییر می‌کنند. این موضوع در علوم رایانه و نظریه کنترل مورد بررسی قرار گرفته‌است.
سیستم‌های ترکیبی از حیث امنیتی بسیار حساس هستند و در نتیجه اطمینان‌پذیری در آن‌ها بسیار اهمیت دارد. ویژگی‌های یک سیستم ترکیبی به رفتارهای آن سیستم صفات خوب و بد نسبت می‌دهد و تحلیل این موضوع عموماً کاری بسیار پیچیده‌ است، به همین دلیل است که فرمول‌بندی چنین سیستم‌هایی با ماشین‌ها انجام شده‌است تا بتوان از آنالیزهای رایانه‌ای بهره برد.
مثالی ساده از اتوماتای ترکیبی، کنترل‌گری است که دمای یک نیروگاه هسته‌ای را کنترل می‌کند. این کنترل‌گر یک سری وضعیت مثل عادی، حاد، و غیرفعال دارد که در هر زمانی در یکی از این وضعیت‌ها قرار دارد. این سیستم یک دماسنج دارد که متناظر با یک متغیر پیوسته در اتوماتا است. با تغییر این متغیر ممکن است وضعیت سیستم تغییر کند.
اتوماتای ترکیبی H از اجزای زیر تشکیل شده‌است:
۱- متغیرها: مجموعهٔ formula_1از متغیرهای حقیقی. به عدد formula_2بعد اتوماتا گفته می‌شود. مجموعهٔ formula_3نشان‌دهندهٔ مشتق متغیرها در هنگام تغییر است و مجموعهٔ formula_4نشان‌دهندهٔ مقدار متغیرها هنگام یک تغییر گسسته‌است.
در مثال زیر قواعد بالا را بررسی می‌کنیم:
اتوماتای ترکیبی که تصویر روبه‌رو می‌بینید یک ترموستات را مدل می‌کند. متغیر formula_17نشانگر دما است. در حالت کنترلی خاموش، گرم‌کننده خاموش است، و دما با توجه به شرط جاری formula_18سقوط می‌کند. در حالت کنترلی روشن، گرم‌کننده روشن است و دما با توجه به شرط جاری formula_19زیاد می‌شود. در ابتدا گرم‌کننده خاموش است و دما ۳۵٫۲ درجه است. با توجه به شرط پرش formula_20، در لحظه‌ای که دما به زیر ۳۵٫۵ درجه برود، گرم‌کننده ممکن است روشن شود. با توجه به شرط ناوردای formula_21دیرترین زمانی که ممکن است گرم‌کننده روشن شود زمانی است که دما به ۳۵ برسد.
اگر formula_22و formula_23دو عدد اتوماتای هیبریدی باشند، منظور از formula_24ترکیب این دو اتوماتا است. این دو اتوماتا توسط پیشامدهای مشترکشان تعامل می‌کنند. اگر پیشامد formula_25میان formula_22و formula_23مشترک باشد، آنگاه این دو اتوماتا باید در هنگام گذر از این یال در گراف اتوماتاها هماهنگ باشند.
در چک کردن مدل که بخشی از سیستم‌های تصدیق است، هدف چک کردن این موضوع به صورت سیستماتیک است که با توجه به تعریف داده‌شده از مدل و ویژگی‌های آن، آیا این ویژگی‌ها در مورد مدل صادق هستند یا خیر. یک نمونه از چنین سیستمی توسط Clarke, Sifakis و Emerson ارائه شده‌است که با کمک گرفتن از اتوماتاهای ترکیبی این کار را انجام می‌دهند. دو نمونه از قابلیت‌هایی که اتوماتاهای ترکیبی از حیث تصدیق سیستم به ما می‌دهند به شرح زیر است:
"۱- قابلیت رسیدن یا ضمانت:" آیا سیستم می‌تواند به حالتی برسد که دارای ویژگی formula_28داده شده باشد؟
۲- "قابلیت امنیت:" آیا سیستم می‌تواند برای همیشه در حالتی که دارای ویژگی formula_28است بماند؟
به یک اتوماتای ترکیبی، مستطیلی گفته می‌شود هرگاه شرایط جاری مستقل از حالت‌های کنترلی باشند و متغیرها نیز دو به دو مستقل باشند. به‌طور خاص، در هر وضعیت کنترلی، مشتق اول هر یک از متغیرها دارای مجموعه‌ای از مقادیر است که این مقادیر با توجه به یال‌های گراف تغییری نمی‌کنند. با هر یال گراف یک اتوماتای مستطیلی، مقدار هریک از متغیرها یا تغییری نمی‌کند یا به صورت غیرقطعی به مقداری در یک گسترهٔ جدید تغییر می‌یابد. رفتار متغیرها جدا از هم است، چرا که به دلیل استقلالی که تعریف کردیم مقادیر متغیرها و مشتق آن‌ها نمی‌تواند وابستهٔ به یکدیگر باشد.
اوین روبار (به کردی: Evin Rubar)، یک مستندساز کرد اهل سوئد است. او به عنوان خبرنگار تلویزیونی هم فعالیت می‌کند.
اوین روبار در ۱۴ دسامبر ۱۹۷۵ در خانواده‌ای کرد به دنیا آمد. او به سبب فیل‌های مستندش که نگاهی انتقادی و فمینیستی به مسائل اجتماعی دارند شناخته شده‌است.
اقبال قزوینی (به عربی: "إقبال القزوینی"، به انگلیسی: "Iqbal al-Qazwini") رمان‌نویس، مترجم و روزنامه‌نگار زن عرب اهل عراق است.
اقبال قزوینی نویسندهٔ عراقی نمایندهٔ اتحادیه زنان عراق در فدراسیون دموکراتیک بین‌المللی زنان بود."پنجرۀ زبیده: رمان یک تبعیدی عراقی"، نوشتۀ اقبال قزوینی، نشر فمینیستی؛ ص ۵–۱۲۴. . او در اوایل دههٔ سوم زندگی‌اش در نتیجهٔ به قدرت رسیدن صدام حسین در عراق عراق را ترک کرده و در سال ۱۹۷۸ به برلین شرقی در آلمان شرقی رفت و از آن زمان تاکنون در آلمان ساکن بوده‌است. او از سال ۱۹۹۳ عضو انجمن جهانی قلم بوده‌است.
قزوینی بیش از هر چیز به خاطر رمان «ممرات السکون» شناخته شده‌است که در سال ۲۰۰۵ توسط انتشارات دار ازمنه در عمان منتشر شد. این رمان با عنوان «پنجرهٔ زبیده» توسط عزت الخولی و امیره نویره در سال ۲۰۰۸ به انگلیسی ترجمه شد. قزوینی به عنوان رونامه‌نگار در نشریات متفاوتی از جمله الشرق الاوسط و الریاض به زبان‌های آلمانی و عربی به فعالیت پرداخته‌است.
اتحادیه زنان عراق (به انگلیسی: Iraqi Women's League) یک سازمان زنان عراقی بود که در دههٔ ۱۹۵۰ تأسیس شد.
به قدرت رسیدن صدام حسین در سال ۱۹۷۹ سبب سرکوب اعضای اتحادیه شد و قعالیت‌های آن به ناچار به صورت زیرزمینی دنبال شد. اقبال قزوینی نویسندهٔ عراقی به عنوان نمایندهٔ اتحادیه در فدراسیون دموکراتیک بین‌المللی زنان در سال ۱۹۷۸ در برلین شرقی در تبعید ماند."پنجرۀ زبیده: رمان یک تبعیدی عراقی"، نوشتۀ اقبال قزوینی، نشر فمینیستی؛ ص ۵-۱۲۴. .
پس از سقوط صدام فعالیت‌های اتحادیه پیگیری شد و در اوت ۲۰۰۳ تعداد اعضای آن به پانصد زن رسید، اگرچه بسیاری از اعضای جوان‌تر تجربهٔ سازمانی نداشتند."پنجرۀ زبیده: رمان یک تبعیدی عراقی"، نوشتۀ اقبال قزوینی، نشر فمینیستی؛ ص ۵-۱۲۴. .
کاریس (زاده ۱۷ آوریل ۱۹۸۱) رپر فرانسوی است.
او در فیلم اوردرایو بازی کرده است .
در مبحث نرم‌افزار در نظریه کامپایلر یک تابع ذاتی (انگلیسی:Intrinsic function) (یا تابع درونی) یک تابع (subroutine) است که در یک زبان برنامه‌نویسی برای استفاده در دسترس است در حالی که پیاده‌سازی آن به‌طور خاص توسط کامپایلر انجام گرفته‌است. معمولاً تابع ذاتی ممکن است جایگزین یک توالی دستورالعمل به صورت خودکار تولید شده باشد مانند توابع تک خط. بر خلاف یک تابع تک خط کامپایلر دانش جامعی دربارهٔ تابع ذاتی دارد و در نتیجه می‌تواند برای یک وضعیت داده شده آن را بهتر یکپارچه سازی و بهینه‌سازی کند.
کامپایلرهایی که توابع ذاتی پیاده‌سازی می‌کنند به‌طور کلی تنها زمانی که یک برنامه درخواست بهینه‌سازی دارد آن‌ها را فعال می‌سازد در غیر این صورت به پیاده‌سازی پیش‌فرض آن که توسط زبان در زمان اجرا آماده می‌شود برمی گردد.
توابع ذاتی اغلب برای پیاده‌سازی صریح برداری سازی و موازی سازی در زبان‌هایی است که این ساختارها را ندارند استفاده می‌شود. برخی از رابط‌های برنامه‌نویسی نرم‌افزار (API) برای مثال AltiVec و OpenMP از توابع ذاتی استفاده می‌کنند که عملیات vectorizable و multiprocessing-aware را در زمان کامپایل تعریف کنند. کامپایلر توابع ذاتی را پارس می‌کند و آن‌ها را به وکتور ریاضی یا multiprocessing کد شی مناسب برای پلت فرم هدف تبدیل می‌کند.
کامپایلر برای C و ++C مایکروسافت
اینتل و GNU Compiler Collection GCC توابع ذاتی را طوری پیاده‌سازی می‌کنند که در تناظر مستقیم با تک دستورالعمل x86 چند داده‌ای (MMX "Streaming SIMD Extensions" (SSE), SSE2 SSE3 SSSE3 SSE4) باشند. Microsoft Visual C++ کامپایلر ویژوال استودیو مایکروسافت از هیچ اسمبلر خطی برای x86-64 پشتیبانی نمی‌کند. برای جبران کمبود اسمبلی خطی توابع خطی جدیدی اضافه شده‌اند که به دستورالعمل‌های اسمبلی استاندارد متناظر می‌شوند که به‌طور معمول از طریق C/C++ در دسترس نیستند به عنوان مثال بیت اسکن.
برخی از کامپایلرهای C و ++C توابع ذاتی غیرقابل حمل برای پلت فرم خاص ارائه می‌دهند. دیگر توابع ذاتی (مانند توابع درونی گنو) کمی بیشتر انتزاعی اند در مقایسه با توانایی‌های چندین سیستم عامل معاصر قابل حمل با پیاده‌سازی fall back بر روی سیستم عامل‌های بدون هیچ دستورالعمل مناسب. برای کتابخانه‌های ++C مانند "glm" یا کتابخانه‌های بردار ریاضی سونی معمول است که برای رسیدن به قابل حمل بودن از طریق کامپایل شرطی (بر اساس پرچم کامپایلر پلت فرم‌های خاص) که به‌طور کامل پریمیتیوهای سطح بالای قابل حمل را ارائه می‌دهد (به عنوان مثال یک نوع بردار ممیز شناور چهار عنصری) در تناظر با پیاده‌سازی‌های زبان برنامه‌نویسی سطح پایین مناسب در حالی که هنوز هم از نوع سیستم و درون خطی‌های ++C بهره می‌برد؛ از این رو استفاده لینک دادن بر دستی نوشتن فایل شی اسمبلی با استفاده از (application binary interface (ABI زبان C.
این کامپایلر در لحظهٔ ماشین مجازی کانونی جاوا نیز توابع ذاتی برای جاوا apiهای خاص دارد. توابع ذاتی کانونی جاوا apiهای استانداردی هستند که ممکن است به تعداد یکی یا بیشتر پیاده‌سازی بهینه برای برخی از سیستم عامل‌ها داشته باشد.
دیزی شاه (زاده ۲۵ اوت ۱۹۸۴) بازیگر، مدل هندی است.
از فیلم‌هایی که وی در آن نقش داشته‌است می‌توان به جی هو، داستان نفرت ۳، مسابقه ۳، خدا قسم اشاره کرد.
جی هو فیلمی محصول سال ۲۰۱۴ و به کارگردانی سهیل خان است. در این فیلم بازیگرانی همچون سلمان خان، تابو، دیزی شاه، آدیتای پانچولی، دنی دنزونگپا، نادیرا بابار، سونیل شتی، جنلیا دی‌سوزا، ویکاس بهالا، موهنیش باهل، سنا خان، موکول دو، شاراد کاپور، آشمیت پاتل، ماهش تاکور، ماهش مانجرکار، تولیپ جوشی، وارون بادولا، برونا عبدالله، سارا آرجون ایفای نقش کرده‌اند.
دختر معلولی به نام سومان چون به خاطر نداشتن دست نمی‌تواند در امتحان بنویسد از برادرش می‌خواهد تا به عنوان منشی در امتحان برای او جواب سوالات را بنویسد اما برادرش در ترافیک گرفتار می‌شود و عامل این ترافیک محافظت از دختر وزیر می‌باشد به همین خاطر برادر به خواهرش نمی‌رسد و سومان از هرکس کمک می‌خواهد حاضر به کمک نمی‌شود سومان که نتوانسته در امتحان شرکت کند خودکشی می‌کند.
یک نظامی سابق به نام جی اگنیهوتری(سلمان خان) این صحنه را می‌بیند و تصمیم به مبارزه با وزیر که سینگ نام دارد می‌گیرد او تصمیم می‌گیرد تا زنجیره خوبی‌ها را درست کند به این ترتیب که هر نفر به سه نفر کمک کند و او هم در مقابل و برای تشکر به سه نفر دیگر کمک کند دیری نمی‌گذرد که این حرکت فراگیر می‌شود و منجر به تقابل وزیر دشرات سینگ با جی می‌شود و…
بشکه‌سانان نام یک راسته از رده سالپ‌سانان است.
جداول زیر لیست فیلم‌های منتشر شده در سال ۲۰۱۳ است. سه فیلم معروف ("تاپ گان"، "پارک ژوراسیک ‌"و "جادوگر شهر از ‌") به صورت 3D و آی‌مکس باز نشر شده‌است.
جدول زیر لیست ده تا از پرفروش‌ترین فیلم‌های سال ۲۰۱۳ را نشان می‌دهد:
فیلم "منجمد" و "مرد آهنی ۳" با فروش بیش از ۱.۲ میلیارد دلار در جایگاه ششم و هفتم فهرست پرفروش‌ترین فیلم‌های تاریخ قرار گرفته‌اند. منجمد دومین فیلم انیمیشن پس از انیمیشن "داستان اسباب‌بازی ۳ می‌باشد که توانسته بیش از ۱ میلیارد دلار فروش داشته باشد و در فهرست پر فروش‌ترین فیلم‌های انیمیشن تاریخ در سرار دنیا قرار گرفته‌است. فیلم پارک ژوراسیک پس از بازنشر 3D با فروش بیش از ۱ میلیارد توانست در جایگاه ۱۵ فهرست پر فروش‌ترین فیلم‌های تاریخ قرار بگیرد."
بشکه‌ایان نام یک تیره از رده سالپ‌سانان است.
آب‌دزدک بشکه‌ای نام یک سرده از رده سالپ‌سانان است.
بشکه‌چه‌ها نام یک سرده از رده سالپ‌سانان است.
بشکه‌چه شگرف نام یک گونه از رده سالپ‌سانان است.
بشکه‌چه گگن‌باور نام یک گونه از رده سالپ‌سانان است.
آتش‌تن اطلسی نام یک گونه از سرده آتش‌تنان است.
سالپ گرد بیکر نام یک گونه از تیره سالپ است.
توری‌دارسانان نام یک راسته از ناجورتاژکان است.
جلبک طلایی نام یک رده از ناجورتاژکان است.
اُخرایی‌تباران نام یک شاخه از ناجورتاژکان است.
نزیهه دلیمی (به عربی: "نزیهة الدلیمی"، به انگلیسی: "Naziha Jawdet Ashgah al-Dulaimi") یکی از پیشاهنگان جنبش فمینیستی زنان عراق بود. او عضو بنیانگذار و نخستین رئیس اتحادیه زنان عراق در ۱۰ مارس ۱۹۵۲، نخستین وزیر زن در تاریخ مدرن عراق و نخستین وزیر زن در کابینهٔ کشورهای جهان عرب بود.
نزیهه جودت اشقه الدلیمی در سال ۱۹۲۳ در بغداد به دنیا آمد. پدربزرگ او از محمودیه (در میان بغداد و بابل) مهاجرت کرده و به در اواخر قرن نوزدهم به بغداد آمده‌بود. او در کالج سلطنتی پزشکی (که بعداً به دانشگاه بغداد پیوست) به تحصیل در رشتهٔ پزشکی پرداخت. او در سن ۱۹ سالگی یکی از معدود دانشجویان دختر آن دانشگاه بود. او از همکارانش که به شدت دغدغهٔ بدبختی مردم عراق را داشتند تأثیر پذیرفته و به «جامعهٔ زنان برای مبارزه با فاشیسم و نازیسم» پیوست و به صورت بسیار فعالانه‌ای درگیر فعالیت‌های آن شد. پس از آن، هنگامی که آن جامعه به «انجمن زنان عراق» تغییر نام داد، به عضویت کمیتهٔ اجرایی آن درآمد.
نزیهه دلیمی در سال ۱۹۴۱ به عنوان پشک از دانشگاه فارغ‌التحصیل شد. او در دوران دانشجویی با آرمان‌ها و اعتراضات حزب کمونیست عراق (ICP) آشنا شده‌بود. او در سال ۱۹۴۷ برای عضویت در حزب نامزد شده‌بود و در سال ۱۹۴۸ به عضویت کامل در حزب درآمد. او در ژانویهٔ ۱۹۴۸ به صورت فعالانه در جنبشی که «انتفاضة الوثبة» نامیده می‌شد و علیه قرارداد استعماری پورتسموث بود و همچنین در نبردهای میهنی دیگر درگیر شد. درگیرشدن فزایندهٔ او در کار سیاسی میهنی و آگاهی رشدیابندهٔ او از رنج‌های مردم در نتیجهٔ سرکوب حاکمان و ارتجاع اجتماعی، او را به پیوند بیشتر میان مبارزه برای اعتراضات میهنی و مبارزه برای ترقی اجتماعی متقاعد ساخت.
او پس از پایان تحصیلاتش در بیمارستان سلطنتی بغداد به کار مشغول شد، و پس از مدتی به بیمارستان کرخ رفت. در خلال آن دوران او به واسطهٔ همدردی‌اش با مردم تهیدست و معالجهٔ رایگان آن‌ها در مطبش در منطقهٔ شواخ، از طرف دستگاه‌های امنیتی سلطنتی تحت آزار و اذیت قرار گرفت. او سپس به سلیمانیه در کردستان عراق رفت و مطب او یک بار دیگر به پناهگاه بیمارانی تبدیل شد که خدمات و حمایت او را به رایگان دریافت می‌کردند. او از سلیمانیه به عنوان مجازات برای احساسات انسان‌دوستانه‌اش نسبت به تهیدستان، خدمات پزشکی رایگان‌اس و فعالیت سیاسی میهن‌دوستانه‌اش به شهرها و استان‌های دیگر مانند کربلا و عماره نقل مکان داده شد.
اما این انتقال‌های اجباری به او اجیازه داد تا شرایط دشواری را که مردم عراق در بخش‌های مختلف این کشور داشتند مشاهده کند و باعث شد او به‌ویژه از شرایط و بدبختی‌های نان عراق آگاه شود. این تجربه او را به نگارش کتابی با عنوان "زنان عراقی" رهنمون کرد.
او کوشید تا انجمن زنان عراق را احیا کند و برای این کار از سوی ده‌ها تن از کنشگران زن مورد حمایت قرار گرفت که به مسئولان فشار می‌آوردند تا «جامعهٔ آزادیبخش زنان» تأسیس شود. اما فعالیت‌های او «به دلیل الامات منافع عمومی» رد می‌شد. امضاکنندگانی که به‌وسیلهٔ نزیهه دلیمی هدایت می‌شدند در پاخ تصمیم گرفتند به پیش رفته و تحت هر ضرایطی این سازمان را هرچند مخفیانه و با تغییر نام به «اتحادیهٔ دفاع ار حقوق زنان عراقی» تأسیس کنند. این اتحادیه در ۱۰ مارس ۱۹۵۲ تأسیس شد. در میان اهداف اتحادیه موارد زیر به چشم می‌خورد:
تحت رهبری و مشارکت فعال مزیهه دلیمی، اتحادیه که نام ان به «اتحادیهٔ زنان عراق» تغییر کرد، در طی سال‌های پیش‌رو توسعه پیدا کرد و پس از انقلاب ۱۴ ژوئیهٔ ۱۹۵۸ به سازمانی توده‌ای تبدیل شد. تعداد اعضای اتحادیه در آن زمان که عراق ۸ میلیون نفر جمعیت داشت، به ۴۲ هزار نفر رسید و موفق شد دستاوردهای زیادی برای زنان عراقی داشته‌باشد که از آن میان می‌توان به تصویب مادهٔ ۱۸۸ قانون احوال شخصیه در سال ۱۹۵۹ که قانونی مترقی بود اشاره کرد.
اتحادیهٔ زنان عراق به عنوان عضو دائم دبیرخانهٔ فدراسیون بین‌المللی زنان شناخته‌شد. نزیهه دلیمی به عضویت هیئت قانون‌گذاری و اجرایی فدراسیون درآمد و بعداً به عنوان نایب رئیس این سازمان بین‌المللی انتخاب شد. او به شخصیتی مطرح در حوزهٔ زنان در سطح بین‌المللی و نیز در سطح جهان عرب و جهان سوم تبدیل شد.
نزیهه دلیمی در خلال دههٔ ۱۹۵۰ در جنبش صلح عراق به سورت فعالانه‌ای مشارکت کرد و به عضویت کمیتهٔ تدارکات برای کنفرانس پارتیزان‌های صلح درآمد که در ۲۵ ژوئیهٔ ۱۹۵۴ در بغداد برگزار شد. او همچنین عضو شورای جهانی صلح نیز بود.
او همچنین در دههٔ ۱۹۵۰ به پژوهش برای ریشه‌کنی باکتری بیماری عفونی بژل پرداخت.
نزیهه دلیمی پس از سرنگونی حکومت سلطنتی از طرف رئیس‌جمهور عبدالکریم قاسم به عنوان نمایندهٔ انحصاری حزب کمونیست عراق در حکومت جمهوری، به سمت وزیر شهرداری‌ها در کابینهٔ ۱۹۵۹ رسید. او نخستین وزیر زن در تاریخ عراق مدرن و نیز نخستین زن در کابینهٔ دولت‌های جهان عرب بود. او بعداً برای تصدی وزارت کشور در کابینهٔ بعدی پیشنهاد داده‌شد.
نزیهه دلیمی در خلال فعالیت‌های دولتی‌اش در محلات فقیرنشین شرق بغداد کارهای عمومی توده‌ای به راه انداخت و پروژه‌های ساخت مسکن که شهر «الثورة» (انقلاب) نامیده می‌شد (و اکنون به «صدر» تغییر نام داده‌است) را به پیش برد. او همچنین در نگارش قانون حقوق مدنی ۱۹۵۹ که قانونی سکولار بود و حقوق زنان عراقی را در رابطه با ازدواج و حق ارث به رسمیت می‌شناخت، نقش داشت.
در نتیجهٔ فعالیت‌های چندجانبهٔ او در حزب کمونیست عراق و جنبش میهنی، نزیهه دلیمی در دوره‌های مختلف تحت آزار و اذیت‌های متعددی قرار گرفت. او مجبور شد کشور را ترک کرده و چندین بار در تبعید زندگی کند. اما این مسئله مانع از پیوستن او به دیگر رفیقانش در حزب و جنبش میهنی و جنبش زنان در مبارزه برای حقوق دموکراتیک و مشروع زنان نشد.
نزیهه دلیمی در درون حزب کمونیست عراق به عضویت کمیتهٔ مرکزی درآمده و در اواخر دههٔ ۱۹۷۰ هنگامی که هیئت دیکتاتوری حاکم در صدد فراهم آوردن مقدمات سرکوب خونین حزب کمونیست عراق بود، او عضو هیئت دبیران کمیتهٔ مرکزی حزب بود.
او در خلال سال‌های تبعیدش کوشید تا فعالیت خود را در ارتباط با مردم و میهن خود ادامه دهد. او نقش عمده‌ای در رهبری «کمیتهٔ دفاع از مردم عراق» داشت که پس از کودتای ۸ فوریهٔ ۱۹۶۳ تأسیس شد. این کمیته به وسیلهٔ محمد مهدی جواهری شاعر عراقی رهبری می‌شد. نزیهه دلیمی حتی در سال‌های دههٔ ۱۹۹۰ نیز یعنی زمانی که پیر و نحیف شده‌بود دست از فعالیت در رابطه با جنبش زنان و به‌طور مشخص اتحادیه زنان عراق نکشید. آخرین اتفاق مهمی که او به سورت فعالانه درگیر آن شد، سمیناری دربارهٔ وضعیت زنان عراق بود که در سال ۱۹۹۹ در کلن آلمان برگزار شد.
او در تدارک پنجمین کنگرهٔ اتحادیه زنان عراق بود، اما پیش از برگزاری آن در مارس ۲۰۰۲ دچار سکتهٔ مغزی شد که او را فلج کرد.
او در ۹ اکتبر ۲۰۰۷ در شهر هردکه در ایالت نوردراین-وستفالن در کشور آلمان در سن ۸۴ سالگی به دنبال چند سال مبارزه با اثرات سکتهٔ مغزی درگذشت.
مین کوون یکی از بزرگترین نژادهای گربه اهلی است. همچنین یکی از قدیمی‌ترین نژادها در آمریکای شمالی و به‌طور خاص «بومی» به ایالت مین است.
این نژاد به دلیل بزرگی، خوش‌مشرب بودن، باهوش بودن و علاقه‌مندی به تفریح و بازی، با نام مستعار «غول مهربان» نیز شناخته می‌شود.
اجداد گربه مین کون نوع از گربه‌ها ناشناخته است تنها حدس و گمان و داستانهای عامیانه در این خصوص وجود دارد. یکی از این داستان‌ها مربوط به ماری آنتوانت، ملکه فرانسه است که در سال ۱۷۹۳ اعدام شد.
آنتوانت پیش از مرگ، با کمک کاپیتان ساموئل کلو از فرانسه فرار کرد. او تمام اموال با ارزش خود به همراه ۶ گربه مورد علاقه‌اش را توسط کشتی به آمریکا برد و در آنجا نژاد فعلی پرورش یافت.
یکی دیگر از داستانها مربوط می‌شود به کاپیتان چارلز راگون انگلیسی که از گربه‌ها بر روی عرشه کشتی نگهداری می‌کرد.
این نژاد نیاز به پروتئین کافی و مواد مغذی در رژیم غذایی خود دارد. گوشت جزو مهمترین مواد در رژیم غذایی این نژاد در نظر گرفته می‌شود
طی مطالعات صورت گرفته در طول سال ۲۰۰۳ تا ۲۰۰۶ در سوئد متوسط طول عمر این نژاد حدود ۱۲٫۵ سال است. شایع‌ترین بیماری‌های قلبی در گربه‌ها دیده می‌شود و این نژاد مستعد به این بیماری است. HCM یک بیماری پیشرونده است و می‌تواند منجر به نارسایی قلبی و فلج پاهای عقبی گردد که منشأ آن در قلب و نتیجه‌اش مرگ ناگهانی است. بیماری تحلیل نخاعی-عضله‌ای که از جمله بیماری‌های ارثی و ژنتیکی است که بر روی اعصاب و نورون‌های ستون فقرات اثر می‌گذارد.
خانه ظهیرالاسلام خانه‌ای مسکونی است مربوط به دوره قاجار است و در مرکز شهر تهران در نزدیکی میدان بهارستان، خیابان هدایت واقع شده‌است. در اقدامی پرسش‌برانگیز این بنا دو بار به در فهرست آثار ملی به ثبت رسیده‌است. این اثر در بار دوم در تاریخ با شمارهٔ ثبت ۳۱۰۹۶ به‌عنوان یکی از آثار ملی ایران به ثبت رسید.
خانه ظهیرالاسلام سال ۱۳۹۳ به ثبت ملی رسید اما این ثبت نیز تغییری در اوضاع این خانه ایجاد نکرد زیرا نام این خانه در هنگام ثبت ملی به نام خانه سردار تنکابنی ذکر شده و بنا شماره ثبت دریافت نکرد.
این خانه منسوب به امام جمعه تهران و داماد ناصرالدین شاه، سید زین العابدین امام جمعه پسر میرزا ابوالقاسم امام جمعه ملقب به ظهیرالاسلام می باشد.
خانه ظهیرالاسلام عمارتی از دورهٔ قاجار است. این عمارت از آن جهت که خانهٔ مسکونی یکی از شخصیت های عهد قاجار و با توجه به آن که نمونه‌ای کم‌نظیر و کامل از بناهای مسکونی دورهٔ قاجار بوده و با توجه به موقعیت قرارگیری در محله‌ای خاص قابل بحث و بررسی ست؛ و از آنجا که این بنا مبین تحول در بناهای کوشکی دورهٔ قاجار و تلفیق با معماری اروپایی است ارزشهایی را برای بنا بدنبال دارد. طبق مطالعات این بنا فاقد لوح یا کتیبه‌ای است که تاریخ ساخت آن را مشخص کند، ولیکن با توجه به تلفیق معماری بومی و غربی و سقف شیروانی این خانه گواه بر این است که این کوشک متعلق به اواخر دورهٔ ناصرالدین شاه است.مساحت منزل «ظهیرالاسلام»، حدود ۲۵۰۰ متر مربع زیربنا با ساختمانی ۶۰۰ مترمربع در دو طبقه شامل یک طبقه زیرزمین و یک طبقه همکف است که در دورهٔ قاجار ساخته شده‌است.از سویی، محمدولی خان سپهسالار تنکابنی هم ظاهرا در این محل زندگی کرده است. مالکیت ملک منتسب به سلطان محمد میرزا سیف الدوله(عضدی قاجار) است که به صورت امانت در اختیار ظهیرالاسلام قرار گرفته بود«مدارک و مستندات»
در حال حاضر مالکیت بنا به‌طور خصوصی در دست سازمان تأمین اجتماعی است. سیدتقی نوربخش مدیرعامل سازمان تأمین اجتماعی نیز در حاشیه حضورش در خبرگزاری مهر دربارهٔ وضعیت بنای تاریخی خانه‌ای که تحت تملک این سازمان قرار دارد و مردم تهران آن را به‌عنوان خانه ظهیرالاسلام می‌شناسند، به خبرنگار مهر گفت: اکنون عملیات ساختمانی و مرمت این خانه تاریخی شروع شده و ما برای آن بوجه هفت میلیارد تومانی اختصاص داده‌ایم تا به صورت یک مرکز فرهنگی به بهره‌برداری برسد. نقشه‌های آن کشیده شده تا به عنوان یک میراث فرهنگی در جهت وظایف فرهنگی تأمین اجتماعی مورد بهره‌برداری قرار گیرد.
وی با بیان اینکه خانه ظهیرالاسلام در اختیار سازمان تأمین اجتماعی باقی می‌ماند افزود: امسال (۱۳۹۶) این خانه بازسازی شده و به بهره‌برداری می‌رسد.
اگرچه این بار نیز مدیرعامل سازمان تأمین اجتماعی از تغییر کاربری این بنای تاریخی و مرمت آن خبر داده‌است اما دوباره مرمت خانه ظهیرالاسلام متوقف مانده‌است.
بنای ظهیرالاسلام در خیابان قائدی و سر خیابان ظهیرالاسلام قرار دارد.
این بنا تا سال ها متروک بوده و در حال تخریب بوده است تا اینکه سازمان تامین اجتماعی در سال ۱۳۹۵ تصمیم به مرمت خانه می گیرد. در این سال با بستن قراردادی طرح مرمت و احیای خانه به شرکت ارگ بم کرمان واگذار می شود و مستند سازی بنا نیز به پژوهشگاه میراث فرهنگی سپرده می شود که عملیات نقشه برداری و اسکن لیزر آن توسط مهندس فرشاد صالحی انجام میشود. بعد از تهیه طرح مرمت توسط شرکت ارگ بم کرمان، در اواخر سال ۱۳۹۶ عملیات اجرایی مرمت خانه طی قراردادی به موسسه پژوهشی فرهنگ و هنر دانشگاه تهران سپرده می شود. موسسه پژوهشی فرهنگ و هنر دانشگاه تهران که سابقه مرمت آثار مهمی همچون کتابخانه پروین اعتصامی باغ نگارستان و سردرد باغ ملی را در کارنامه خود دارد، عملیات مرمتی و تجهیز کارگاه را از ابتدای سال ۱۳۹۷ آغاز نمود. مدیریت پروژه در ابتدای شروع فعالیت مرمتی بطور همزمان توسط مهندس داود دانشیان از متخصصین به نام در حوزه مرمت بنا و مهندس مجید آذرشب از جمله متخصصان حوزه مرمت و فارغ التحصیل تحصیلات تکمیلی در رشته مرمت در دانشگاه تهران انجام می شد و در کنار تیم اجرایی نیز یک کارگروه متشکل از ناظران میراث فرهنگی آقایان مهندس رایتی و مهندس حشمتی، و نمایندگان کارفرما و مجری تشکیل شد که وظیفه آن راهبری کلیه عملیات مرمتی بود.کلیه عملیات مرمت و طراحی های حین پروژه بعد از تایید در این کارگروه به اجرا در می آمد. به علت تخریب های بسیار زیاد و همچنین مشکلات زیاد در طرح تهیه شده توسط شرکت ارگ بم کرمان به علت عدم تطابق نقشه های تهیه شده توسط این شرکت با وضع موجود بعد از آوار برداری، طی توافق با مجری، بازطراحی پروژه و تهیه نقشه های جدید نیز به موسسه پژوهشی فرهنگ و هنر سپرده شد. با رفتن مهندس دانشیان از مدیریت پروژه بعد از گذشت چند ماه، مهندس مجید آذرشب مسئولیت مدیریت پروژه مرمت خانه را به تنهایی بر عهده گرفت. مجید آذرشب، در کنار دیگر متخصصین که همگی از فارغ التحصیلان دانشگاه های مطرح کشور، بخصوص دانشگاه تهران، بودند، عملیات اجرای مرمت را در سال ۱۴۰۰ به اتمام رساند. در این پروژه افرادی همچون مهندس محمد شوکتیان به عنوان سرپرست کارگاه و مهندس زینب تقی پور مسئول دفتر فنی، مهندس محمدرضا محمودی مسئول مستندسازی، مهندس سعید رحمتی، مهندس سعید آذرشب، مهندس محمد گلستانی، مهندس بهروز شیرازی، مهندس عباس راه چمنی، مهندس حیدری، مهندس محمد گیلکی، مهندس عباس صادقی، مهندس مائده رضوان، آقای بابک صدیقی عکاس پروژه، حضور داشتند.
https://web.archive.org/web/20180103133409/http://shahrefarang.com/zahiroleslam-house /
آژانس امدادرسانی و کاریابی برای آوارگان فلسطینی در خاور نزدیک"'اونروا' فعالیت‌های ضروری خود در غزه را کاهش می‌دهد". 2018. خبرگزاری جمهوری اسلامی. Accessed September 9 2018. . یا به‌طور خلاصه اونروا () توسط سازمان ملل در دسامبر ۱۹۴۹ ایجاد شد، یک مؤسسه امداد رسانی و تأمین تسهیلات و کمک‌های انسانی برای حمایت بیش از ۵ میلیون پناهنده ثبت شده فلسطینی است. پناهندگانی که طی جنگ ۱۹۴۸ فلسطین و همچنین جنگ شش روزه ۱۹۶۷ همراه با فرزندان خود یا از خانه مادری خود اخراج شدند یا فرار کردند.General Assembly Resolution 302
در ابتدا هدف آژانس، قرار بر ایجاد مشاغل در خصوص پروژه‌های عمرانی و کمک‌های مستقیم بود، اما اکنون آژانس امدادرسانی و کاریابی برای آوارگان فلسطینی در خاور نزدیک به پشتیبانی از پروژه‌های آموزش و پرورش، خدمات درمانی و خدمات اجتماعی پناهندگان فلسطینی می‌پردازد. کمکهای این سازمان در پنج حوزه عملیاتی در کشورهای اردن، لبنان، سوریه، نوار غزه و کرانه باختری رود اردن، از جمله اورشلیم شرقی توزیع می‌شود. اما خارج از این پنج حوزه، کمک به پناهندگان فلسطینی از طریق کمیساریای عالی پناهندگان سازمان ملل متحد صورت می‌گیرد.
این آژانس پس از جنگ ۱۹۴۸ فلسطین، حمایت از پناهندگان فلسطینی یهودی و عرب در داخل اسرائیل را برعهده گرفت و تا سال ۱۹۵۲ که اسرائیل مسئولیت پناهندگان یهودی را پذیرفت به کمک‌ها ادامه داد.UNRWA "jewish refugees" 1952 مجمع عمومی در غیاب یک راه حل برای مشکل پناهندگان فلسطینی مجوز اونروا را بارها و بارها تمدید کرده‌است و اخیراً آن را تا ۳۰ ژوئن ۲۰۱۷ تمدید نمود.UNITED NATIONS RELIEF AND WORKS AGENCY FOR PALESTINE REFUGEES IN THE NEAR EAST
اونروا تنها سازمانی است که خاص کمک به پناهندگان یک منطقه خاص یا درگیری است و امکان اسکان سازی در یک کشور سوم یا در صورت نیاز بازنشستگی پناهندگان را می‌دهد و همچنین اجازه می‌دهند که وضعیت پناهندگی به فرزندان پناهندگان نیز به ارث برده شود.we provide assistance and protection forsome 5 million palestine refugees
در پی اعلام ترامپ مبنی بر انتقال سفارت آمریکا به قدس و تیره شدن روابط دولت خودگردان با آمریکا در ۲۶ دیماه ۱۳۹۶ آمریکا اعلام کرد که از کمک پرداختی به این سازمان برای تأمین بودجه آن ۶۵ میلیون دلار کاهش داده و تنها ۶۰ میلیون دلار پرداخت خواهد کرد.
کی لیگ چلنج () یکی از لیگ های کشور کره جنوبی است که پس از کی لیگ کلاسیک دومین لیگ معتبر این کشور است.
جشن دلتنگی فیلمی به کارگردانی پوریا آذربایجانی، نویسندگی مونا سرتوه و پوریا آذربایجانی و تهیه‌کنندگی علی قائم مقامی محصول سال ۱۳۹۶ است. این فیلم در بخش مسابقه سی و ششمین جشنواره فیلم فجر حضور پیدا کرد.
فیلم جشن دلتنگی دربارهٔ رابطه واقعی آدم‌ها و گره خوردن آن با فضای مجازی است. این فیلم در ژانر عاشقانه و درام ساخته شده‌است.پانته آ پناهی‌ها و پوریا آذربایجانی بعد از فیلم «اروند» دومین همکاری خود را در فیلم «جشن دلتنگی» تجربه کردند.
تجزیه قطعی تجزیه‌ای است که در آن بتوان به صورت قطعی و در زمان چند جمله‌ای تجزیه پذیر بودن یا نبودن یک عبارت توسط گرامر را تشخیص داد. این نوع رفتار همان رفتار مورد نیاز در کامپایلرهاست.این نوع تجزیه معمولاً براساس ماشین پشته‌ای قطعی است.
گرامرهای قطعی مستقل از متن در زمینه کامپایلر و به‌طور کل هرجا که قرار است زبانی به زبان دیگر ترجمه شود کاربرد فراوان دارد.
یک گرامر را زمانی گرامر مستقل ازمتن قطعی می نامیم ، به‌طوری‌که تمام رشته‌های تولید شده توسط این گرامر توسط یک ماشین پشته‌ای قطعی قابل تولید باشد و یک زبان مستقل از متن قطعی تولید کند. این نوع گرامرها خالی از هرنوع ابهام هستند.
زبان *L ⊆ Σ یک زبان مستقل از متن قطعی است اگر (L$ = L(M برای ماشین پشته‌ای قطعی M ، درحالی که $ یک علامت جدید می‌باشد که در Σ نیست.
یک ماشین پشته‌ای قطعی است زمانی که به ازای هر ساخت در آن ماشین حداکثر یک انتقال ممکن باشد.
برای این که یک ماشین پشته‌ای قطعی باشد برای هرجفت از انتقال‌ها باید حداقل یکی از موارد زیر بر قرار باشد:
ایده اصلی تجزیه بالا به پایین ساخت یک ماشین پشته‌ای از یک گرامرو پس از آن قطعی کردن آن ماشین پشته‌ای است. بعضی از راه‌های قطعی کردن ماشین پشته‌ای عبارت اند از:
گرامرهایی که پیش‌بینی یک علامت برای آن‌ها برای تجزیه بالا به پایین چپ به راست کفایت می‌کند گرامرهای (LL(1 می گویند.
تجزیه پایین به بالا براساس کلاس (LR(K گرامرها به وجود آمده‌است."L" به معنای خواندن ورودی از چپ به راست است."R" به معنای این است که راست‌ترین تجزیه انجام خواهد شد. در تجزیه پایین به بالا مانند تجزیه بالا به پایین ماشین پشته‌ای به وجود می آوریم با این تفاوت که در تجزیه پایین به بالا ماشین پشته‌ای به وجود آمده راست‌ترین استخراج پایین به بالا از یک پایانه ورودی انجام می دهیم تا به علامت شروع S برسیم.
دیرین‌خرخاکی‌سانان نام یک راسته از رده پرتوبالگان است.
دیرین‌خرخاکی‌مانندها نام یک تیره از رده پرتوبالگان است.
پیدا کردن محدودیت‌های محاسبات نیازمند تعریفی دقیق از چیستی محاسبات است. منشا چیزی که امروز به عنوان نظریه_محاسبات می‌شناسیم به آلن_تورینگ ریاضی‌دان بریتانیایی برمی گردد که تعریفی از فعل محاسبه کردن ارائه داد. او که دستگاه محاسباتی که امروز به نام ماشین_تورینگ شناخته می‌شود را معرفی کرد، نشان داد که طبق تعریف او قطعاً حداقل یک تابع وجود دارد که نمی‌تواند در روش محاسبات پیشنهاد شده محاسبه شود. برای پیدا کردن محدودیت‌های محاسبات قدم اول پیدا کردن مسائلی است که حتی نمیتوان آن‌ها را در زمان و حافظه نامحدود محاسبه کرد.
سوالی که مطرح می‌شود این است که چه مسائلی را می‌توان در زمان و یا حافظه محدود محاسبه کرد که بر این اساس کلاس‌های مختلف پیچیدگی مسائل شکل می‌گیرند. در واقع پیچیدگی محاسبات را می‌توان مطالعه مسائل و دسته‌بندی آن‌ها بر این اساس که در مقیاس زمان و حافظه، یک مساله چه قدر سخت می‌تواند باشد نامید.
به‌طور معمول وقتی در مورد محدودیت‌های محاسبات پرسیده می‌شود ذهن افراد به سمت محدودیت‌های دستگاهی که برای انجام محاسبه استفاده می‌شود، می‌رود. محدودیت‌هایی که می‌تواند در این زمینه وجود داشته باشد می‌توانند از انواع مختلفی باشند:
گزی گارسیا متولد ۱۷ اوت ۲۰۰۰ شناخته‌شده بعنوان لیل پامپ ، خواننده رپ و ترانه‌سرا اهل ایالات متحده آمریکا است. وی نخستین‌بار ترانه‌هایش را در موسیقی ساوندکلاود در سال ۲۰۱۶ بارگذاری کرد که تقریباً صد میلیون‌بار ترانه‌هایش در این وب‌گاه پخش و شنیده شده‌است. گارسیا برای ترانه‌اش «گوچی گنگ» که رتبه ۱ در ۱۰۰ آهنگ داغ بیلبورد را از آن خود کرده‌است، به شهرت رسیده‌است. وی نخستین آلبوم استودیویی خود، "لیل پامپ"، را در ۶ اکتبر ٢۰١٧ منتشر کرد.
گارسیا در ۱۷ اوت ۲۰۰۰ در میامی، فلوریدا از پدر اهل کوبا و مادر اهل مکزیک متولد شد.
وقتی که او ۱۳ سال داشت، پسر عمویش او را به عمر پینِرو معرفی کرد که بیشتر با نام اسموک‌پورپ شناخته می‌شود. گارسیا و عمر پینِرو در نهایت یک گروه شدند. او از مدارس منطقه‌ای اخراج شد و سپس در دبیرستان ثبت نام کرد. اما در کلاس دهم به دلیل دعوا و تحریک به درگیری از آنجا نیز اخراج شد.
شهرت گارسیا هنگامی شروع شد که اسموک‌پورپ رپ یک ترک تهیه کرد و از گارسیا خواست تا فری‌استایل برایش بخواند. تک‌آهنگ تهیه‌شده با عنوان «لیل پامپ» به صورت مستقل در وب‌گاه اشتراک‌گذاری موسیقی ساوندکلاود بعنوان اولین تک‌آهنگ وی منتشر شد. به دنبال آن تک‌آهنگ‌های «المنتوری»، «اگنورانت»، «گنگ شت» و «درام‌استیک» منتشر شدند که هرکدام به تنهایی سه میلیون بار پخش و شنیده شده‌اند. موفقیت آهنگ‌های گارسیا در ساوندکلاود او را در رپرهای زیرزمینی جنوب فلوریدا به شهرت رساند. به نحوی با عنوان «رپر ساوندکلاود» شناخته می‌شود و همچنین در تور نو جامپر ۲۰۱۶ برجسته شد.
لیل پامپ سال ۲۰۱۷ را با انتشار تک آهنگ‌های «دی رز» و «باس» شروع کرد، که با جمع‌آوری ۷۰ میلیون بار پخش از بیشترین پخش‌شده‌های ساوندکلاود است. محبوبیت آهنگ «دی رز» موجب ساخت موزیک ویدئویی از تهیه‌کننده و کارگردان اهل شیکاگو «کول بنت» که همچنین با نام لاریکال لیمونید شناخته می‌شود. موزیک ویدیو از ۳۰ ژانویه ۲۰۱۷ بر روی یوتیوب قرار داده شد و از دسامبر ۲۰۱۷ تاکنون ۱۰۶ میلیون بازدید داشته‌است. در ۹ ژوئن ۲۰۱۷، دقیقاً دو ماه قبل از تولد هفده سالگی‌اش، لیل پامپ قرارداد ضبطی را با استودیو های دا لایتس گلوبال و وارنر براس. رکورد امضا کرد. با این حال در ژانویه ۲۰۱۸ مشخص شد که قرارداد او به علت کمبود سن او با استودیوی وارنر براس رکورد لغو گردید.
وی اولین آلبوم استودیویی خود، لیل پامپ را با هم‌کاری اسموک‌پورپ، گوچی مان، لیل یاتی، چیف کیف، ریک راس و تو چینز در ۶ اکتبر ۲۰۱۷ منتشر کرد.
سوءتفاهم فیلمی به کارگردانی و نویسندگی احمدرضا معتمدی و تهیه‌کنندگی جلیل شعبانی محصول سال ۱۳۹۶ سازمان هنری رسانه‌ای اوج می‌باشد.
این فیلم در ۲۴ بهمن ۱۳۹۷ در سینماهای ایران اکران شده‌است.
قصه فیلم سوء تفاهم ماجرای یک گروگان‌گیری است که همه چیز در متن واقعیت پیش می‌رود اما با گذشت زمان این شبهه پیش می‌آید که این حادثه بیشتر شبیه یک «سوء تفاهم» یا توهم است؛ و اما در متن توهم هنوز عناصری از واقعیت به چشم می‌آید. همزمان با گسترش این ابهام، ماجرای گروگان‌گیری نیز به پیش می‌رود و…
این فیلم تلفیق ژانرهای تریلر روان‌شناختی، کمدی، و فلسفی است. ابتدای فیلم با جمله‌ای از ژان بودریار فیلسوف فرانسوی آغاز می‌شود.
مسجد عباس حلمی دوم (مسجد محمد علی، مسجد العباسی) در دوران پادشاه «عباس حلمی دوم» از سلسله خدیوی در سال ۱۹۱۱ میلادی ساخته شده است.
این مسجد یکی از مساجد تاریخی مصر است که در شهر «شبین الکوم» استان «منوفیه» قرار دارد.
کمیته دائمی آثار اسلامی و قبطی مصر در تاریخ ۱۱ دی ماه ۱۳۹۶ اقدام به ثبت ملی این مسجد کرد.
خرید منحصر به فرد اصطلاحی در اقتصاد است که اشاره به یک توافق نوشته یا نانوشته است که به موجب آن یک مسئول خرید برای خرید با وجود اینکه توزیع‌کنندگان دیگری در بازار وجود دارند و کالا را عرضه می‌کنند، تنها از یک تأمین‌کنندهٔ خاص مایحتاج را تهیه و خریداری نماید. در بسیاری از کشورها این اقدام تبانی‌ای غیرقانونی است و در برخی از کشورها اگر این قرارداد در جایی ثبت و مشخص و قابل بررسی و تجزیه‌وتحلیل منطقی باشد قانونی خواهدشد.
خرید منحصر به فرد از موارد موانع ورود به بازار به‌حساب می‌آید.
در استرالیا یکی از انواع اعمال «خرید منحصر به فرد» با نام Third line forcing، به‌طور کلی ممنوع است، یعنی هیچ توضیحی برای توجیه آن پذیرفته نمی‌شود. Third line forcing حالتی است که فروشنده خریدار را وادار کند که تنها در صورتی به وی جنس می‌فروشد که خریدار فلان کالا را نیز از همین فروشنده تهیه کند، که این نوع از اجبار به خرید منحصر به فرد در هر حالتی، حتی اگر از نظر شرایط بازار رقابتی غیرمنطقی و دارای اشکال نباشد، ممنوع است.
معضل خرید منحصر به فرد در بازارهای انحصار خرید تأثیر مخرب بیشتری دارد.
فروشنده شخصی است که خریدار می‌تواند با مراجعه به او نیاز خود را برطرف کند.
فروشنده همچنین ممکن است به یکی از موارد زیر اشاره داشته باشد:
سیستم تصویر مرکاتور یا فراتابی مرکاتور () نوعی ترسیم استوانه‌ای نقشه است که توسط گراردوس مرکاتور جغرافی‌دان فلاندری در سال ۱۵۶۹ معرفی شد. سیستم تصویر مرکاتور به دلیل قابلیت نمایش خطوط با زاویه ثابت که به نام خطوط هم‌گوشه شناخته می‌شود، به سیستم تصویری استاندارد برای تهیه نقشه‌های دریایی تبدیل شد. خطوط هم‌گوشه همه نصف‌النهارها را با زاویه‌ای معین و یکسان قطع می‌نماید. اگرچه در سیستم تصویر مرکاتور، مقیاس خطی در اطراف یک نقطه در همه جهت‌ها یکسان است و در نتیجه زاویه و شکل پدیده‌های کوچک بدون تغییر باقی می‌ماند ولی با افزایش عرض جغرافیایی از استوا به سمت قطب‌ها به دلیل بی‌نهایت شدن مقیاس، شکل و اندازه پدیده‌ها دچار تغییر و اعوجاج می‌شود. برای نمونه خشکی‌های بزرگی مانند گرینلند و جنوبگان بسیار بزرگ‌تر از اندازه واقعی خود نسبت به خشکی‌هایی مانند آفریقا دیده می‌شوند.
خجالت نکش فیلمی ایرانی به کارگردانی رضا مقصودی، نویسندگی رضا مقصودی و افرا جورابلو و تهیه‌کنندگی سید امیر پروین حسینی محصول سال ۱۳۹۶ است.
این فیلم داستان زندگی زن و شوهری را روایت می‌کند که با داشتن پسر و عروس، در سن میان‌سالی بچه‌دار می‌شوند. این اتفاق آن هم در روستایی کوچک که هیچ چیز از دید اهالی پنهان نمی‌ماند، از دید صنم (شبنم مقدمی) کمی غیر معقول به نظر می رسد. قنبر(احمد مهران‌فر) اما از این موضوع ابایی ندارد و بسیار خوشحال است زیرا به حرف رئیس جمهور گوش کرده و به فکر آینده کشورش است...
کاخ کورنیک ، نام کاخی قدیمی در ، لهستان است.
این کاخ با تلفیق از معماری نئوگوتیک و معماری اسلامی، در سده ۱۴ میلادی، توسط معمار آلمانی کارل فریدریش شینکل ساخته‌شد. کاخ متعلق به یکی از خانواده‌های اشرافی لهستان بود.
کاخ کورنیک اکنون در فهرست میراث فرهنگی لهستان به ثبت رسیده‌است و به موزه-کتابخانه تغییر کاربری داده شده‌است.
واقیناک خاچاتوری مارگونی (گریگوریان) (؛ – ) یک هنرپیشه اهل ارمنستان بود. وی بین سال‌های ۱۹۲۵ تا ۱۹۴۴ میلادی فعالیت می‌کرد.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به داویت بک، آناهیت اشاره کرد.
آروس هاروتیونی آسریان (؛ – ) یک هنرپیشه اهل ارمنستان بود.
وی در در تفلیس یا واردابلور به دنیا آمد و از فارغ‌التحصیل گشت. وی برنده جوایزی همچون هنرمند مردمی ارمنستان شوروی شد. وی در ۲۸ ژوئن ۱۹۸۷ در سن ۸۲ سالگی در ایروان درگذشت.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته‌است می‌توان به "نازار شجاع"، "داویت بک"، "قلب من در کوهساران" اشاره کرد.
تراز ساختمان داده یا هم‌تراز‌سازی داده ساختار روشی است که داده در حافظه رایانه، مرتب‌سازی و مورد دستیابی قرار می‌گیرد. این عمل دارای سه بخش کلی هم‌ترازسازی داده، داده‌ساختار لایه‌گذاری و دسته‌بندی می‌باشد.
در زبان‌های برنامه‌نویسی، هر شی‌ای که به عنوان داده کاربرد دارد دارای دو ویژگی است: مقدار و مکان ذخیره‌سازی. منظور از هم‌ترازسازی داده این است که آدرس هر شی داده قابل تقسیم بر ۱، ۲، ۴ یا ۸ باشد. به‌طور مثال، اگر آدرس داده‌ای 12FEECh باشد که معادل ۱۲۴۴۹۰۸ در سیستم اعشاری است، آنگاه این داده در یک سیستم هم‌ترازسازی ۴ بایتی قرار دارد چرا که بزرگترین توانی از دو که آدرس داده بر آن بخش‌پذیر است، ۴ می‌باشد.
دسترسی واحد پردازش مرکزی چه برای نوشتن و چه برای خواندن از حافظه به صورت تک بایتی اتفاق نمی‌افتد. در عوض، دسترسی واحد پردازنده به حافظه در قالب بسته‌های ۲، ۴، ۸، ۱۶ یا ۳۲ بایتی است. علت چنین طراحی‌ای، بازدهی می‌باشد: دسترسی به خانه‌های حافظه با آدرس مضرب ۴ بایت یا ۸ بایت بسیار سریع‌تر از دسترسی به آدرس‌های ۱ بایتی است. اگر داده‌ها به طول مضرب ۴ یا ۸ نباشند، این مسئله بار پردازشی برای پردازنده دارد، چرا که باید برای دادهٔ مثلاً به طول ۶، دو بلوک به طول ۴ بایت را بیرون بکشد و با شیفت‌دادن دادهٔ اصلی را دریافت کند.
این دو عمل به نوعی متضاد یکدیگر هستند. لایه‌گذاری پس از هر داده‌ای با با طولی غیرمضرب طول واژهٔ قراردادی، تعدادی بیت قرار می‌‎‌دهد تا همهٔ داده‌ها دارای آدرس مضرب عددی خاص مثلاً ۴ یا ۸ باشند. بسته‌بندی در مقابل، نقش بهینه‌سازی حجمی داده را بر عهده دارد. به‌طور مثال، یکی از کارهایی که در بسته‌بندی انجام می‌شود این است که بخش‌های تکرارشونده از داده را به صورت دنباله‌هایی که شامل آن بخش‌ها و تعداد تکرارشان است ذخیره می‌کند. این کار با وجود اینکه در حافظه صرفه‌جویی می‌کند، دو عیب را به همراه دارد:
کد زیر از زبان C را در نظر بگیرید.
struct mystruct_A
} x;
struct mystruct_B
} y;
اندازهٔ ساختارهای تعریف‌شده در بالا به ترتیب ۱۲ و ۸ می‌باشد. در زبان C پروسهٔ لایه‌گذاری به صورت خود به خود صورت می‌گیرد. به‌طور مثال در مورد ساختار اولی که در کد بالا آمده‌است، اتفاقی مشابه زیر می‌افتد:
struct mystruct_A {
در بالا می‌بینیم که طول داده‌ساختار کاراکتر به‌طور پیش‌فرض برابر ۱ بایت است، به همین علت خود کامپایلر ۳ بایت را به حافظه پس از جایی که این کاراکتر ذخیره شده‌است اضافه می‌کند تا شروع هر خانه حافظه‌ای که کد با آن سر و کار دارد دارای آدرسی مضرب ۴ باشد. همین اتفاق برای کاراکتر بعدی تعریف شده به عنوان c افتاده‌است.
در مقابل پروسهٔ بسته‌بندی به صورت پیش‌فرض در کامپایلر C اتفاق نمی‌افتد و باید این تابع با عنوان formula_1 به‌طور خاص صدا زده‌شود:
struct __attribute__((__packed__)) mystruct_A {
به این ترتیب کد بالا از فرایند لایه‌گذاری که به صورت پیش‌فرض توسط کامپایلر صورت می‌گیرد جلوگیری می‌کند و ساختار یاد شده را در فضای ۶ بایت (هرکدام از ساختارهای کاراکتر ۱ بایت و ساختار عدد صحیح ۴ بایت) ذخیره می‌کند.
اِلب‌فیل‌هارمونی یک فرهنگسرا و تالار کنسرت در شهر هامبورگ، آلمان است. این بنا در سال ۲۰۱۷ میلادی، توسط شرکت معماری هرتزوگ و دمویرون طراحی و بر روی یک انبار قدیمی شکلات و چای ساخته‌شد. طراحی دراماتیک و تکنیکی بالا و از دیگرسو منطقه ای اِلب‌فیل‌هارمونی، تحسین فراوان صاحب‌نظران معماری را در پی داشت.برترین سازه‌ها و بناهای سال ۲۰۱۷، "بی‌بی‌سی فارسی"
ساختمان اِلب‌فیل‌هارمونی در منطقهٔ هافن سیتی قرار دارد. این منطقه قدیمی سابقاً باراندازی دریایی بود اما دیگر کاربری کشتی‌رانی برای کشتی های بزرگ ندارد ولی کشتی های کوچک تفریحی و شخصی کاربرد دارد.
کنوانسیون حداقل سن کار ()، پیمانی است که در سال ۱۹۷۳ توسط سازمان بین‌المللی کار تصویب شد. این کنوانسیون (شماره C138 سازمان بین‌المللی کار) جایگزین چند کنوانسیون ویژه کار مشابه قبلی می‌شود.
جهت پیشبرد سیاست جلوگیری از بکارگیری کودکان کار ضروری است که دولتها این کنوانسیون را قبول و امضا کنند.