پایان نامه
یک زبان و منطق برای برنامه‌نویسی و استدلال با مشاهده‌پذیری جزئی

سیستم‌های کامپیوتری امروزی به‌طور فزاینده‌ای در محیط‌هایی به کار گرفته می‌شوند که در آن‌ها نمی‌توانند وضعیت واقعی محیط را مستقیماً تشخیص دهند و تنها اطلاعات ناقصی از طریق مشاهدات دریافت می‌کنند. در چنین شرایطی، نرم‌افزار ممکن است باور نادرستی درباره وضعیت واقعی محیط...

پایان نامه
یک سنسور هیدروژن میکروالکترومکانیکی-کامهای با خمش القایی پالادیوم و خوانش پیزومقاومتی

هیدروژن به عنوان یکی از امیدوارکننده‌ترین حامل‌های انرژی پاک و پایدار در جهان شناخته می‌شود که می‌تواند به کاهش وابستگی به سوخت‌های فسیلی و مقابله با تغییرات اقلیمی کمک شایانی کند. این گاز هنگام سوختن تنها آب تولید می‌کند و هیچ گاز گلخانه‌ای منتشر نمی‌سازد، به همین...

پایان نامه
مدل بافت کبدی سهبعدی انسان از اتصال مجرای صفراوی-کبدی

بیماری‌های کبدی از جمله معضلات بزرگ سلامت عمومی در جهان هستند که سالانه میلیون‌ها نفر را تحت تأثیر قرار می‌دهند. یکی از عملکردهای حیاتی کبد، تولید و دفع صفرا است؛ مایعی که به هضم چربی‌ها کمک می‌کند و مواد زائد را از بدن دفع می‌نماید. اختلال در جریان صفرا، که به آن...

پایان نامه
چارچوبی برای تشخیص و مشاهده گونه‌های شیمیایی پرتوی بر روی ام‌آر-لیناک

درمان با پرتو، یکی از مؤثرترین روش‌های مقابله با سرطان، همواره با چالش آسیب به بافت‌های سالم همراه بوده است. علی‌رغم پیشرفت‌های چشمگیر در هدف‌گیری تومورها، پزشکان هنوز ابزاری برای سنجش بلادرنگ میزان تخریب بافت در حین تابش‌دهی در اختیار ندارند. این ناتوانی می‌تواند به...

پایان نامه
پاسخ مشترک سلولی به اختلالات گسترده پیرایش RNA

سلول‌های بدن ما پیوسته در معرض عوامل تنش‌زا قرار دارند؛ از تغییرات محیطی گرفته تا نقص در عملکرد درونی سلول. با این حال، این واحدهای کوچک سازنده حیات، به طرز شگفت‌انگیزی مقاوم هستند و شبکه‌های پیچیده‌ای از واکنش‌ها را برای مقابله با این تهدیدها به کار می‌گیرند. سلول‌ها...