Results for formal methods for interactive sy... translation from English to Persian

methods for producing virus-free plants
روش هایی برای تولید گیاهان عاری از ویروس

in computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.
در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند.

methods for determining the flash point of a liquid are specified in many standards.
روشهای تعیین نقطهٔ اشتعال یک مایع در استانداردهای بسیاری تصریح شده‌است.

courant, r. variational methods for the solution of problems of equilibrium and vibrations.
courant, r. variational methods for the solution of problems of equilibrium and vibrations.

developing methods for conserving water is a rising demand that the saudi government is aspiring to achieve
توسعه روش هایی برای حفظ آب، تقاضای روزافزونی است که دولت عربستان سعی در دستیابی به آن دارد

the methods for achieving a technical effect are described by control algorithms, which might or might not utilize formal methods in their design.
روشهایی برای دست‌یابی به یک اثر فنی به وسیله الگوریتم‌های کنترل بیان می‌شوند، که ممکن است از روشهای ساخت‌یافته در طرح استفاده شود یا خیر.

it involves both defining access control to database objects as well as defining security levels and methods for the data itself.
این شامل هر دو تعریف کنترل دسترسی به اشیاء پایگاه داده و همچنین تعریف سطوح امنیتی و روش برای داده‌ها است.

so ham smith and clyde hutchison developed some new methods for making error-free dna at a small level.
اين بود که هام اسمیت و کلاید هاتچیسون، یک سری روش‌های جدیدی برای ساخت dna بدون اشکال در سطوح خیلی کوچک ابداع کردند.

==origin==advertising executive alex f. osborn began developing methods for creative problem solving in 1939.
مدیر ارشد تبلیغات الکس اف آزبورن، توسعه روش‌های حل خلاقانه مسأله را در سال ۱۹۳۹ شروع کرد.

meta-synthesis is one of the exploratory research methods for creating and extracting a common reference framework based on the results of previous researches.
فراترکیب یکی از روش های تحقیق اکتشافی برای ایجاد و استخراج یک چارچوب مرجع مشترک مبتنی بر نتایج تحقیقات گذشته می¬باشد.

the most frequently used methods for estimating orotic acid in milk have been variations of a colorimetric procedure. assay here involves the isolation of orotic acid by dialysis and anion exchange and silicic acid chromatography.
متداولترین روشها برای تخمین اسید اروتیک در شیر ، تغییرات روش رنگ سنجی بوده است. سنجش در اینجا شامل جداسازی اسید اروتیک توسط دیالیز و تبادل آنیون و کروماتوگرافی اسید سیلیسیک است.

pcr with analysis directed to the 16s rrna gene was confirmed to be a much more sensitive method for the detection of h. pylori in gastric biopsies compared to other methods
pcr با تجزیه و تحلیل به ژن 16s rrna تایید شد که روش بسیار حساس تری برای تشخیص هلیکوباکتر پیلوری در بیوپسی معده نسبت به سایر روش ها است.

highly scalable methods for on demand education seem to be the future of education. increasingly, students need to be reached wherever and whenever they are in order to reduce the costs associated with traditional learning methods.
به نظر میرسد که روشهای بسیار مقیاس پذیر برای آموزش تقاضا، آینده تحصیل است. دانش آموزان باید هر زمان و هر زمان که بخواهند هزینه های مربوط به شیوه های یادگیری سنتی را کاهش دهند، به طور فزاینده ای بیشتر می شود.

* treatment methods for kidney failure: hemodialysis - (american) national kidney and urologic diseases information clearinghouse, nih.
* treatment methods for kidney failure: hemodialysis - (american) national kidney and urologic diseases information clearinghouse، مؤسسات ملی بهداشت.

digital technologies provide materials that can be adopted in self study or organized education settings and provide a method for active learning that more fully engages learners.
تکنولوژی های دیجیتال مواد را فراهم می کنند که می توانند در خودآموزی یا تنظیمات آموزشی سازمان یافته اتخاذ شوند و روش ای برای یادگیری فعال فراهم کنند که فراگیر تر فراگیر تر فراگیرد.

* treatment methods for kidney failure - (american) national institute of diabetes and digestive and kidney diseases (niddk), nih.
* treatment methods for kidney failure - (american) national institute of diabetes and digestive and kidney diseases (niddk)، مؤسسات ملی بهداشت.

we introduce a self supervised method for learning visual correspondence from unlabeled video. the main idea is to use cycle consistency in time as free supervisory signal for learning visual representations from scratch.
ما یک روش خود ناظر را برای یادگیری تطابق بصری در ویدیوی بدون برچسب معرفی می کنیم. ایده اصلی استفاده از ثبات چرخه در زمان به عنوان سیگنال نظارتی رایگان برای یادگیری بازنمایی های بصری از ابتدا است.

16.2 a password may become known to other users in a variety of ways. is there a simple method for detecting that such an event has occurred? explain your answer
16.2 رمز عبور ممکن است به روش های مختلف برای کاربران دیگر شناخته شده است. آیا روش ساده ای برای تشخیص این که چنین رویدادی رخ داده است وجود دارد؟ پاسخ خود را توضیح دهید