What is the translation of " BOOLEAN CIRCUITS " in Portuguese?

• circuitos booleanos
• circuitos boolianos

Examples of using Boolean circuits in English and their translations into Portuguese

The classes AC and NC are defined using Boolean circuits.
AC e NC, as quais são definidas usando circuitos booleanos.

Boolean circuits are defined in terms of the logic gates they contain.
Circuitos boolianos são definidos em termos das portas lógicas que contém.

Complexity classes defined in terms of Boolean circuits include AC0, AC, TC0 and NC.
Classe de complexidades definida em termos de circuitos booleanos incluem AC0, AC, TC0 e NC.

Boolean circuits, however, only allow a fixed number of input bits.
Circuitos booleanos, no entanto, só permitem um número fixo de bits por entrada.

The aim of this project is to study average-case lower bounds in restricted classes of Boolean circuits, such as monotone….
O objetivo deste projeto é o estudo de cotas inferiores no caso médio em classes restritas de circuitos Booleanos, tais quais….

Boolean circuits are also used as a formal model for combinational logic in digital electronics.
Circuitos boolianos também são usados em modelos formais para lógica combinacional em eletrônica digital.

A formal language can be decided by a family of Boolean circuits, one circuit for each possible input length.
Uma linguagem formal pode ser decidida por uma família de circuitos boolianos, um circuito para cada comprimento de entrada possível.

A common basis for Boolean circuits is the set{AND, OR, NOT}, which is functionally complete, i. e. from which all other Boolean functions can be constructed.
Uma base comum para circuitos Boolianos é o conjunto de{AND, OR, NOT}, de qual todas as outras funções boolianas podem ser construídas.

He did important early work on parallel algorithms for prefix sums and their application in the design of Boolean circuits for addition.
Também fez um trabalho importante no início do desenvolvimento de algoritmos paralelos para somas de prefixo e sua aplicação no projeto de circuitos booleanos para adição.

Circuits of this kind provide a generalization of Boolean circuits and a mathematical model for digital logic circuits..
Na teoria da complexidade computacional e complexidade de circuito, um circuito booliano é um modelo matemático para circuitos lógicos digitais.

Boolean circuits provide a model for many digital components used in computer engineering, including multiplexers, adders, and arithmetic logic units.
Circuitos boolianos provém um modelo para muitos componentes digitais usados em engenharia da computação, incluindo multiplexadores, adicionadores, e unidades lógicas e aritméticas.

NC is defined to be the set of Boolean functions that can be decided by uniform Boolean circuits of polynomial size and polylogarithmic depth.
NC é definida como o conjunto de funções boolianas que podem ser decididas por circuitos boolianos uniformes de tamanho polinomial e profundidade polilogarítmica.

In giving a formal definition of Boolean circuits, Vollmer starts by defining a basis as set B of Boolean functions, corresponding to the gates allowable in the circuit model.
Em uma definição formal de circuitos boolianos, Vollmer começou definindo um conjunto base B de funções boolianas, correspondendo as portas permissíveis no modelo de circuito..

Adleman's theorem states that membership in any language in BPP can be determined by a family of polynomial-size Boolean circuits, which means BPP is contained in P/poly.
O teorema de Adleman afirma que a pertinência de qualquer linguagem em BPP pode ser determinado pela família de circuitos booleanos de tamanho polinomial, o que significa que BPP está contido em P/poly.

Several important complexity measures can be defined on Boolean circuits, including circuit depth, circuit size, and number of alternations between AND gates and OR gates.
Várias importantes medidas de complexidade podem ser definidas em circuitos boolianos, incluindo profundidade do circuito, tamanho do circuito e número de alternações entre portas AND e OR.

In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of Boolean circuits that compute them.
No ramo da Ciência da computação teórica, complexidade de circuitos é um ramo da Teoria da complexidade computacional onde Função booleanas são classificadas de acordo com o tamanho ou o grau dos Circuitos booleanos que as computam.

An individual computational problem is thus associated with a particular"family" of Boolean circuits formula_21 where each formula_15 is the circuit handling inputs of"n" bits.
Dessa forma, um problema computacional particular é associado a uma"família" específica de circuitos Booleanos formula_21 onde cada formula_14 é o circuito que trata as entradas de"n" bits.

Boolean circuits are one of the prime examples of so-called non-uniform models of computation in the sense that inputs of different lengths are processed by different circuits, in contrast with uniform models such as Turing machines where the same computational device is used for all possible input lengths.
Circuitos booleanos são os principais exemplos dos chamados modelos de computação não-uniformes, no sentindo de que entradas de diferentes tamanhos são processadas por circuitos diferentes, em contraste com modelos uniformes como as Máquinas de Turing, onde o mesmo dispositivo computacional é usado para todos os possíveis tamanhos de entrada.

