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

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

This paper presents several industrial applications of ML in the context of their effort to solve the "KAML problem", i.e., the problem of merging knowledge acquisition and machine learning techniques. Case-based reasoning is a possible alternative to the problem of acquiring highly compiled expert knowledge, but it raises also many new problems that must be solved before really efficient imple...

– Briefly we’ll show in Theorem 1.2 (sketched last time) that the representation question is essential — sometimes, by choosing the wrong function class, you can get a bad error, even though there are simple predictors that get 0 error. – Continuous fit I: box approximations; namely, we’ll show that a variety of functions can approximate continuous functions by showing they approximate piecewis...

In this paper we present a new method for machine learning-based optimization of linguist-written Constraint Grammars. The effect of rule ordering/sorting, grammarsectioning and systematic rule changes is discussed and quantitatively evaluated. The F-score improvement was 0.41 percentage points for a mature (Danish) tagging grammar, and 1.36 percentage points for a half-size grammar, translatin...

Is there a type system for core-ML that, using exactly the same syntax of types of the Damas-Milner system, types exactly the same terms of this system, and has principal typings? In this article we answer this question affirmatively. A definition of principal typing is given, capturing the simple idea of representing the set of all typings that can be obtained in derivations for a given term i...

We present our experience in implementing a group communication toolkit in Objective Caml, a dialect of the ML family of programming languages. We compare the toolkit both quantitatively and qualitatively to a predecessor toolkit which was implemented in C. Our experience shows that using the high-level abstraction features of ML gives substantial advantages. Some of these features, such as aut...