با توجه به توانایی های ذهنی و هوشی کودکان، و با توجه به اینکه این جمعیت (چه از جهت بزهکار و چه از جهت بزه دیده،) می توانند در آینده برای نظام کیفری ایران از لحاظ حقوقی و جرم شناختی و نیز برای نظام اجتماعی از لحاظ روحی و روانی دارای اهمیت باشند، مسأله اظهارات و مشاهدات کودکان و نوجوانان غیربالغ نگاه ویژه ای را می طلبد. این در حالی است که در نظام کیفری ایران اظهارات و گزارشهای آنان از وقوع جرم و ...

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

چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و...

چکیده ندارد.

پایان نامه حاضر، تحقیقی است پیرامون ادله علمی که با توجه به مقتضیات زمان وارد نظام های مختلف حقوقی شده و در پی ارائه راه حل هایی برای حل و فصل هر چه بهتر دعاوی مدنی و کیفری است.امروزه چه در علوم پزشکی و چه در علوم الکترونیکی چنان رشد و گسترشی رخ داده که دامنه ی این علوم به علم حقوق نیز سرایت نموده است. بنابراین بسیاری از مسائل و ابهامات حقوقی و کیفری با استفاده از ادله ناشی از علوم جدید قابل حل...

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

در دهه های اخیر افزایش فشارهای جمعیتی، بهبود سطح زندگی و تقاضای در حال افزایش برای کیفیت محیط زیست، دولت ها را بر آن داشته تا برای مدیریت کارآمد منابع آب، راهکارهای بهتری ارائه کنند. از آن جا که بخش کشاورزی بزرگترین مصرف کننده آب می باشد، لذا ارائه شیوه های مدیریت منابع آب و تدوین سیاست های صحیح در این بخش لازم و ضروری به نظر می رسد. در مطالعه حاضر، تحلیل اقتصادی اثرات سهمیه بندی آب آبیاری بر ا...

حل دستگاه های چندجمله ای چندمتغیره توسط پایه گروبنر، از قسمت های اساسی جبر محاسباتی است که توسط بوخ برگر در سال ‎1965‎ با ارائه در تز دکترایش وارد عرصه علمی شد. طی چند سال اخیر‎‎ ‎الگوریتم های مختلفی برای محاسبه ی پایه گروبنر ارائه شد که یکی از قویترین و کاراترین الگوریتم های موجود، الگوریتم ‎f5‎ است. این الگوریتم با داشتن محک های قوی، از محاسبات غیر ضروری (با حذف زوج های غیر مفید) جلوگیری می ک...