An individual computational problem is thus associated with a particular family of Boolean circuits C 1, C 2,…{\displaystyle C_{1}, C_{2},\dots} where each C n{\displaystyle C_{n}} is the circuit handling inputs of n bits.
Dessa forma, um problema computacional particular é associado a uma família específica de circuitos Booleanos C 1, C 2,…{\displaystyle C_{1}, C_{2},\dots} onde cada C n{\displaystyle C_{n}} é o circuito que trata as entradas de n bits.

The model of computation: The most common model of computation is the deterministic Turing machine, but many complexity classes are based on nondeterministic Turing machines, boolean circuits, quantum Turing machines, monotone circuits, etc.
O modelo de computação: o modelo de computação mais comum é a Máquinda de Turing Determinística, porém, muitas classes de complexidade são baseadas em Máquinas de Turing Não-Determiníticas, circuitos booleanos, Máquina de Turing Quântica, circuitos monótonos, etc.

Informally, ACC0 models the class of computations realised by Boolean circuits of constant depth and polynomial size, where the circuit gates includes"modular counting gates" that compute the number of true inputs modulo some fixed constant.
Informalmente, ACC0 modela a classe de cálculos realizados por circuitos booleanos de profundidade constante e tamanho polinomial, onde as portas do circuito incluem"portas de contagem modular" que calculam o resto da divisão entre o número de entradas verdadeiras por alguma constante fixa.

Other important complexity classes include BPP, ZPP and RP, which are defined using probabilistic Turing machines; AC and NC, which are defined using boolean circuits and BQP and QMA, which are defined using quantum Turing machines.
Outras classes de complexidade importantes incluem BPP, ZPP e RP, que são definidas usando máquinas de Turing probabilística; AC e NC, que são definidas usando circuitos booleanos e BQP e QMA, que são definidas usando máquinas de Turing quânticas.

NCi is the class of decision problems decidable by uniform boolean circuits with a polynomial number of gates of at most two inputs and depth O(logi n), or the class of decision problems solvable in time O(logi n) on a parallel computer with a polynomial number of processors.
NCi é a classe de problemas de decisão decidíveis por circuitos booleanos uniformes com um número polinomial de portões de, no máximo, duas entradas e profundidade O(logi n), ou da classe dos problemas de decisão solúveis em tempo O(logi n) com um computador em paralelo com um certo número de processadores polinomial.

The model of computation: The most common model of computation is the deterministic Turing machine, but many complexity classes are based on non-deterministic Turing machines, Boolean circuits, quantum Turing machines, monotone circuits, etc.
O modelo de computação: O modelo mais comum de computação é a máquina de Turing determinística, mas muitas classes de complexidade são baseadas em máquinas de Turing não-determinísticas, circuitos Booleanos, máquinas de Turing quânticas, circuitos monótonos, etc.

In 1980, along with Richard J. Lipton, Karp proved the Karp-Lipton theorem which proves that, if SAT can be solved by Boolean circuits with a polynomial number of logic gates, then the polynomial hierarchy collapses to its second level.
Em 1980, junto com Richard Lipton, Karp provou o teorema de Karp-Lipton o qual prova que, se o SAT pode ser resolvido por circuitos booleanos com um número polinomial de portas lógicas, então a hierarquia polinomial desmorona ao seu segundo nível.

Other important complexity classes include BPP, ZPP and RP, which are defined using probabilistic Turing machines; AC and NC, which are defined using Boolean circuits; and BQP and QMA, which are defined using quantum Turing machines. P is an important complexity class of counting problems not decision problems.
Outras classes de complexidade importantes incluem BPP, ZPP e RP, que são definidas usando máquinas de Turing probabilística; AC e NC, que são definidas usando circuitos booleanos e BQP e QMA, que são definidas usando máquinas de Turing quânticas. P é uma importante classe complexidade de problemas de contagem que não são problemas de decisão.

Thus no single Boolean circuit is capable of deciding such a language.
Logo, nenhum circuito booleano é capaz de decidir sozinho uma linguagem recursiva.

One speaks of the circuit complexity of a Boolean circuit.
Ele trata da complexidade de um circuito Booleano.

A Boolean circuit over a basis B, with n inputs and m outputs, is then defined as a finite directed acyclic graph.
Um circuito booliano sobre uma base B, com n entradas e m saídas, é então definida como um grafo acíclico dirigido finito.

In 2000, Gajardo et al. showed a construction that calculates any boolean circuit using the trajectory of a single instance of Langton's ant.
Em 2000, Gajardo et al. mostrou uma construção que calcula qualquer circuito booleano usando a trajetória de uma única instância de formiga de Langton.