Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
automatic code - tradução para árabe
TASK TO CONSTRUCT A PROGRAM THAT PROVABLY SATISFIES A GIVEN HIGH-LEVEL FORMAL SPECIFICATION
Automatic program synthesis; Code Synthesis
automatic code
الشفيرة الآلية
automatic data processing
AMERICAN HUMAN RESOURCES MANAGEMENT SOFTWARE COMPANY
Automatic Data Processing Inc.; Automatic Data Processing Incorporated; Automatic Data Proc.; Automatic Data Processing, Incorporated; Automatic Data Processing, Inc.; Adp.com; Automatic Data; ADP, LLC; Automatic Data Processing Inc; ADP (NASDAQ); Automatic Data Processing; ADP (company); ADP Inc.; ADP Corporation
معالجة البيانات أوتوماتيكيا
automatic gain control
![Schematic of an AGC used in the analog telephone network; the feedback from output level to gain is effected via a [[Vactrol]] resistive opto-isolator.](https://commons.wikimedia.org/wiki/Special:FilePath/Vactrol AGC (Yushin).PNG?width=200 "Schematic of an AGC used in the analog telephone network; the feedback from output level to gain is effected via a [[Vactrol]] resistive opto-isolator.")
AN ELECTRONIC CIRCUIT TO AUTOMATICALLY ADJUST SIGNAL STRENGTH
Automatic Gain Control; Automatic Level Control L...; VOGAD; AGC circuit; Automatic volume control; Automatic voltage gain; Vogad; Automatic Voltage Gain; Auto gain control
تحكم الكسب التلقائى
Wikipédia
Program synthesis
In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program verification, the program is to be constructed rather than given; however, both fields make use of formal proof techniques, and both comprise approaches of different degrees of automatization. In contrast to automatic programming techniques, specifications in program synthesis are usually non-algorithmic statements in an appropriate logical calculus.
