26 مقاله — صفحه 2 از 3
پراساد وی. تِتالی، ریاضیدان و دانشمند رایانه هندی-آمریکایی، به عنوان استاد در دانشگاه کارنگی ملون فعالیت میکند. حوزههای پژوهشی او شامل نظریه احتمال، ریاضیات گسسته و الگوریتمهای تقریبی است. او در ویساخاپاتنام، هند متولد شد و پس از مهاجرت به آمریکا، شهروند این کشور شد. تِتالی تحصیلات خود را در دانشگاه آندرا و مؤسسه علوم هند به پایان رساند و دکترای خود را زیر نظر جوئل اسپنسر در مؤسسه کوران دانشگاه نیویورک کسب کرد.
میزبانی خودی (Self-hosting) در برنامهنویسی یعنی نرمافزاری بتواند نسخههای جدید خودش را تولید کند؛ مانند کامپایلری که کد منبع خود را ترجمه میکند. این مفهوم که در سیستمعاملها و کامپایلرها کاربرد دارد، با مشکل مرغ و تخممرغ روبهروست اما راهحلهایی مثل کامپایلر متقاطع و بوتاسترپ دارد.
ماتریس بلوکی یا پارتیشنشده، ماتریسی است که با خطوط فرضی افقی و عمودی به بخشهای کوچکتری به نام بلوک یا زیرماتریس تقسیم میشود. این ساختار محاسبات ماتریسی را ساده کرده و کاربردهای فراوانی در جبر خطی و علوم کامپیوتر دارد.
ماریا فلیسا وردخو مایو، استاد برجسته دانشگاه و از پیشگامان حوزه هوش مصنوعی و پردازش زبان طبیعی در اسپانیاست. او مسیر پژوهشی مهمی را برای پردازش خودکار زبان اسپانیایی و ادغام آن در سیستمهای هوشمند گشوده است.
برنارد گالر، ریاضیدان و دانشمند کامپیوتر آمریکایی بود که نقش کلیدی در توسعه سیستمعاملهای مقیاس بزرگ و زبانهای برنامهنویسی از جمله MAD و سیستم MTS ایفا کرد. او بنیانگذار دپارتمان علوم کامپیوتر دانشگاه میشیگان و رئیس انجمن ماشینهای محاسباتی (ACM) بود.
ابرگرافها تعمیمی از گرافهای سنتی هستند که در آنها یالها میتوانند به هر تعداد رأس متصل شوند. این ساختار ریاضی قدرتمند در حوزههای مختلفی از هوش مصنوعی و یادگیری ماشین گرفته تا نظریه بازیها و علوم کامپیوتر کاربرد دارد.
نمودار دوبعدی چیست؟ این مقاله به بررسی سه تعریف اصلی نمودار دوبعدی میپردازد: نمودار تابع یک متغیره، گراف مسطح و نمایش هندسی در صفحه. با ما همراه باشید تا با این مفاهیم آشنا شوید.
مسیر خود-اجتنابی (SAW) یک مفهوم ریاضی و فیزیک محاسباتی است که به دنبالهای از حرکات در یک شبکه اشاره دارد که هیچ نقطهای را بیش از یک بار تکرار نمیکند. این مفهوم در مدلسازی مولکولهای نخمانند و حلقوی، و همچنین در درک رفتار فراکتالی کاربرد دارد. با وجود پیچیدگیهای تحلیلی، شبیهسازیهای عددی به درک بهتر خواص آن کمک کردهاند.
برهان قطری تکنیکی خلاقانه در ریاضیات است که در اثبات قضایای مهمی چون قضیه کانتور، پارادوکس راسل، لم قطری، قضایای ناتمامیت گودل و مسئله توقف کاربرد دارد.
جایزه کووی، که از سال ۲۰۰۸ توسط انجمن بینالمللی برای محاسبات و فلسفه اهدا میشود، به پاس پژوهشهای نوآورانه و تدریس الهامگرفته از آن در حوزه فلسفه و علوم کامپیوتر اعطا میگردد. این جایزه به پژوهشگران برجسته اختصاص دارد.
بهینهسازی جستجو شامل روشهای مختلفی برای بهبود نتایج جستجو است، از بهینهسازی محلی و موتورهای جستجو گرفته تا بهینهسازی لینکها و روشهای عددی. درک این تفاوتها به شما کمک میکند بهترین رویکرد را انتخاب کنید.
دن گسفیلد، دانشمند برجسته کامپیوتر و استاد دانشگاه کالیفرنیا، دیویس، در زمینههای بهینهسازی ترکیبی و زیستشناسی محاسباتی پیشگام بوده است. تحقیقات او شامل الگوریتمهای کارآمد برای تجزیه و تحلیل توالیهای مولکولی، ساخت درختان فیلوژنتیک و کاربرد برنامهریزی خطی صحیح در زیستشناسی است.
