Você procurou por: formal methods for interactive systems (Inglês - Persa)

Inglês

Tradutor

formal methods for interactive systems

Tradutor

Persa

Tradutor
Tradutor

Traduza instantaneamente textos, documentos e voz com a Lara

Traduzir agora

Contribuições humanas

A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente

Adicionar uma tradução

Inglês

Persa

Informações

Inglês

methods for producing virus-free plants

Persa

روش هایی برای تولید گیاهان عاری از ویروس

Última atualização: 2022-12-30
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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.

Persa

در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند.

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

methods for determining the flash point of a liquid are specified in many standards.

Persa

روشهای تعیین نقطهٔ اشتعال یک مایع در استانداردهای بسیاری تصریح شده‌است.

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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

Persa

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

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

developing methods for conserving water is a rising demand that the saudi government is aspiring to achieve

Persa

توسعه روش هایی برای حفظ آب، تقاضای روزافزونی است که دولت عربستان سعی در دستیابی به آن دارد

Última atualização: 2018-07-13
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

the methods for achieving a technical effect are described by control algorithms, which might or might not utilize formal methods in their design.

Persa

روشهایی برای دست‌یابی به یک اثر فنی به وسیله الگوریتم‌های کنترل بیان می‌شوند، که ممکن است از روشهای ساخت‌یافته در طرح استفاده شود یا خیر.

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

it involves both defining access control to database objects as well as defining security levels and methods for the data itself.

Persa

این شامل هر دو تعریف کنترل دسترسی به اشیاء پایگاه داده و همچنین تعریف سطوح امنیتی و روش برای داده‌ها است.

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

so ham smith and clyde hutchison developed some new methods for making error-free dna at a small level.

Persa

اين بود که هام اسمیت و کلاید هاتچیسون، یک سری روش‌های جدیدی برای ساخت dna بدون اشکال در سطوح خیلی کوچک ابداع کردند.

Última atualização: 2015-10-13
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

==origin==advertising executive alex f. osborn began developing methods for creative problem solving in 1939.

Persa

مدیر ارشد تبلیغات الکس اف آزبورن، توسعه روش‌های حل خلاقانه مسأله را در سال ۱۹۳۹ شروع کرد.

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

meta-synthesis is one of the exploratory research methods for creating and extracting a common reference framework based on the results of previous researches.

Persa

فراترکیب یکی از روش های تحقیق اکتشافی برای ایجاد و استخراج یک چارچوب مرجع مشترک مبتنی بر نتایج تحقیقات گذشته می¬باشد.

Última atualização: 2023-11-27
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

numerical method for fractional bagley torvik equation

Persa

Última atualização: 2021-03-02
Frequência de uso: 3
Qualidade:

Referência: Anônimo

Inglês

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.

Persa

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

Última atualização: 2021-06-10
Frequência de uso: 2
Qualidade:

Referência: Anônimo

Inglês

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

Persa

pcr با تجزیه و تحلیل به ژن 16s rrna تایید شد که روش بسیار حساس تری برای تشخیص هلیکوباکتر پیلوری در بیوپسی معده نسبت به سایر روش ها است.

Última atualização: 2024-05-13
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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.

Persa

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

Última atualização: 2018-07-07
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

* treatment methods for kidney failure: hemodialysis - (american) national kidney and urologic diseases information clearinghouse, nih.

Persa

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

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

universal and simple method for facile fabrication of sustainable high internal phase emulsions solely using meat protein particles with various ph values

Persa

Última atualização: 2020-06-20
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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.

Persa

تکنولوژی های دیجیتال مواد را فراهم می کنند که می توانند در خودآموزی یا تنظیمات آموزشی سازمان یافته اتخاذ شوند و روش ای برای یادگیری فعال فراهم کنند که فراگیر تر فراگیر تر فراگیرد.

Última atualização: 2018-07-07
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

* treatment methods for kidney failure - (american) national institute of diabetes and digestive and kidney diseases (niddk), nih.

Persa

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

Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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.

Persa

ما یک روش خود ناظر را برای یادگیری تطابق بصری در ویدیوی بدون برچسب معرفی می کنیم. ایده اصلی استفاده از ثبات چرخه در زمان به عنوان سیگنال نظارتی رایگان برای یادگیری بازنمایی های بصری از ابتدا است.

Última atualização: 2022-07-12
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Inglês

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

Persa

16.2 رمز عبور ممکن است به روش های مختلف برای کاربران دیگر شناخته شده است. آیا روش ساده ای برای تشخیص این که چنین رویدادی رخ داده است وجود دارد؟ پاسخ خود را توضیح دهید

Última atualização: 2021-11-27
Frequência de uso: 1
Qualidade:

Referência: Anônimo

Algumas traduções humanas com pouca relevância foram ocultadas.
Mostrar resultados de pouca relevância.

Consiga uma tradução melhor através
8,787,122,578 de colaborações humanas

Usuários estão solicitando auxílio neste momento:



Utilizamos cookies para aprimorar sua experiência. Se avançar no acesso a este site, você estará concordando com o uso dos nossos cookies. Saiba mais. OK