moaminsharifi/fa-wiki-spell-checker huggingface dataset:
بابیان، مطابق با قوانین شیعه، معتقد بودند که وقتی امام در جهان است، فقط او می‌تواند حکم جهاد صادر کند. آنها مجاز بودند که برای دفاع از خود وارد جنگ شوند، اما حمله بدون دستور صریح امام - یعنی خود باب - قابل پذیرش نبود. از همان روزهای آغازین جنبش، بابی‌ها انتظار داشتند که چنین دستوری صادر شود. قرار بود امام زمان علیه دشمنان خود بجنگد و آن‌ها را شکست دهد و بابیان انتظار داشتند که برای پاکسازی جهان از شر و کفر به این جهاد بپیوندند."The Babi Uprising in Zanjan," John Walbridge published in Iranian Studies, 29:3-4, pages 339-362 1996 باب اما در زمان حیات خود هیچ‌گاه فرمان جهاد صادر نکرد. آثار باب چالش‌برانگیز و مخالف انتظار علمای سنت‌گرا بود. ولی وی در هیچ‌یک از آثارش کوچک‌ترین اشاره ای به آغاز نبرد و خشونت نکرد و عملاً مانع بروز جهادی شد که بر طبق سنن و احادیث می‌بایست امام مهدی آن را فرماندهی می‌کرد.Vahman, Farīdūn (2020). The Bab and the Babi community of Iran (1 ed.). Sūʼid: Nashr-i Bārān. p. 221. ISBN 9789185463916. باب در کتاب احکامش، "بیان فارسی"، با موکول نمودن حق اعلام جهاد به پادشاهان آینده بابی، عملاً اجرای آن را غیر عملی ساخت.Vahman, Farīdūn (2020). The Bab and the Babi community of Iran (1 ed.). Sūʼid: Nashr-i Bārān. p. 229. ISBN 9789185463916.
یکی از مهم‌ترین ایراد ردیه نویسان اسلامی علیه باب آن بود که او جهاد نکرده و بنابراین نمی‌تواند مهدی موعود باشد. باب آنطوری که در آثار استدلالی‌اش می‌گوید بر آن بود که دلیل حقانیت مهدی، کلام او است و نه شمشیر.
در رستاخیزهای بابی‌ها در نقاط مختلف کشور آنطور که اسناد متعدد نشان می‌دهد طرح سازمان یافته‌ای با هدف براندازی دنبال نمی‌شده‌است. جنگ‌ها بیشتر به بابی‌ها تحمیل شد و چون باب در حبس بود و بزرگان بابی مانند بشروئی و بارفروشی، و حجت زنجانی هر کدام در شهری و در محاصره نیروهای دولتی بودند، به دفاع از خود پرداختند. جنبش فاقد رهبری مرکزی بود.
داتامش (یونانی: دتامیس) نام ایرانی است که منعکس‌کننده ایرانی باستان *Dātama- یا *Dātāma-، حتی یک فرم کوتاه شده دو ساقه‌ای *Dāta-m-a- از یک نام ترکیبی مثل *Dātamiθra- یا یک ترکیب کوتاه نشده *Dātāma- از *Dāta-ama- (کسی که به او نیرو داده شده) است.
بهترین کسی که با این نام شناخته شده، داتامش (متولد ۴۰۷ پ.م. یا زودتر- درگذشت ۳۶۲ پ.م.) پسر کامیسارس کاریایی (که اسمش به نظر ایرانی اصل می رسد) است که بر قسمتی از کیلیکیه از اوایل حکومت اردشیر دوم (۴۰۵-۳۵۹ پ.م.) و پافلگونیان سکاثیسه (احتمالاً شاهزاده بوده) فرمانروایی می‌کرده‌است. بیشترین اطلاعات دردسترس درباره داتامش در گزارش زندگانی داتامش توسط کرنلیوس نپوس یافت شده ولی، جدای از قصور بدنامی کارش، کار آسانی نیست که این اطلاعات را با دیگر منابع آشتی دهیم.
داتامش فرمانده محافظان شخصی اردشیر دوم بود. داتامش فرزند مردی از اهالی کاریان و زنی از اهالی سیتیان بود. به هنگام جنگ علیه کادوسیان‌ها، خودی نشان داده بود و به همین جهت به آن فرماندهی منصوب شد. حدود سال ۳۷۸ پ.م وی فرماندار مناطقی از کاپادوکیه شده بود، او را مأمور کرده بودند که شورش اوتیس شاه پافلاگونیا را سرکوب کند. اندک اندک وی تبدیل به یکی از نیرومندترین فرمانداران آسیای صغیر شد. فعالیت‌های پرتحرک داتامش رضایت شاه ایران را جلب کرد و به همین خاطر به عنوان پاداش، سپاهیان عظیمی را به سوی وی اعزام داشت. ولی این ترقی سریع داتامش، در به دست آوردن قدرت، حسادت درباریان را برانگیخت، آن‌ها منتظر فرصت بودند تا از وی غیبت و بدگویی کنند. پاندان‌تس خزانه‌دار سلطنتی که از دوستان داتامش بود، طی نامه‌ای به وی اخطار کرد که چیزی نمانده‌است که از سوی درباریان مورد بدگویی قرار گیرد و این در صورتی است که در جنگ شکست بخورد، زیرا عادت شاه بر آن است که پیروزی‌ها را نتیجه کار خود و شکست‌ها را نتیجه کار سردارانش بداند. از آن پس داتامش با احتیاط فراوان عمل می‌کرد و کوشید تا مناطق همجوارش را تحت تسلط خود درآورد. این مناطق اکثراً متعلق به همان شاهزاده‌های شورشی بود. بدین ترتیب وی به تدریج موفق شد که فرمانروای بسیاری از سرزمین‌های بین توروس و دریای سیاه گردد. داتامش جایگزین فارناباز دوم در لشکرکشی هخامنشیان به مصر شد. در بهار ۳۷۳ پ.م وی علناً رفتاری کرد که نشان می‌داد که فرمانروایی مستقل است. سکه‌هایی از آن دوران و به سبک ایرانی که توسط داتامش ضرب شده بودند هنوز در دست است. (به ویژه این سکه‌ها نقش اهورامزدای مجهز به دو بال را دارند)
هنگامی که داتامش علیه شاه طغیان کرد، وی به‌طور آشکار مورد توجه حمایت ساتراپ هلسپونت فریگیه بود که در آن زمان این مقام را آریوبرزن بر عهده داشت. به علاوه ماسول و بعضی دیگر از فرمانداران آسیای صغیر پنهانی به جبهه داتامش آمدند. وادفرداد، ساتراپ لیدی که نسبت به اردشیر وفادار مانده بود، فرمانی دریافت کرد که شورش را سرکوب کند. وی با سپاهیانش به سوی کاپادوکیه حرکت کرد ولی توسط داتامش به عقب رانده شد. آریوبرزن و داتامش سپاه عظیمی فراهم آورده و برای طلب کمک به جانب آتن و اسپارت شتافتند. آگسیلائوس دوم شاه اسپارت که به یک زندگی صلح‌جویانه و آرام عادت نکرده بود، حاضر شد تحت فرماندهی آریوبرزن قرار گیرد به امید اینکه با کمک مالی ساتراپ شورشی، سپاهیان مزدور استخدام کند. آتنی‌ها سی کشتی جنگی و هشت هزار سرباز مزدور فرستادند، این کشتی‌ها و سپاهیان که تحت فرماندهی سردار آتنی تیموتوس قرار داشتند برای کمک به آریوبرزن آمده بودند. ولی به سپاهیان آتنی دستور داده بودند که پیمانهای منعقده با شاه را نقض نکنند! گویی کمک به آریوبرزن اصولاً‌ نقض شرایط قرارداد صلح آنتالکیداس نیست. شورش به سرعت گسترش یافت و حتی به شهرهای فنیقیه هم رسید. وادفرداد که هنوز نسبت به شاه وفادار بود خود را مطلقاً تنها یافت و به این اندیشه افتاد که به جای اجرای یک جنگ خطرناک علیه دشمنان اردشیر، همان بهتر که به جبهه مخالفان برود. در همان حال یکی از دامادهای اردشیر نیز به جبهه داتامش پیوست. این همان اروند یکم ساتراپ ارمنستان بود. ساتراپ‌های شورشی، شخصی به نام رئومیترس را نزد فرعون مصر تاکوس فرستادند و از وی کمک خواستند. تاکوس پول و کشتی برای شورشیان فرستاد. از طرف دیگر پی‌سیدیانها و لیسیانها نیز از شورشیان علیه شاه بزرگ پشتیبانی کردند.
بدین ترتیب سراسر آسیای صغیر و پاره‌ای از مناطق همجوار آن همگی علیه دولت مرکزی به حالت جنگی در آمدند. ولی هدف اصلی هر یک حفظ منافع شخصی بود و هر کدام آماده بودند تا به متحدان خود خیانت کرده وارد مذاکره با شاه ایران شوند. آن‌ها به یکدیگر اعتمادی نداشتند. یرواند یکم در سال ۳۶۳ پ.م به جبهه اردشیر رفت در حالی که قرار بود به سوریه برود و بدین سان به سربازان مزدوری که در خدمتش بودند، خیانت کرد. پس از او، وادفرداد نیز به او پیوست. سرانجام در سال ۳۶۰ پ.م مهرداد فرزند آریوبرزن نیز به پدر خیانت کرد و او را کشت. سیاستمداران دربار شاه نیز از آن سو موفق شدند سپاهیان داتامش را علیه او بشورانند.
اشخاص دیگری نیز بودند که اسم *Dātama یا Datámās داشتند. یکی از آن‌ها رهبر کادوسیان‌ها در حمله به قلعه گاداتاس تحت رهبری کوروش بزرگ (۵۵۹-۵۲۹ پ.م.) بود، که در نزدیکی بابل کشته شد. Datámās دیگر، میریاچ (رهبر ۱۰ هزار سواره نظام پارسی) بود که در رژه فاتحانه کوروش شرکت کرده بود. یک *Dātama (ایلامی Da-(ad/ud-)da-ma))، مقام رسمی در زمان داریوش اول (۵۲۲-۴۸۶ پ.م) بود که عملکردش نامشخص است،. نام این شخص در لوح‌های قلعه پرسپولیس چندین بار آمده‌است و احتمالاً شخص دیگری که صاحب مهر پوسپولیتن شماره ۲۰ (احتمالاً از دوران حکومت خشایارشا اول تا اردشیر اول بوده) که مربوط به کتیبه آرامی تکه تکه شده «مهر dtm» است. داتامش، یکی از شاهان کاپادوکیه که در شجره نامه مرتبط با خاندان کوروش بزرگ لیست شده است، گفته می‌شود که پسر آنافاس، یکی از «۷ پارسی» بوده و او را به تخت پادشاهی نشانده است. او همچنین به عنوان پدر آریا(رَ)منش شناسایی شده‌است. این داتامش به عنوان جنگجوی شجاع و کشته شده در جنگ ستایش شده‌است. در آخر، داتامش پارسی وجود داشته که فرمانده ناوگان ۱۰ کشتی که به سمت کیکلدش در ۳۳۴/۳۳۳ پ.م حرکت کرده اند، در حکمرانی داریوش سوم (۳۳۶-۳۳۰پ.م) می‌زیسته است. در حالی که ناوگان در نزدیکی سیفنوس لنگر انداخته بود، او بوسیله پرتیس مقدونی، مورد حمله قرار گرفت و هشت کشتی او به دست پرتیس افتاد. داتامش توسط بدنه اصلی ناوگان پارسی فرار کرد.
در باور برخی ادیان خداباور، خدا در گذشته خود را به برخی افراد بشر نمایان ساخته که به این امر ظهور خدا به انسان یا تجلی خدا به انسان یا خدانمود (Theophany) گفته می‌شود.
قدیمی‌ترین متنی که در آن از خدانمود سخن رفته حماسه گیلگامش است. در سنت کلاسیک غربی ایلیاد نخستین متنی است که در آن خدانمود ذکر شده‌است. در عهد عتیق، خدا بر آدم، ابراهیم، یعقوب، موسی، یوشع، ایلیا، و دانیال نمایان می‌شود.
در کلیسای کاتولیک، کلیسای ارتودکس، و برخی کلیساهای لوتری جشن خدانمون در روز ششم ژانویه برگزار می‌شود.
در نظریه گراف، یک عامل از یک گراف "G" یک زیرگراف فراگیر است، برای مثال یک زیرگرافی که مجموعه رئوس برابری با "G" دارد. یک k"-عامل از یک گراف یک زیرگراف فراگیر "k"-منتظم است و یک k"-عامل‌بندی یال‌های گراف را به "k"-عامل‌های مستقل افراز می‌کند. گراف "G" را "k"-عامل‌پذیر می‌گویند هرگاه قابل "k"-عامل‌بندی شدن باشد. به طور کلی، یک ۱-عامل یک تطابق کامل است، و یک ۱-عامل‌بندی یک گراف "k"-منتظم یک رنگ‌آمیزی یالی با "k" رنگ است. یک ۲-عامل مجموعه‌ای از دور‌ها است که تمام رئوس گراف را پوشش می‌دهند.
اگر یک گراف ۱-عامل‌پذیر باشد، بنابراین باید یک گراف منتظم باشد. اما تمام گراف‌های منظم ۱-عامل‌پذیر نیستند. یک گراف "k"-منتظم ۱-عامل‌پذیر است اگر عدد رنگی "k" داشته باشد. به عنوان مثال:
اما گراف‌های "k"-منتظمی وجود دارد که عدد رنگی آن‌ها k"+۱" است و این گراف‌ها ۱-عامل‌پذیر نیستند. به عنوان مثال:
یک ۱-عامل‌بندی از یک گراف کامل متناظر است با جفت‌ها در رقابت‌های دوره‌ای. ۱-عاملبندی یک گراف کامل یک حالت خاص از قضیه بارانیای که به ۱-عامل‌بندی یک ابرگراف کامل مربوط است.
یکی از روش‌های ساختن یک ۱-عامل‌بندی از یک گراف کامل این است که تمام رئوس به جز یکی را دور یک دایره بچینیم که یک چند ضلعی منتظم تشکیل بدهد، و راس باقیمانده را در وسط دایره قرار دهیم. اگر با این چیدمان رئوس، یک راه برای ساختن ۱-عامل گراف انتخاب یک یال "e" از مرکز به یکی از رئوس چند ضلعی و انتخاب تمام یال‌های عمود بر آن. ۱-عامل‌هایی که با این روش ساخته می‌شوند ۱-عامل‌بندی گراف را تشکیل می‌دهند.
فرض کنید "G" یک گراف ,"k"-منتظم با 2"n" راس باشد. اگر "k" به مقدار کافی بزرگ باشد، فهمیده می‌شود که "G" باید 1-عامل‌پذیر باشد:
حدس 1-عامل‌بندی یک حدس قدیمی است که بیان می‌کند "k"≈"n" کافی است. در بیانی دقیق‌تر حدس می‌گوید:
اگر "n" فرد باشد و "k" ≥ "n" باشد آنگاه "G" گرافی 1-عامل‌پذیر است. همین‌طور اگر "n" زوج باشد و 1 - "k" ≥ "n" آنگاه "G" گرافی 1-عامل‌پذیر است.
حدس overfull حدس 1-عامل‌بندی را نتیجه می‌دهد.
اگر یک گراف ۲-عامل‌پذیر باشد، آنگاه آن باید برای یک "k" صحیح ۲"k"-منتظم باشد. جولیوس پترسون در سال ۱۸۹۱ نشان داد که شرط لازم کافی هم است: هر ۲k-منتظم ۲-عامل‌پذیر است.
اگر یک گراف همبند ۲"k"-منتظم باشد و تعداد زوجی یال داشته باشد، شاید "k"-عامل بشود، به این ترتیب که هر کدام از دو عامل‌های یک زیر مجموعهٔ متفاوت از یال‌های تور اویلری است. این قضیه فقط بر روی گراف‌های همبند صادق است. مثال نقض‌های گراف‌های ناهمبند، اجتماع تعدادی دورهای فرد یا "K" مستقل است.
نومینگیا نام یک سرده از فروراسته خاگ‌دزدخزندگان است.
ولنهوفریا نام یک سرده از کلاد پیراپرندگان است.
نینگیوآنسور نام یک سرده از راسته خزنده‌کفلان است.
در نظریهٔ گراف، قضیه بروکس رابطه‌ای بین بیشترین یک گراف و عدد رنگی آن بیان می‌کند. بر اساس این قضیه، در یک گراف همبند که هر راسی حداکثر Δ همسایه دارد، راس‌ها می‌توانند تنها با Δ رنگ، رنگ آمیزی شوند، به جز در دو حالت، گراف‌های کامل و گراف‌های دوری با دور به طول فرد، که به Δ + ۱ رنگ نیاز دارند.
این قضیه به افتخار نام‌گذاری شده‌است، کسی که یک اثبات از این مسئله را در سال ۱۹۴۱ منتشر کرد. یک رنگ‌آمیزی با تعداد رنگ‌هایی که قضیه بروکس ارائه می‌دهد، عموماً رنگ‌آمیزی بروکس یا Δ-رنگ‌آمیزی نامیده می‌شود
برای هر گراف بدون جهت همبند G با بیشترین درجه Δ، عدد رنگی G حداکثر Δ است مگر در حالتی که G خوشه یا دور فرد باشد، در این حالت عددرنگی Δ + ۱ است.
یک اثبات ساده شده برای قضیه بروکس ارائه داد. اگر گراف دوهمبند نباشد مؤلفه‌های دوهمبند آن را می‌توان به صورت جدا رنگ‌آمیزی کرد و سپس رنگ‌آمیزی‌ها را با هم ترکیب کرد. اگر گراف یک راس v با درجهٔ کمتر از Δ داشته باشد، آنگاه یک الگوریتم رنگ‌آمیزی حریصانه که راس‌های دور از v را قبل از راس‌های مجاور آن رنگ می‌کند حداکثر Δ رنگ استفاده می‌کند. ازاین‌رو، سخت‌ترین حالت اثبات به گراف‌های Δ-منتظم دوهمبند با Δ≥۳ مربوط است. در این حالت، Lovász نشان داد که می‌توان یک درخت پوشا پیدا کرد به طوری که دو راس همسایه با ریشه v, u و w که با هم مجاور نیستند در درخت برگ باشند. یک رنگ‌آمیزی حریصانه از راس u و w شروع می‌کند و راس‌های باقی‌مانده از درخت پوشا را از پایین به بالا با حداکثر Δ رنگ، رنگ می‌کند. برای رنگ کردن هر راس به جز v، آن راس یک پدر در درخت دارد که هنوز رنگ نشده‌است، پس همسایه‌های رنگ شده این راس نمی‌توانند همهٔ رنگ‌ها را استفاده کرده باشند، در حالی که برای راس v هم دو راس همسایه آن، u و w رنگ یکسان دارند پس باز هم یک رنگ برای راس v باقی می‌ماند.
یک تعریف عمومی‌تر از این تئوری به فهرست رنگ‌آمیزی اشاره می‌کند: برای هر گراف هم‌بند بدون جهت با بیش‌ترین درجه Δ که خوشه یا دور فرد نباشد، و یک فهرست از Δ رنگ برای هر راس، می‌توان به هر راس یک رنگ از این فهرست تخصیص داد به صورتی که هیچ دو راس همسایه، رنگ یکسان نداشته باشند. به عبارت دیگر، فهرست تعداد رنگ گراف هم‌یند بدون جهت G هرگز از Δ بیش‌تر نمی‌شود، مگر G خوشه یا دور فرد باشد. این قضیه توسط اثبات شده‌است.
برای گراف‌های خاص، حتی کمتر از Δ رنگ نیاز است. نشان می‌دهد Δ – ۱ رنگ کافی است اگر و فقط اگر گراف داده شده هیچ Δ-خوشه نداشته باشد، Δ ارائه شده به اندازه کافی بزرگ است. برای ، یا به صورت کلی‌تر گراف‌هایی که همسایگی هر راسش به اندازه کافی متراکم باشد، (O(Δ/log Δ رنگ کافی است..
درجه یک گراف در انواع دیگر رنگ‌آمیزی به صورت کران بالا نشان داده می‌شود: برای رنگ‌آمیزی یال، قضیه ویزینگ نتیجه می‌دهد که حداکثر Δ + ۱ رنگ لازم است. یک تعمیم از قضیه بروکس برای رنگ‌آمیزی کامل، که بیان می‌کند عدد رنگی کلی حداکثر Δ + ۲ است، توسط Behzad و Vizing حدس زده شده‌است. تئوری Hajnal–Szemerédi در بیان می‌کند هر گراف یک (Δ + ۱)-رنگ‌آمیزی دارد که در آن اندازه هر کلاس دو رنگ حداکثر یک اختلاف دارد.
یک Δ-رنگ‌آمیزی، یا حتی یک Δ-رنگ‌آمیزی فهرستی از یک گراف Δ-درجه‌ای ممکن است در زمان خطی پیدا شود.. همچنین الگوریتم‌های کارآمدی برای پیدا کردن رنگ‌آمیزی بروکس در مدل‌های موازی و توزیع شدهٔ محاسبات وجود دارند.; ; ; .
ان‌اس‌دی یک پیاده‌سازی آزاد از پروتکل سامانه نام دامنه است. این برنامه توسط NLnet Labs آمستردام و با همکاری RIPE NCC نوشته شده‌است. ان‌اس‌دی مبتنی بر نرم‌افزار دیگری نیست و از ابتدا نوشته شده‌است. در تاریخ مارس ۲۰۰۸، سه تا از دی‌ان‌اس سرورهای root در اینترنت، از این برنامه استفاده می‌کرده‌اند و تعدادی سرویس‌دهنده دیگر که مسئول دامنه‌های سطح بالا هستند هم از این برنامه استفاده می‌کنند. این برنامه از فایل‌های ناحیه‌ای به شیوه بایند استفاده می‌کند و می‌توان فایل‌های ناحیه‌ای بایند را بدون تغییر در این برنامه هم استفاده کرد.
مجموعه برنامه‌ها/فرایندهایی که NSD را تشکیل می‌دهند، به گونه‌ای نوشته شده‌اند که دیمن اصلی NSD به عنوان یک کاربر غیرممتاز اجرا می‌شود و می‌توان آن را به آسانی برای اجرا شدن در یک محیط chroot پیکربندی کرد و به این ترتیب، مشکلات امنیتی دیمن اصلی این برنامه، باعث نمی‌شود تا کل سیستم تحت تأثیر قرار گیرد.
سندمیل نرم‌افزاری همه‌منظوره برای ارسال و تبادل ایمیل است که از بسیاری از روش‌های فرستادن ایمیل از جمله SMTP (که برای تبادل ایمیل بر روی بستر اینترنت استفاده می‌شود) پشتیبانی می‌کند. این برنامه از نوادگان برنامه قدیمی‌تری به نام دلیورمیل است و توسط اریک آلمن نوشته شده است. سندمیل یکی از شناخته‌شده‌ترین پروژه‌های نرم‌افزاری آزاد و متن‌باز است. این برنامه هم به صورت یک نرم‌افزار آزاد و هم به صورت نرم‌افزار انحصاری منتشر می‌شود.
اریک آلمن برنامه‌ای به نام delivermail را برای آرپانت نوشته بود که به همراه نسخه‌های ۴٫۰ و ۴٫۱ بی‌اس‌دی عرضه شد. او در اوایل دهه ۱۹۸۰ برنامه سندمیل را به عنوان یکی از مشتقات دلیورمیل، در دانشگاه برکلی نوشت. برنامه سندمیل به همراه سیستم‌عامل بی‌اس‌دی 4.1c که اولین نسخه از بی‌اس‌دی بود که از TCP/IP پشتیبانی می‌کرد، عرضه شد.
در سال ۲۰۰۱، حدود ۴۲ درصد از سرویس‌دهنده ایمیل عمومی از برنامه سندمیل استفاده می‌کردند. آمارگیری‌های بعدی، نشاندهنده افت میزان استفاده از این برنامه بود، بطوریکه در یک آمارگیری که در سال ۲۰۱۳ توسط E-Soft, Inc انجام شده بود، تنها ۱۰٫۸۶ درصد از این برنامه استفاده می‌کردند.
گروه ساس شرکت هلدینگ هوانوردی است، که مالک شرکت‌های هواپیمایی اسکاندیناوی، بلو۱، ویدیرئه و اسپن ایر می‌باشد، همچنین از سهام‌داران اصلی خطوط هواپیمایی ایر گرین‌لند و استونین ایر به‌شمار می‌آید.
گروه ساس در سال ۱۹۴۶ با ادغام سه شرکت هواپیمایی حامل پرچم بنام‌های اروترانسپورت، دت دانسکه و دت نورسکه راه‌اندازی شد و در حال حاضر مالکیت این گروه متعلق به دولت سوئد (۲۱٫۴٪)، دولت دانمارک (۱۴٫۳٪)، دولت نروژ (۱۴٫۳٪) و بنیاد فاب (۷٫۶٪) (متعلق به خانواده والنبرگ) می‌باشد.
دفتر مرکزی این شرکت در فرودگاه استکهلم-آرلاندا، سوئد قرار دارد و سهام آن در بازارهای بورس اوراق بهادار اسلو، بورس اوراق بهادار کپنهاگ و بورس اوراق بهادار استکهلم معامله می‌شود.
بردی دوگان (زاده ۳۰ اوت ۱۹۵۹) کارآفرین، بانکدار و مدیر ارشد اجرایی آمریکایی است، که اکنون به‌عنوان مدیر عامل اجرایی بانک کردیت سوئیس فعالیت می‌نماید.
بادبان‌انگشتان نام یک تیره از راسته پتروسور است.
لیائوشی‌بال نام یک سرده از تیره بادبان‌انگشتان است.
باستان‌بادبان‌انگشت نام یک سرده از راسته پتروسور است.
آلفرد اشر، (زاده ۲۰ فوریه ۱۸۱۹ - درگذشته ۶ دسامبر ۱۸۸۲) کارآفرین، سیاست‌مدار و مدیر ارشد اجرایی سوئیسی بود، که بنیانگذار شرکت‌ها و موسساتی چون کردیت سوئیس، سوئیس لایف، انستیتو تکنولوژی فدرال زوریخ، راه‌آهن شمال شرقی سوئیس و راه‌آهن گوتهارد می‌باشد.
زهرا سالاریه (متولد ۱۳۶۵ ، مازندران،بابل)بانوی ایرانی می‌باشد، که توانست دوره‌های سخت و طاقت فرسای کشتیرانی، ملوانی، تعمیر و نگهداری موتورهای دریایی را سپری کرده و نام خود را به عنوان "نخستین زن ایرانی دریانورد" ثبت کند، وی برای تحقق خواسته‌اش دو سال تمام را بر روی عرشه کشتی گذراند تا تمام شرایط کار بر روی کشتی را بیاموزد. وی در سن ۱۵ سالگی سکاندار قایق و کشتی‌های مسافربری شده‌است. و هم‌اکنون در زمینه تعمیر موتورهای دریایی، کاپیتانی کشتی‌های باری و مسافری فعال می‌باشد.
گنو بین‌یوتیلز نامی است که به دسته‌ای از ابزارهای برنامه‌نویسی که برای ایجاد و مدیریت کردن برنامه‌ها و فایل‌های باینری، فایل‌های آبجکت، کتابخانه‌ها، داده‌های پروفایلی، کدهای منبع اسمبلی و ... مورد استفاده قرار می‌گیرند، اطلاق می‌شود. این بسته نرم‌افزاری در ابتدا توسط برنامه‌نویسان شرکت سیگنوس سلوشنز نوشته شد. بسیاری از این ابزارها در ترکیب با کامپایلرها (از جمله جی‌سی‌سی) ابزارهای کامپایل (نظیر make) و برنامه‌های اشکال‌زدایی (نظیر جی‌دی‌بی) مورد استفاده قرار می‌گیرند. برخی از این برنامه‌ها که از libbfd استفاده می‌کنند، قابلیت کار با قالب‌های پرونده‌ای فایل‌های آبجکت که توسط این کتابخانه پشتیبانی می‌شوند را هم دارند.
H.J. Lu یک نسخه از این بسته نرم‌افزاری که مجهز به آخرین تغییرات و تکنولوژی‌هاست را اختصاص برای سیستم‌عامل لینوکس نگهداری و مدیریت می‌کند.
هودوریخت‌دندان نام یک سرده از راسته پتروسور است.
"هودوریخت‌دندان" از قدیمی‌ترین و ابتدایی‌ترین خزندگان بال‌دار است و بقایای سنگواره‌ایش در سنگ‌های چین‌خورده‌ی کوه‌های شمال ایتالیا فراوانند. این جانور بی‌تردید نوعی خزنده‌ی بال‌دار بود و همه‌ی ویژگی‌های متمایزکننده‌ی این گروه را داشت، از جمله انگشت چهارمِ بسیار کشیده‌ای که غشای بالش را نگه می‌داشت. "هودوریخت‌دندان"، علاوه بر غشای بال، غشاهای دیگری هم میان مچ دست و گردن و میان پاها و دمش داشت که به هواسُری آن کمک می‌کردند. اما تحلیل اسکلت "هودوریخت‌دندان" نشان می‌دهد که می‌توانسته با بال زدن هم پرواز کند.
"هودوریخت‌دندان" خزنده‌ی بال‌دار نسبتاً کوچکی بود و حدود ۱۰ کیلو وزن داشت؛ وزنی که در مقایسه با ابعاد غول‌آسای خویشاوندان آینده‌اش مثل "کوتزلکوتلوس" ناچیز به‌نظر می‌رسد.
دندان‌های پیچیده‌ی "هودوریخت‌دندان" هم آن را از بیشتر خزندگان بال‌دار دیگر متمایز می‌کنند. بیشتر خزندگان بال‌دار دندان‌هایی ساده داشتند -یا اصلاً دندان نداشتند- اما "هودوریخت‌دندان" دهانی پر از دندان‌هایی عجیب داشت که هر کدامشان چند دندانه‌ی کوچک داشتند. این دندان‌ها برای گرفتن و خرد کردن شکار عالی بودند و ممکن است که در نتیجه‌ی انطباق یافتن جانور با خوردنِ ماهی‌های بزرگ پدیدار شده باشند.
کتزلکوآتلوس نام یک سرده از راسته پتروسور است.
کتزلکوآتلوس یک خزنده بالدار از دورهٔ کرتاسه پسین در آمریکای شمالی است. متعلق به خانوادهٔ اژدرهایان و بزرگ‌ترین جانور پرندهٔ شناخته‌شده است.
اژدرهایان نام یک تیره از راسته پتروسور است. نام این حیوان از واژه فارسی اژدها گرفته شده است. این گروه از جانوران شامل بعضی از بزرگترین حیوانهای پرنده در کل زمانها می‌شده است.
آرامبورگیانیا نام یک سرده از تیره اژدرهایان است.
آرال‌اژدرها نام یک سرده از تیره اژدرهایان است.
اژدرهاواران نام یک بالاخانواده از زیرراسته بال‌انگشتی‌سانان است.
ژیانگلینگ موتورز شرکت خودروسازی چینی است، که از طریق مشارکت انتفاعی با شرکت خودروسازی فورد، اقدام به تولید وسایل نقلیه تجاری می‌نماید، همچنین از طریق مشارکت با شرکت چانگان موتورز نیز خودروهای سواری با برند لندویند تولید می‌کند.
ریشه‌های تأسیس این شرکت به سال ۱۹۵۲ بازمی‌گردد، که در قالب یک تعمیرگاه اتومبیل، در شهر نانچانگ فعالیت خود را آغاز کرد. در ۱۹۸۴ مونتاژ چند نمونه از کامیون‌های ایسوزو را آغاز کرد و در ۱۹۹۵ مشارکت با فورد آغاز گردید. دفتر مرکزی شرکت ژیانگلینگ موتورز در شهر نانچانگ، جیانگشی، جمهوری خلق چین قرار دارد و سهام آن در بازار بورس شنژن معامله می‌شود.
هاتزِگ‌بال ، نام یک سرده از تیره اژدرهایان است.
پرتوانگشت نام یک سرده از راسته پتروسور است.
در سری‌های زمانی تاب دادن زمان هوشمند یا کش و قوس زمانی پویا (به انگلیسی: (Dynamic time warping(DTW) الگوریتمی برای اندازه‌گیری شباهت بین دو دنباله زمانیست که ممکن است در سرعت یا زمان متفاوت باشند. برای نمونه، DTW می‌تواند شباهت بین دو الگوی راه رفتن را بیابد حتی اگر سرعت یا شتاب راه رفتنشان در بازه‌های زمانی یکسان نباشد.
DTW دنباله‌های زمانی داده‌های صوتی، ویدئویی و تصویری را تحلیل کرده‌است. در واقع هر داده‌ای که بتواند به صورت دنبالهٔ پشت سر هم اطلاعات به دست بیاید، DTW می‌تواند آن را تحلیل کند. یک کاربرد مهم این الگوریتم بازشناسی گفتار یکسان افراد مختلف با سرعت گفتار مختلف است. و از کاربردهای دیگر DTW می‌توان به تشخیص صدا، تشخیص دستخط و امضا اشاره کرد. همچنین استفاده‌های از آن در تشخیص تطبیق اشکال هندسی جزئی دیده شده‌است.
در مجموع، DTW روشی است که بهینه‌ترین تطبیق بین دو دنباله زمانی با محدودیت‌های معین را پیدا می‌کند (برای مثال:سری زمانی).
دنباله‌ها به صورت غیر خطی در محور زمان «کش و قوس پیدا می‌کنند» تا معیاری برای شباهت آن‌ها مستقل از برخی تغییرات غیر خطی در محور زمان به دست‌آورد. این روش تنظیم دنباله بسیاری از اوقات در دسته‌بندی سری زمانی مورد استفاده قرار می‌گیرد. اگرچه DTW معیاری همانند فاصله بین دو دنباله داده شده می‌یابد، تضمین نمی‌کند که نامساوی مثلث در مورد آن برقرار باشد.
این مثال پیاده‌سازی الگوریتم DTW را برای دو دنباله رشته‌ای s و t از نشانه‌های مجزا ترسیم می‌کند. برای نشانه‌های x، y و (d(x,y برابر فاصله بین نشانه‌ها است. برای مثال |d(x,y)=|x-y
گاهی اوقات ما قصد داریم که محدودیتی خاص اعمال نماییم. یعنی، نیاز داریم اگر [s[i با [t[j جورسازی شود، آنگاه |i-j| بیشتر از w نباشد، که w یک پارامتر پنجره‌ای است.
ما می‌توانیم به سادگی الگوریتم بالا را برای اعمال محدودیت‌های خاص تغییر دهیم. با این حال، ویرایش داده شده در بالا تنها هنگامی کار می‌کند که |n-m| برگتر از w نباشد. یعنی نقطه انتهایی داخل طول قطری پنجره جای بگیرد. برای این که الگوریتم کار کند، بایستی پارامتر پنجره‌ای w طوری انتخاب شود که n - m| ≤ w|(خط علامتگذاری شده با (*) در کد را ببنید)
محاسبه الگوریتم DTW در حالت کلی از مرتبه زمانی (O(N^2 است. از جمله تکنیک‌های سریع تر برای محاسبه DTW می‌توان به SparseDTW
Al-Naymat, G. , Chawla, S. , & Taheri, J. (2012). SparseDTW: A Novel Approach to Speed up Dynamic Time Warping وFastDTWStan Salvador & Philip Chan, FastDTW: Toward Accurate Dynamic Time Warping in Linear Time and Space. KDD Workshop on Mining Temporal and Sequential Data, pp. 70-80, 2004 اشاره نمود. یکی از کارهای معمول در این زمینه، به دست آوردن سری‌های زمانی مشابه است که می‌تواند با استفاده از کران پایین‌هایی چون LB_KeoghE. Keogh, C. A. Ratanamahatana, Exact indexing of dynamic time warping, Knowledge and Information Systems 7 (3) (2005) 358–386. و LB_ImprovedD. Lemire, Faster Retrieval with a Two-Pass Dynamic-Time-Warping Lower Bound, Pattern Recognition 42 (9), pages 2169-2180, 2009. تسریع گردد. در یک بررسی، Wang et al. گزارش نموده است که به کمک کران پایین‌های LB_Improved نتایج بهتری از کران پایین LB_Keoghبه دست آورده و نشان داده است که تکنیک‌های دیگر بهینه نیستند.Wang, Xiaoyue, et al. "Experimental comparison of representation methods and distance measures for time series data." Data Mining and Knowledge Discovery (2010): 1-35.
میانگین‌گیری از الگوریتم کش و قوس زمانی پویا هم ارز مسئله دنباله میانگین مجموعه‌ای از دنباله هاست. دنباله میانگین، دنباله‌ای است که مجموع مربع‌های فواصل آن از دنباله‌های مجموعه داده شده کمینه باشد. NLAAF روش دقییق حل این مسئله است. برای بیش از دو دنباله، مسئله مربوط به یکی از تنظیم‌های چندگانه است و به روشی هیوریستیک نیاز دارد. در حال حاضر روش مورد استفاده برای به دست آوردن میانگین مجموعه‌ای از دنباله‌ها به صورت پایدار به وسیله DTW،DBA نام دارد. COMASA با استفاده از DBA به عنوان یک پردازش بهینه‌سازی محلی، جستجو برای دنباله بهینه را به‌طور بهینه اتفاقی می‌کند.
بسیاری از علوم در محدوده‌های مورد بررسی خود با عدم قطعیت مواجه هستند. لذا آمار و ساختن یک مدل برگرفته از جامعهٔ کل در اکثر علوم نقش موثری را ایفا می‌کند. به‌طور کلی برای شناخت هر جامعه‌ای نیاز به داشتن داده‌هایی از آن جامعه است. اگر جامعهٔ مورد بررسی را کل فرض کنیم، نمونه‌های برداشته شده از آن جامعه جزء تلقی می‌شود و در نتیجه می‌توان بر پایه قوانین آماری پارامترهای آن خاصیت را روی مقدار اندازه‌گیری شدهٔ آن در اجزاء برداشت شده از کل جامعه تخمین زده در اکثر تکنیک‌های اکتشافی اساس تجزیه و تحلیل خود را بر احتمال پذیر بودن نتایج و تصمیم گیری‌های حاصل از آن قرار می‌دهند و از تحلیل قطعیت پذیر اجتناب می‌کنند.
پیشوند Geo به فیزیک و شیمی اتصال پیدا کرده و اصطلاحات ژئوفیزیک و ژئوشیمی ایجاد شده‌است. با همین قیاس پیشوند Geo به کلمه آمار نیز پیوند خورد و واژه زمین‌آمار شکل گرفت. دو مقوله سری‌های زمانی و زمین‌آمار هم به لحاظ مفهومی و هم از منظر تاریخی دارای قرابت هستند. و هر دو از داده‌های وابسته (autocorrelated data) استفاده می‌کنند. اما زمین‌آمار بر خلاف سری‌های زمانی صرفاً از طریق آماردانها بسط نیافته‌است. و به همین سبب واژه پردازی و مصطلحات آن با ادبیات آمار کلاسیک قدری متفاوت است.
آنالیز زمین آماری به مفهوم بررسی پدیده‌های متغیر در زمان و مکان است و به‌طور کلی از طریق آنالیزمی توان به راحتی یک نقشه یا سطح پیوسته‌ای از نقاط نمونه برداری شده را ایجاد نمود. نقاط نمونه برداری شده می‌توانند مقادیر ارتفاع، عمق یا سطوح آلودگی باشند. همچنین آنالیزهای زمین آماری می‌توانند برای مدلسازیهای فضایی در کاربردهای مختلف سیستم‌های اطلاعات جغرافیایی نیز بکار برده شوند. یکی از مزایای این ابزارها و روش‌ها برازش سطح مدل به نقاط نمونه برداری شده‌است. آنالیزهای زمین آماری به دنبال راهی برای توصیف پیوستگی مکانی و همچنین جمع‌آوری ابزارهای آماری و قطعی و مدل نمودن این تغییرات مکانی است.
در نظریهٔ زبان‌های صوری، لم پمپاژ برای زبان‌های منظم یک ویژگی ضروری برای همهٔ زبان‌های منظم را توصیف می‌کند. به‌طور غیر صوری، بیان می‌کند که هر کلمهٔ به اندازهٔ کافی بزرگ در یک زبان منظم می‌تواند "پمپاژ" شود — یعنی یک قسمت میانی کلمه به تعداد دل‌خواه تکرار شود — تا کلمهٔ جدیدی ایجاد شود که همچنین در همان زبان قرار گیرد.
مخصوصا لم پمپاژ بیان می‌کند که برای هر زبان منظم L یک عدد ثابت p وجود دارد به‌طوری‌که هر کلمه w در L با طول حداقل p می‌تواند به سه زیر رشته تقسیم شود، w = xyz، که در آن بخش میانی y خالی نیست، طوری‌که کلمه‌های ساخته شده با به تعداد دل‌خواه بار تکرار y (شامل صفر بار) باز هم در L باشند. این فرایند تکرار به «پمپاژ» معروف است. علاوه بر این، لم پمپاژ تضمین می‌کند که طول xy حداکثر p خواهد بود، که این محدودیتی بر راه‌هایی که w می‌تواند تقسیم شود تحمیل می‌کند. زبان‌های متناهی به وضوح لم پمپاژ را با قرار دادن p برابر طول بیشترین رشته در L به اضافهٔ یک ارضا می‌کنند.
لم پمپاژ اولین بار توسط دانا اسکات و مایکل رابین در ۱۹۵۹ اثبات شد.
این لم برای رد کردن خاصیت منظم بودن یک زبان خاص مورد سؤال کاربرد دارد. این لم یکی از معدود لم‌های پمپاژ است، که هر کدام قصد مشابهی دارند.
فرض می‌کنیم L یک زبان منظم باشد. در این صورت عدد صحیح تنها وابسته به L وجود دارد طوری‌که هر رشتهٔ w در L با طول حداقل p (به p طول پمپاژ گفته می‌شود) می‌تواند به صورت w = xyz نوشته شود (w می‌تواند به سه زیررشته تقسیم شود)، طوری‌که شرط‌های زیر را ارضا کند:
y زیر رشته‌ای است که می‌تواند پمپاژ شود (حذف شود یا به به هر تعداد بار تکرار شود، و رشتهٔ حاصل در هر حال در L باشد). (۱) به این معنی است که طول لوپ y که پمپاژ می‌شود باید حداقل یک باشد. (۲) به این معنی است که لوپ y باید در p کاراکتر اول واقع باشد. |x| باید کوچکتر از p باشد (نتیجهٔ (۱) و (۲))، غیر از این دیگر هیچ محدودیتی بر روی x و z وجود ندارد.
به زبان ساده، برای هر زبان منظم L، هر کلمهٔ به اندازهٔ کافی بزرگ (در L) می‌تواند به ۳ قسمت تقسیم شود. مثلاً w = xyz، طوری‌که همهٔ رشته‌های xykz برای هر k≥0 هم در L باشند.
در زیر یک صورت‌بندی صوری لم پمپاژ آمده‌است:
لم پمپاژ معمولاً برای اثبات نامنظم بودن یک زبان خاص مورد استفاده قرار می‌گیرد. یک اثبات به وسیلهٔ برهان خلف می‌تواند شامل یک کلمه (با طول خواسته شده) در زبان باشد که فاقد خاصیت بیان شده در لم پمپاژ است.
به‌طور مثال زبان {L = {anbn : ≥ 0 روی الفبای {Σ = {a, b می‌تواند به روشی که در ادامه می‌آید اثبات شود که نامنظم است. فرض کنید w، x، y، z، p و i همان متغیرهایی باشند که در صورت لم پمپاژ در بالا استفاده شدند. فرض کنید w در L به صورت w = apbp داده شده باشد. با استفاده از لم پمپاژ، باید یک تجزیه w = xyz با xy| ≤ p| و y| ≥ 1| وجود داشته باشد طوری‌که xyiz به ازای هر i در L باشد. با استفاده از xy| ≤ p| می‌دانیم که y فقط شامل نمونه‌های a است. علاوه بر این، چون y| ≥ 1|، شامل حداقل یک نمونه از a است. حال y را پمپاژ می‌کنیم: xy2z دارای نمونه‌های بیشتری از حرف a نسبت به حرف b است، زیرا ما تعدادی نمونهٔ a بدون اضافه کردن نمونه‌ای از b اضافه کردیم. بنابراین xy2z در L نیست. پس به تناقض رسیدیم. از این رو، این فرض که L منظم است باید نادرست باشد. پس L منظم نیست.
برای هر زبان منظم یک ماشین حالات متناهی (FSA) وجود دارد که آن زبان را می‌پذیرد. تعداد حالات در چنین ماشین حالات متناهی‌ای شمرده می‌شود و این تعداد به عنوان طول پمپاژ p استفاده می‌شود. برای یک رشته به طول حداقل p، فرض کنید s حالت آغازین و s, ..., s ترتیب p حالت بعدی باشد که در فرایند تولید رشته طی می‌شوند. از آن‌جا که FSA تنها p حالت دارد، در این دنباله که در آن p+1 حالت طی شده‌است باید حداقل یک حالت وجود داشته باشد که تکرار شده‌است. نام این حالت را S می‌گذاریم. انتقالاتی که ماشین را از اولین مواجهه با S به دومین مواجهه با S می‌برند با یک رشته تطابق دارند. این رشته در لم y نامیده می‌شود، و از آن‌جایی که ماشین بدون بخش y به یک رشته می‌رسد، یا رشتهٔ y می‌تواند به تعداد دل‌خواه بار تکرار شود، شرط‌های لم ارضا می‌شوند.
به‌طور مثال شکل زیر یک FSA را نشان می‌دهد:
FSA رشتهٔ abcd را می‌پذیرد. از آن‌جا که این رشته طولی دارد که حداقل به اندازهٔ تعداد حالات است، اصل لانه کبوتری نشان می‌دهد که باید حداقل یک حالت تکراری بین حالت آغازین و ۴ حالت بعدی وجود داشته باشد. در این مثال فقط q حالت تکراری است. از آن‌جا که زیر رشتهٔ bc ماشین را درون انتقالاتی که در حالت q شروع می‌شوند و در حالت q تمام می‌شوند می‌برد، این قسمت می‌تواند با دادن رشتهٔ abcbcd تکرار شود و FSA هنوز می‌پذیرد. متناوباً، قسمت bc می‌تواند حذف شود و FSA کماکان دادن رشتهٔ ad را می‌پذیرد. در عبارات لم پمپاژ، رشتهٔ abcd شکسته شده به یک قسمت x که a است، یک قسمت y که bc است و یک قسمت z که d است.
اگر یک زبان L منظم باشد، یک عدد p ≥ 0 (طول پمپاژ) وجود دارد به‌طوری‌که هر رشتهٔ uwv در L با w| ≥ p| می‌تواند به فرم
نوشته شودبا رشته‌های y ،x و z طوری‌که xy| ≤ p ، |y| ≥ 0| و
این نسخه از لم می‌تواند در اثبات نامنظم بودن زبان‌های بیشتری مورد استفاده قرار بگیرد، زیرا شرایط سختگیرانه‌تری را روی زبان تحمیل می‌کند.
در نظر داشته باشید با این که لم پمپاژ بیان می‌کند که هر زبان منظم شرایط بالا را ارضا می‌کنند، عکس این گزاره صحیح نیست: یک زبان که این شرایط را ارضا می‌کند ممکن است نامنظم باشد. به بیان دیگر، هر دو نسخهٔ اصلی و کلی لم پمپاژ یک شرط لازم و نه کافی را برای منظم بودن زبان ارائه می‌کنند.
به‌طور مثال زبان L زیر را در نظر بگیرید:
به بیان دیگر، L شامل همهٔ رشته‌ها روی الفبای {0,1،2,3} با یک زیر رشتهٔ به طول 3 شامل یک حرف تکراری است، و همچنین رشته‌هایی که دقیقاً 1/7 کاراکترهای آن رشته 3 باشند. این زبان منظم نیست ولی با این حال هنوز می‌تواند با p = 5 «پمپاژ» شود. یک رشتهٔ s با طول حداقل 5 را در نظر بگیرید. سپس از آن‌جا که الفبا فقط 4 حرف دارد، حداقل دو تا از پنج حرف رشته باید تکراری باشند. آن‌ها با حداکثر سه حرف از هم جدا شده‌اند.
برای یک آزمایش عملی که دقیقاً زبان‌های منظم را مشخص می‌کند، نظریهٔ مایهیل-نروده را مشاهده کند. روش بارز برای اثبات منظم بودن یک زبان ساختن یک ماشین حالات متناهییا یک عبارت منظمبرای آن زبان است.
Wikipedia contributors, "Pumping lemma for regular languages," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Pumping_lemma_for_regular_languages&oldid=607161557 (accessed May 21, 2014).
در نظریه گراف، گراف تام ، گرافی است که عدد رنگی آن برای هر زیرگراف القایی اش برابر با مرتبه بزرگترین کلیک آن زیرگراف (عدد کلیکی) باشد. به‌طور معادل می‌توان تعریف اخیر را برحسب نمادها بیان نماد: گراف دلخواهی چون formula_1 تام است اگر و تنها اگر برای تمام formula_2 داشته باشیم formula_3.
گراف‌های تام شامل خانواده‌های مهم بسیاری از گراف‌ها بوده و موجب اتحاد و یکی شدن نتایج رنگ‌آمیزی‌ها و کلیک‌های مرتبط در آن خانواده‌ها می‌گردد. به عنوان مثال، در تمام گراف‌های تام، مسئله رنگ‌آمیزی گراف، مسئله کلیک ماکسیمم و مسئله مجموعه مستقل ماکسیمم را می‌توان به صورت زمان-چندجمله‌ای حل نمود. به علاوه، قضایای متعدد و مهم ترکیبیاتی از نوع مین-مکس، همچون قضیه دیلورث را می‌توان برحسب تام سازی گراف‌های خاصی بیان نمود.
اسکای‌وست، شرکت هواپیمایی آمریکایی است، که در سال ۱۹۷۲ تأسیس شد و در حال حاضر با قراردادهایی که با شرکت‌های یو اس ایرویز، دلتا ایرلاینز، آلاسکا ایرلاینز، یونایتد ایرلاینز، امریکن ایرلاینز و یونایتد اکسپرس دارد، از خطوط هواپیمایی اصلی ایالات متحده به‌شمار می‌آید. این شرکت روزانه به ۱۸۶ مقصد، در ۴۳ ایالت آمریکا، ۷ استان کانادا و ۵ شهر مکزیک، پروازهای مستقیم دارد.
دفتر مرکزی شرکت اسکای‌وست در شهر سنت جرج، یوتا قرار دارد و به‌عنوان امریکن ایگل؛ فرودگاه بین‌المللی لس‌آنجلس و فرودگاه بین‌المللی اوهر شیکاگو، به‌عنوان یو اس ایرویز؛ فرودگاه بین‌المللی فینکس اسکای هاربر، به‌عنوان یونایتد اکسپرس؛ فرودگاه بین‌المللی اوهر شیکاگو، فرودگاه بین‌المللی کلیولند هاپکینز، فرودگاه بین‌المللی دنور، فرودگاه بین‌المللی دالس واشینگتن، فرودگاه بین‌المللی جرج بوش، فرودگاه بین‌المللی لس‌آنجلس، فرودگاه بین‌المللی پورتلند و فرودگاه بین‌المللی سانفرانسیسکو، به‌عنوان دلتا کانکشن؛ فرودگاه بین‌المللی سینسیناتی/کنتاکی شمالی، فرودگاه متروپولیتن وین کانتی دیترویت، فرودگاه بین‌المللی لس‌آنجلس، فرودگاه بین‌المللی ممفیس، فرودگاه بین‌المللی مینیاپولیس−سنت پل، فرودگاه بین‌المللی سالت‌لیک‌سیتی و فرودگاه بین‌المللی سیتل-تاکوما و به‌عنوان آلاسکا ایرلاینز؛ فرودگاه بین‌المللی پورتلند و فرودگاه بین‌المللی سیتل-تاکوما، قطب‌های این شرکت هواپیمایی به‌شمار می‌آیند. این شرکت در حال حاضر در ناوگان هوایی خود، دارای ۳۳۶ فروند هواپیمای جت مسافربری می‌باشد.
یک ساختمان کم مصرف به هر نوعی از ساختمان گفته می‌شود که طراحی، فناوری‌ها و مصالح ساختمانی مصرفی آن از کارمایهٔ کمتری از هر منبعی نسبت به یک خانهٔ سنتی یا خانه‌های معمول کنونی استفاده می‌کند. در تجربهٔ طراحی و معماری معقول در ساختمان کم مصرف، منظره سازی با انرژی کافی در خانه‌های کم مصرف اغلب از تکنیک‌های طراحی ساختمان کنشگر و کنش پذیر خورشیدی بهره می‌برند و از مؤلفه‌هایی برای کاهش مصرف انرژی استفاده می‌کنند.
معنای اصطلاح خانهٔ کم مصرف در طول زمان تغییر کرده‌است، اما در اروپا به‌طور کلی به خانه‌ای گفته می‌شود که در حدود نیمی از استانداردهای کم مصرف آلمان یا سوئد را مصرف کند که برای گرمایش فضا استفاده می‌شود که معمولاً در دامنهٔ ۳۰ تا ۲۰ کیلووات ساعت/متر مربع آمپر قرار می‌گیرد. برای مصرف کمتر از این مقدار اصطلاح فوق کم مصرف بکار می‌رود. این اصطلاح همچنین به هر مسکنی که مصرف انرژی آن کمتر از استانداردهای خواسته شده از سوی کدهای ساختمان کنونی باشد، گفته می‌شود. به دلیل این که استانداردهای ملی به نحو چشمگیری در سرتاسر جهان متفاوت هستند، پیشرفت‌های مصرف کم انرژی در کشوری ممکن است نیازهای عملی را در کشور دیگر مرتفع ننماید.
در برخی کشورها این اصطلاح به یک استاندارد خاص ساختمان مربوط می‌شود. این استانداردها به‌طور ویژه به دنبال محدود کردن مصرف انرژی برای گرمایش فضا هستند، زیرا در بسیاری از مناطق آب و هوایی مصرف زیاد انرژی را نشان می‌دهد. مصرف سایر انرژی‌ها را نیز می‌توان قاعده مند کرد. تاریخچهٔ طراحی ساختمان خورشیدی کنش پذیر (غیرفعال) یک نگاه بین‌المللی به شکل پیشرفت و استانداردهای ساختمان کم مصرف ارائه می‌دهد.
یک خانه کم مصرف در آلمان دارای محدوده‌ای معادل با ۷ لیتر روغن گرمایشی برای متر مربع اتاق برای گرمایش فضا سالانه ۵۰ کیلووات ساعت /متر مربع آمپر دارد. در سوئیس این اصطلاح در رابطه با استاندارد MINERGIE (42 کیلووات ساعت /مترمربع آمپر یا Btu/ft²/yr 13300 یا minergie –p بکار می‌رود.
استاندارد فوق کم مصرف آلمان در قیاس با اتخاذ روش کنونی در سایر کشورهای اروپایی، دارای بیشترین میزان گرمایش فضا به مقدار kWh/m²a/year 15یا Btu/ft/yr 755/4 است.
یک منزل کنش پذیر ۱۰- در حال ساخت در ایرلند دارای PHPP با ارزیابی مستقل به میزان kW/m²/year 5/9 است. شکل ساخت آن نیز موضوع انرژی تعیین شده را بعهده دارد که به نحو چشمگیری چرخهٔ دی اکسیدهای کربن آزاد شده را حتی با منازل کم مصرف منحرف می‌کند.
در ایالات متحده آمریکا، برنامهٔ ستارهٔ انرژی بزرگترین برنامه‌ای است که منازل و مصالح مصرفی کم مصرف را تعریف می‌کند. منازلی که گواهینامهٔ ستارهٔ انرژی را دریافت می‌کنند، دست کم ۱۵٪ کمتر از استانداردهای ساخت منازل جدید تحت نظارت کد بین‌المللی مسکن، انرژی صرف می‌کنند، با این حال این منازل عموماً به ۲۰ تا ۳۰ درصد صرفه جویی دست می‌یابند.
علاوه بر این، دپارتمان انرژی ایالات متحده در سال ۲۰۰۸ برنامه‌ای را با هدف اشاعهٔ ساخت و ساز منازلی با کاربری انرژی صفر در سراسر ایالات متحده راه‌اندازی کرده‌است. هم‌اکنون سازنده‌های مشارکتی در صدد ساخت منازل جدیدی هستند که به ۳۰٪ صرفه جویی در مقیاس درجه‌بندی مصرف انرژی یک خانه برسند.
فراتر از ساختمان‌های فوق کم مصرف که به‌طور میانگین در یک دورهٔ یک ساله مصرف می‌کنند، هرچند هیچ گزارشی از ساختمان‌های با مصرف انرژی صفر یا آن‌هایی که انرژی اضافه تولید می‌کنند، منتشرنشده‌است که ساخته شده یا در حال ساخت باشد، اما باید متذکر شد که در سال ۱۳۹۰ اولین خانه از این نمونه در ایران تحت عنوان ساختمان‌های با مصرف انرژی صفرZero-energy building برنامه‌ریزی و طراحی شده‌است. از طرفی اولین ساختمان اداری با مصرف انرژی صفر در ایران که یک ساختمان ۲۶ طبقه است با تغییراتی در طرح اولیه تحت عنوان یک تجربه بشریA Human Experiment در مجله پرتیراژ EDC در آمریکا توسط آقای دنیش والش در ۲۸ نوامبر ۲۰۱۱ منتشر شد.
این امر می‌تواند با ترکیبی از فناوری‌های صرفه جویی در مصرف انرژی و استفاده از منابع انرژی تجدید شونده محقق شود. با این حال، با فقدان استانداردهای مشخص شده، ترکیب بین این‌ها و در نتیجهٔ مقدار مصرف انرژی و تأثیر زیست‌محیطی ساختمان می‌تواند به نحو چشمگیری متفاوت باشد.
در یک سمت این طیف، ساختمان‌هایی با گرمایش محیط فوق کم مصرف قرار دارند که به این ترتیب به مقادیر اندک انرژی ورودی حتی در زمستان نیاز دارند که به ایدهٔ ساختمان خودگردان نزدیک می‌شوند.
در سمت دیگر این طیف، ساختمان‌هایی قرار دارند که تلاش‌های چندی برای کاهش مصرف گرمایش فضا و مقادیر زیاد انرژی وارده در زمستان صورت گرفته‌است. در حالیکه این امر را می‌توان با تولید مقادیر زیاد انرژی‌های تجدید شونده در خلال سال تأمین و متوازن ساخت، اما تقاضای زیادی را در زیرساخت انرژی سنتی ملی در فصل زمستان که اوج مصرف است، تحمیل می‌کند.
ساختمان‌های کم مصرف معمولاً از مقادیر زیادی عایق سازی، پنجره‌های دو جداره، نفوذ هوای اندک و تهویه و بازیابی گرمایی برای کمتر کردن انرژی مصرفی سرمایش و گرمایش سود می‌برند. این ساختمان ممکن است از تکنیک‌های طراحی خورشیدی کنش پذیر با تکنیک‌های خورشیدی کنش گر استفاده کنند. این منازل ممکن است از فناوری‌های چرخهٔ گرمایی آب داغ برای بازیابی گرما از آب داغ دوش یا ظرف‌شویی‌ها بهره ببرند. مصرف انرژی روشنایی و متفرقه با روشنایی فلوئورسنت و دستگاه‌های کارآمد کم مصرف تأمین می‌شود. سایند هوا، آگاهی بیشتری دربارهٔ کارآمدی فزایندهٔ انرژی ساختمان فراهم می‌کند.
منازل کنش پذیر لازم است به کل میزان تغییر هوای ساختمان بیش از 6/0 ac/hr تحت آزمون افزایش و کاهش تعمدی فشار هوا در دست کم 50 p بیشتر نباشد، برسند.
ویژگی مهم ساختمان‌های فوق کم مصرف اهمیت فزایندهٔ اتلاف گرما از طریق اتصال گرمایی خطی درون سازه است. عدم حذف مسیرهای گرمایی از سطوح گرم به سرد (اتصالات) شرایطی را برای ایجاد چگالش بینابینی درون سازه به وجود می‌آورد و به‌طور بالقوه به مشکلات جدی اعم از رشد قرچ و پوسیدگی منجر می‌شود. نفوذی نزدیک به صفر از طریق پایه‌های ساختمان تلف می‌شود و به جابجایی هوا نیز برای خشک شدن سازه نمی‌توان متکی بود و یک تحلیل خطر چگالش کامل با تمام جزئیات توصیه می‌گردد.
طراحی ساختمان خورشیدی کنش پذیر و منظره سازی با انرژی کافی از خانهٔ کم مصرف در صرفه جویی انرژی پشتیبانی می‌کند و توانایی یکپارچه کردن همسایگان و محیط زیست را دارد. با پیگیری تکنیک‌های ساختمان خورشیدی کنش پذیر، در نقاطی که امکانپذیر است، با هم به شکل مجوعه در می‌آیند تا از واحد سطح کاسته شود و پنجره‌های اصل به سمت خط استوا- جنوب در نیمکرهٔ شمالی و پنجره‌هایی به سمت شمال در نیمکرهٔ جنوبی برای به حداکثر رساندن دسترسی به انرژی خورشیدی کنش پذیر طراحی شوند. با این حال مصرف انرژی خورشیدی بدست آمده، به ویژه در مناطق آب و هوایی معتدل برای به حداقل رساندن نیازهای کلی انرژی منزل انتخاب دوم به‌شمار می‌رود. در مناطق آب و هوایی که نیاز به کاهش انرژی گرمایی خورشیدی تابستان است، اعم از منابع مستقیم یا بازتابشی، می‌توان این کار را با Brise Soleil , درختان، سایبان‌های پیوسته با درختان تاک، باغ‌های عمودی، سقف‌های سبز، و تکنیک‌های دیگر تعدیل نمود.
منازل کم مصرف را می‌توان از مواد چگال یا سبک وزن ساخت اما جرم داخلی گرمایی معمولاً هماهنگ با کاهش دما در اوج گرمای تابستان است و دماهای زمستان را ثابت نگاه می‌دارد و از گرمای زیاد در بهار یا پاییز پیش از آن که سایه‌های بلند زاویهٔ خورشید در میانهٔ روز روی دیوار هستند و از پنجره نفوذ می‌کنند، پیشگیری می‌کند. رنگ دیوار خارجی تا جایی که سطح اجازه می‌دهد، به منظور بازتاب یا جذب بستگی به دمای محیط بیرون دارد. استفاده از درختان برگ ریز یا گیاهان چسبنده یا بستن شاخه‌های تاک می‌تواند در مناطق آب و هوایی و نه در دماهای بسیار زیاد کمک‌کننده باشد.
برای به حداقل رساندن کل مصرف انرژی، بسیاری از تکنیک‌های روشنایی روز کنش گر و کنش پذیر نخستین راه حل روشنایی روز پر کاربرد هستند. برای روزهای کم نور، فضاهای کم نور و شب هنگام، استفاده از طراحی روشنایی خلاقانهٔ کافی با منابع انرژی کم مانند لامپ‌های ترکیبی فلوئورسنت با ولتاژ استاندارد و روشنایی جامد با لامپ‌های LED (دیود گسیل کنندهٔ نور)، لامپ‌های LED ارگانیک و دیود گسیل نور ارگانیک (دیودهای پلیمری گسیل کنندهٔ نور)، حباب هاب برقی کم ولتاژ، هالیدهای فلزی ترکیبی و لامپ‌های زنون و هالوژن مناسب است.
روشنایی خورشیدی بیرونی، امنیت و روشنایی مناظر با باتری‌های فتوولتائیک در هر اسبابی یا اتصال به یک سیستم مرکزی پانل خورشیدی برای نیازهای باغ‌ها و فضاهای باز در دسترس هستند. سیستم‌های کم ولتاژ را می‌توان برای روشنایی‌های بیشتر کنترل شده یا مستقل مورد استفاده قرار داد که برق کمتری نسبت به لامپ‌ها و لوازم معمولی برقی مصرف می‌کنند. لامپ‌های زمان دار، حساس به حرکت و حس گرهای نور طبیعی از مصرف انرژی می‌کاهند و جلوگیری از آلودگی نوری برای تنظیم فضای منزل مهم است.
محصولات مصرفی و لوازم خانگی که تحت آزمون‌های مصرف انرژی قرار گرفته‌اند و برچسب مصرف کم انرژی دریافت کرده‌اند، برای مصرف در منازل مناسب هستند. برچسب انرژی ستاره و انرژی اقتصادی مثال‌هایی از این دست هستند.
شبکه تتا یک شرکت راهکارهای مخابراتی است که در سال ۲۰۰۵ در شهر نیوجرسی تأسیس شد .http://en.wikipedia.org/wiki/BusinessWeek,http://investing.businessweek.com/research/stocks/private/snapshot.asp?privcapId=28831084
این شرکت توسعه نرم‌افزاری بر پایهٔ بازرسی عمیق بسته‌های اطلاعاتی (داده) است که می‌تواند برای نظارت، بهینه‌سازی، مدیریت مشترک و امنیت در شبکه‌های تلفن همراه استفاده شود
اخیراً شبکهٔ تتا همچنین با شرکت China Mobile در نظارت و پشتیبانی شبکهٔ جدید TD-SCDMA کار می‌کند .http://www.connect-world.com/extras/ict_telecom_press_release_article.php?press_id=1162
شبکهٔ تتا در لایه ۷ مدل استاندارد شبکه‌های کامپیوتری(OSI) با استفاده از بازرسی عمیق بسته‌های اطلاعاتی (داده)، بازرسی بسته‌های عبوری(XPI)، جریان بسته‌های عبوری(XSI) باعث گردآوری مجدد و ایجاد روابط بین جلسات برنامهٔ مشترک گردیده است .
نخستین گام در برقراری روابط رسمی نوین و مستمر میان دو کشور را علی‌اصغر حکمت سفیر ایران در دهلی نو برداشت. او بنا بر دلایلی لزوم انتصاب سفیر اکردیتهٔ ایران را در تایلند برای اولین بار مطرح کرد.
"از ۱۹ مهر ۱۳۳۵ سفیر ایران در هند (علی‌اصغر حکمت) به عنوان سفیر اکردیتهٔ ایران به دولت معرفی شد. بعدها روابط دو کشور تا حد اعزام سفیر ارتقا یافت."
"بسته شدن سفارت به دلیل صرفه‌جویی در بودجه"
شرکت امریکن بریج یا شرکت پل آمریکایی یک شرکت مهندسی عمران بخش خصوصی است که متخصص در ساخت و ساز و نوسازی پل‌ها و دیگر پروژه‌های عمرانی بزرگ است. در سال ۱۹۰۰ تأسیس شد، این شرکت در کورپلیس، پنسیلوانیا، یکی از حومه‌های پیتزبورگ مستقر است.
این شرکت بسیاری از پل‌ها را در ایالات متحده و جاهای دیگر ساخته است. ثبت تاریخی مهندسی آمریکایی در کتابخانه کنگره موجود است و دست کم ۸۱ پروژه دیگر توسط این شرکت ساخته شده‌است از جمله این موارد می‌توان به ساخت برج ویلیس، ساختمان امپایر استیت.، ساختمان کرایسلر، لنت‌های راه‌اندازی، تفریحی، در طول جنگ جهانی دوم، پل امریکایی برای فرود هواپیما و سایر ماشین‌های هوانوردی برای نیروی دریایی آمریکا اشاره کرد.
رقبای این شرکت شامل : شرکت اسکانسکا، شرکت والش و شرکت فلاتیرون است.
شرکت پل آمریکا در ماه آوریل سال 1900، تأسیس شد به سرپرستی مورگان که از 28 شرکت بزرگ در ایالات متحده به‌شمار می‌آید . ریشه‌های این شرکت تا اواخر سال 1860 می‌رسد، اولین پل فلزی بر روی رودخانه می سی سی پی، در سنت لوئیس توسط این شرکت ساخته شده‌است در سال 1902، این شرکت یک شرکت تابعه از ایالات متحده به عنوان یکی از تثبیت کنندگان فولاد تبدیل شد.
این شرکت پیشرو در استفاده از فولاد به عنوان مواد ساخت و ساز، در حال توسعه ابزار و روش‌های ساخت و ساخت و ساز است که آن را به‌طور گسترده در ساختمان‌ها، پل‌ها، کشتی‌ها و دیگر برنامه‌های کاربردی استفاده می‌کند در نتیجه، و با توجه . به منابع مالی عمیق خود، شرکت پل آمریکایی در سراسر کشور و جهان یکی از شرکت‌های بزرگ هم در ابتدای کار و هم تاکنون است.
برخی پروژه‌های قابل توجه شرکت پل آمریکا را بیشتر بر عهده مهندسی ساخت و ساز می‌دانند توانایی تاریخی این شرکت بزرگ همان استفاده از فولاد است که به عنوان برگ برنده در صنعت ساختمان‌سازی از آن یاد می‌شود.
این شرکت در سال 1987 از صورت دولتی به خصوصی تبدیل شد
شرکت پل آمریکا یک شرکت ساخت و ساز افسانه‌ای است که پروژه‌هایی شامل بخش قابل توجهی از پل‌ها بزرگ در جهان، تأسیسات دریایی، و سایر سازه‌های پیچیده است. تاریخ آن، تجربه پروژه، رهبری ایمنی، شهرت و صداقت و شایستگی، تعهد و توسعه از استعداد انسانی، تجهیزات ناوگان، و بالاتر از همه، فناوری هندسی پیشرفته خود، یکی از منحصر به فردترین شرکت‌های عمرانی در جهان است.
این شرکت بر روی مدل کسب و کار بسیار متمرکز شده‌است. چشم انداز پروژه‌ها جذاب‌ترین کسانی را که از استفاده از مهندسی ساخت و سازهای پیشرفته و روش توسعه با کاهش هزینه‌های قابل توجه استفاده می‌کنند متحیر می‌کند.
پل آمریکایی از شرکت کنندگان پیشرو در بازارهای جهانی برای بهبود و گسترش زیرساخت‌های ساخت و ساز است. این شرکت برتری در ساخت و ساز و بازسازی کابل پل، پشتیبانی، پل متحرک، پل خرپا فولاد، فولاد و پل قوس بتن، آثار دریایی سنگین، نظامی، دولتی و زیرساخت‌های امنیتی، و هر نوع دیگر از پروژه‌های ساختاری یا دریایی که سود حاصل از پیشرفته مهارت‌های مهندسی ساخت و ساز است. این شرکت دارای تجهیزات بسیار گسترده برای طیف سازه‌های تخصصی است.
شرکت امریکن بریج یا پل آمریکایی بیشترین کار بین‌المللی را با شرکای خود انجام داده است. این شرکت در سرمایه‌گذاری مشترک خط ( کنسرسیوم ) شرکت کرده‌است.
شرکت پل آمریکایی با یکی از بزرگترین کتابخانه‌های فنی و مهندسی در جهان ارتباط دارد و از آن‌ها پشتیبانی می‌کند. جزئیات این کتابخانه از روش‌های دقیق برای ساخت هزاران پل از همه نوع مورد استفاده قرار گرفت، و به عنوان یک نقطه مرجع ارزشمند برای هر پروژه جدید در دست مطالعه قرار می‌گیرد.
شرکت پل امریکایی کنترل و تقریباً همه موارد اصلی کار، انتخاب نوع ساخت، مالکیت تجهیزات، و دفاتر منطقه‌ای متعاهد آگاه از کار، پیمانکاران فرعی و هزینه‌ها را خود انجام می‌دهد.
صنعت آموزشی شرکت پل آمریکایی به این صورت است کهفارغ التحصیلان مهندسی عمران را از طریق کارآموزی و دسترسی مستقیم به دانشگاه برای شرکت، استخدام و وارد شدن به این شرکت در موقعیت مناسب می‌کند. در طول برنامه آموزشی پنج ساله خود، آن‌ها 20 هفته آموزش در کلاس درس که دربرگیرنده تاریخ و استراتژی شرکت، هزینه، زمان، و سیستم‌های کنترل پروژه، تجهیزات ناوگان و استفاده از آن، ابزار کوچک قابل استفاده، مطالعه، مهندسی ساخت و ساز، مذاکره، و دریافت بسیاری اطلاعات دیگر است. آن‌ها همچنین از طریق پنج پروژه مختلف در آن مدت تشویق می‌شوند به منظور به دست آوردن مدرک کارشناسی ارشد در هر دو مدیریت ساخت که از طریق برنامه‌های آموزشی این شرکت در رابطه با دانشگاه پیتسبورگ ارائه می‌گردد و دانشجویان می‌توانند در رشته مدیریت بازرگانی و عمران ادامه می‌دهند.
گپ در علوم زمین به تنگ و معبر آبی گفته می‌شود که محور ساختمان تک‌شیب (تیغه یا هوگ‌بک) را در یک رشته‌کوه شکافته باشد. چنانچه معبر آب محور تاقدیس را بریده باشد به آن کلوز می‌گویند.
تیغه یا هوگ‌بک به رشته طویل و باریکی گفته می‌شود که نتیجه فرسایش نامساوی در لایه‌های با جنس متفاوت است و تفاوت آن با کواستا در آن است که دارای دو دامنه پرشیب است، در حالی که کواستا یک دامنه پرشیب و یک دامنه ملایم دارد.فرهنگ اصطلاحات جغرافیای طبیعی، سیاوش شایان، انتشارات مدرسه، ۱۳۸۴
«زمانی مرا خیلی دوست داشت» آهنگی در سبک کانتری با اجرای دیوید آلن کو است. این آهنگ در دسامبر ۱۹۸۴ بعنوان آهنگ اول آلبوم کو یعنی "Darlin', Darlin" منتشر شد. این آهنگ هم در فهرست آهنگ‌های کانتری برتر بیلبورد آمریکا و هم در "Canadian RPM Country Tracks" در رتبه ۱۱ قرار گرفت. ترانه‌سرایان این تک‌آهنگ، چارلز کیلن، کای فلمینگ و دنیس مورگان هستند. در اوایل دهه ۸۰، یک نسخه با صدای جانی کش ضبط شد ولی منتشر نشد تا اینکه در سال ۲۰۱۴ عرضه شد. در سال ۲۰۱۴، جان هیلکوت(کارگردان فیلمهایی مثل جاده و پیشنهاد) موزیک ویدئویی برای نسخه جانی کَش ساخت.
نهان‌دندانگان نام یک فراراسته از رده دوکفه‌ای‌ها است.
صدف‌های چروک باله‌دار نام یک سرده از تیره نرم‌تنان بالدار است.
گودی‌دارواران نام یک راسته از رده دوکفه‌ای‌ها است.
گودی‌داران نام یک تیره از راسته گودی‌دارواران است.
کوه پرتگاهی یا کوئستا به نوعی از کوه گفته می‌شد که یک طرف آن سینه‌کشی با شیب نسبتاً ملایم داشته باشد و طرف دیگر آن شیب تندی باشد که از خط‌الراس کوه با یک پرتگاه شروع می‌شود.
کوئستاها از اختلاف مقاومت بین لایه‌های سست و مقاوم به وجود آمده‌اند. در مقابل اشکال شبه کوئستایی را نیز داریم که همان لایه‌های مایل تک شیب هستند با این تفاوت که در آنها طبقات از یک جنس هستند و اختلاف مقاومت در آنها دیده نمی‌شود.
کوئستا یا کت واژه‌ای اسپانیایی است که به مفهوم برجستگی‌های نامتقارن به کار می‌رود که یک طرف آن دارای شیب کاملاً ملایم و طرف دیگر آن دارای شیب تند باشد. این عارضه شامل اختلاف سختی و سستی طبقاتی مانند گچ و نمک است که به صورت موازی قرار گرفته‌اند. در ساختار کوئستا واحدی از سنگ سست بین دو واحد سنگ مقاوم قرار می‌گیرد و در نتیجهٔ فرسایش بریده شده و دچار تغییر می‌شود.
در این کوه‌ها طبقه فوقانی مقاوم و با شیب بسیار ملایم و در زیر آن طبقه سست با ضخامت زیاد قرار دارد. کوه پرتگاهی دارای یک قسمت جلویی یا پیشانی در لایه سخت است که پرتگاه کوئستا نامیده می‌شود. در زیر لایه سخت، لایه نرم وجود دارد که گاهی نیمرخ آن به‌صورت مقعر در می‌آید.
کوئستا از ناهمواری‌های حوضه‌های رسوبی محسوب می‌شود و به مفهوم ساختمانی است که یک طرف آن دارای شیب ملایم حدود ۱۵ درجه و طرف دیگر دارای شیب تند است.
قسمت پای پرتگاه کوئستا به‌صورت یک چاله است که سوبسکانت یا ارتوکلینال نامیده می‌شود. چنان‌چه سنگ پایه و رسوب دگرشیب بالایی هر دو از جنس سخت باشند و پیشانی مشخصی در آن وجود نداشته باشد، در این صورت آن را شبه‌پرتگاهی می‌نامند. حداکثر شیب ساختمانی کوئستا ۱۵ درجه است و اگر شیب طبقه بیش از ۱۵ درجه باشد، جزو ساختمان‌های چین‌خورده محسوب می‌شود.فرهنگ واژه‌های ژئومورفولوژی، دکتر مسعود معیری، انتشارات دانشگاه اصفهان، ۱۳۹۰ روی‌هم رفته کوئستاها دارای یک شیب بسیار تند و یک شیب ملایم هستند.فرهنگ اصطلاحات جغرافیای طبیعی، سیاوش شایان، انتشارات مدرسه، ۱۳۸۴
کوئستا شامل پیشانی کوئستا، چاله سوبسکانت، تپه شاهدها و شبکهٔ هیدروگرافی اطراف کوئستا می‌شود که در این مقاله هر یک را شرح داده‌ایم. این پدیده ساختمانی براساس نوع گسترش طولی خود به دو نوع کوئستای شاتیونه و کوئستای لرن تقسیم می‌شود. مواردی چون فرسایش، ضخامت رسوبات، شیب طبقات و سختی و مقاومت لایه‌های رسوبی عواملی هستند که ریخت و شکل یک کوئستا را تعیین می‌کنند.
در صورتی که طبقات رسوبی سست و مقاوم به صورت متناوب در کنار هم قرار بگیرند، در اثر نیروهای تکتونیکی وارد بر منطقه ممکن است لایه‌ها از حالت افقی خارج شده و به شکل مایل درآیند در این حالت اگر فرسایش صورت گیرد اشکال کوئستایی ایجاد می‌شوند.