Resultados da pesquisa

Na [[Complexidade computacional|teoria da complexidade computacional]], '''CC (circuito comparador)''' é a [[classe de complexidade]]& ...o problema de decidir se as bolas chegar a um vértice pia designado em um dispositivo Digi-Comp II-é também CC-completa. ...

...gente inferencial, como representações simbólico numéricas, [[complexidade computacional]] e [[decidibilidade]]. Trabalhos mais recentes no campo tem explorado o pr A teoria da aprendizagem computacional busca construir e extrapolar modelos baseados em máquinas de estado que são ...

...tamanho da entrada. Os campos da [[computação factível]] e [[complexidade computacional]] estudam funções que podem ser computadas eficientemente. ...s computáveis são exatamente as funções que podem ser calculadas usando um dispositivo mecânico de calculo dado uma quantidade ilimitada de espaço de armazenament ...

..., <math>m</math> símbolos de entrada e <math>p</math> símbolos de saída do dispositivo. Foram provados nove teoremas sobre estrutura e experimentos com <math>S</m == Teoria da Complexidade Computacional == ...

...o do tipo <math>x-a</math> podemos utilizar o [[Algoritmo_de_Briot-Ruffini|dispositivo ou algoritmo de Briot-Ruffini]]. [[Categoria:Álgebra computacional]] ...

Na área da [[Complexidade computacional]], um '''protocolo Arthur–Merlin''' é um [[sistema de prova interativa]] no ...s, enquanto Merlin é efetivamente um [[Máquina oráculo|oráculo]] com poder computacional infinito (também conhecido como um provador); mas Merlin não é necessariame ...

...a ao uso de fontes [[Monospace|mono-espaçadas]] que permitiam à tecnologia computacional da época produzir facilmente o gráfico. Capacidades gráficas superiores dos ...

A [[lógica difusa]] é muito usada na [[inteligência computacional]] (IC) para conceitos em que verdadeiro ou falso não se aplicam de forma bo *A Canon desenvolveu uma câmera de foco automático que usa um [[dispositivo de carga acoplada]] (CCD) para medir a clareza da imagem em seis regiões do ...

|Construiu um [[Tubo de Pitot|dispositivo duplo tubo]] para indicar a velocidade nos escoamentos de água a partir da ...para a execução de [[Simulação|simulações numéricas]], em [[fluidodinâmica computacional]], obtendo-se assim projeções temporais da [[Resolução de equações|solução ...

Uma [[máquina de Turing]] é um dispositivo teórico com uma capacidade de memória infinita, inicialmente concebida por Muitas máquinas que possam ser imaginadas a ter maior capacidade computacional do que uma simples máquina de Turing universal podem ser mostradas não ter ...

...>). Com efeito, sofisticados programas de armamento nuclear podem criar um dispositivo perfeitamente funcional a partir de muito menos material do que aquele que ...ificativa para o desenvolvimento do [[método de Monte Carlo]], em [[física computacional]], por [[Nicholas Metropolis]] e [[Stanisław Ulam]]. Com efeito, mesmo para ...

...a]], '''complexidade de circuitos''' é um ramo da [[Teoria da complexidade computacional]] onde [[Função booleana]]s são classificadas de acordo com o tamanho ou o ...do para todos os possíveis tamanhos de entrada. Dessa forma, um [[problema computacional]] particular é associado a uma ''família'' específica de circuitos Booleano ...

...cadeias de bits e identificamos um método descirtivo com algum dispositivo computacional, ou máquina que transforme descrições em objetos. Geralmente, os objetos sã ...la dificuldade em sua construção e modularidade reduzida. Outro formalismo computacional clássico, o [[cálculo lambda]], oferece vantagens distintas em termos da fa ...

...ito por um conjunto de instruções matemáticas). Informalmente, um problema computacional consiste de instâncias do problema e soluções para essas instâncias do prob ...sados em [[computação paralela]]). Um dos papéis da teoria da complexidade computacional é determinar os limites práticos do que os computadores podem e não podem f ...

...n Theory'' da ACM acrescenta [[teoria de códigos]], teoria da aprendizagem computacional e aspectos de áreas de ciência da computação teórica, tais como [[bancos de ...relevantes que são [[NP-completo]]s - um marco na [[teoria da complexidade computacional]]. ...

...guram os dados com base em funções que são secretas somente porque o poder computacional é limitado. ...que no outro. Infelizmente a segurança dos mesmos está apenas na limitação computacional, como a dificuldade de [[fatorização]] de números primos com muitos dígitos ...

A Máquina de Turing é um dispositivo que foi proposto em [[1936]] por [[Alan Turing]] com o objetivo de formaliz ...então: [[inteligência artificial]], [[linguagens formais]], [[complexidade computacional]], [[teoria dos grafos]], [[biotecnologia]], etc. ...

...rária (não-recursiva) função N -> N (naturais nos naturais). Ele usou esse dispositivo para provar que, mesmo nos sistemas mais poderosos, indecidibilidade ainda *em 1994, Hava Siegelmann provou que seu novo modelo computacional, a Artificial Recurrent Neural Network([[Rede neural artificial|Rede Neural ...

...desenvolvido em conjunto com o Laboratório de [[Visão computacional|Visão Computacional]] (LCV) na [[Universidade de Nova York]]. Variantes adicionais do modelo fo ...classificações subjetivas humanas. Também permite adaptar as pontuações ao dispositivo de visualização pretendido, comparando vídeos em diferentes resoluções e co ...

...ciente de [[Catálogo de estrelas|catálogos de estrelas]]. Nos anos 1980, [[Dispositivo de carga acoplada|dispositivos de carga acoplada]] (CCD) substituíram as pl ...