Tradução de "algorítmica" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| A abordagem axiomática engloba outras abordagens na teoria algorítmica da informação. | The axiomatic approach encompasses other approaches in the algorithmic information theory. |
| Gregory Chaitin produziu afirmações indecidíveis na teoria algorítmica da informação e provou outro teorema da incompletude nesse cenário. | Gregory Chaitin produced undecidable statements in algorithmic information theory and proved another incompleteness theorem in that setting. |
| Complexidade de Kolmogorov define uma nova teoria da informação, chamada teoria algorítmica da informação (por tratar com algoritmos). | History and context Algorithmic information theory is the area of computer science that studies Kolmogorov complexity and other complexity measures on strings (or other data structures). |
| É possível tratar diferentes medidas algorítmica da informação como casos particulares de medidas, definidas axiomaticamente, algorítmicas da informação . | It is possible to treat different measures of algorithmic information as particular cases of axiomatically defined measures of algorithmic information. |
| E a ideia de que arquitetura em si é, de certa maneira, sujeita à otimização algorítmica não é exagero. | And the idea that architecture itself is somehow subject to algorithmic optimization is not far fetched. |
| Visão geral A teoria algorítmica da informação estuda, principalmente, medidas de complexidade em cadeias (ou outras estruturas de dados). | Overview Algorithmic information theory principally studies complexity measures on strings (or other data structures). |
| História A teoria algorítmica da informação foi fundada por Ray Solomonoff, que publicou as ideias básicas em que o campo se baseia como parte de sua invenção de probabilidade algorítmica uma maneira de superar problemas graves associados à aplicação das regras de Bayes em estatística. | History Algorithmic information theory was founded by Ray Solomonoff, who published the basic ideas on which the field is based as part of his invention of algorithmic probability a way to overcome serious problems associated with the application of Bayes' rules in statistics. |
| É o que o dinheiro motiva. É que estamos realmente terraformando a própria Terra com esse tipo de eficiência algorítmica. | It's what the money motivates, that we're actually terraforming the Earth itself with this kind of algorithmic efficiency. |
| Pois bem, o Facebook não é o único lugar que está fazendo este tipo de invisível, algorítmica edição da 'web'. | So Facebook isn't the only place that's doing this kind of invisible, algorithmic editing of the Web. |
| Alguns dos resultados da teoria algorítmica da informação, como o teorema da incompletude de Chaitin, parecem desafiar intuições matemáticas e filosóficas comuns. | )Some of the results of algorithmic information theory, such as Chaitin's incompleteness theorem, appear to challenge common mathematical and philosophical intuitions. |
| A teoria algorítmica da informação mais tarde foi desenvolvida de forma independente por Andrey Kolmogorov , em 1965, e Gregory Chaitin, em torno de 1966. | Algorithmic information theory was later developed independently by Andrey Kolmogorov, in 1965 and Gregory Chaitin, around 1966. |
| Por exemplo, é possível que o grafo de uma função seja decidível em tempo polinomial (no caso em que a complexidade algorítmica é computada como uma função do par ( x , y )) quando a função não é computável em tempo polinomial (no caso em que a complexidade algorítmica é computada como uma função de x apenas). | For example, it is possible for the graph of a function to be decidable in polynomial time (in which case running time is computed as a function of the pair ( x , y ) ) when the function is not computable in polynomial time (in which case running time is computed as a function of x alone). |
| A teoria algorítmica da informação é um subcampo da teoria da informação e da ciência da computação que se preocupa com a relação entre computação e informação. | Algorithmic information theory is a subfield of information theory and computer science that concerns itself with the relationship between computation and information. |
| A grosso modo, uma cadeia é Martin Loef algoritmicamente aleatório (AR) se for incompressível no sentido de que a sua complexidade algorítmica é igual ao seu comprimento. | Roughly, a string is Algorithmic Martin Loef Random (AR) if it is incompressible in the sense that its algorithmic complexity is equal to its length. |
| A aproximação axiomática à teoria algorítmica da informação foi desenvolvida no livro (Burgin 2005) e aplicada a métricas de softwares (Burgin e Debnath, 2003 Debnath e Burgin, 2003). | The axiomatic approach to algorithmic information theory was further developed in the book (Burgin 2005) and applied to software metrics (Burgin and Debnath, 2003 Debnath and Burgin, 2003). |
| Existem diversas variantes da complexidade Kolmogorov ou teoria algorítmica da informação a mais amplamente utilizada é a baseada em programas auto delimitantes e é devido, principalmente, a Leonid Levin (1974). | There are several variants of Kolmogorov complexity or algorithmic information the most widely used one is based on self delimiting programs and is mainly due to Leonid Levin (1974). |
| John Lucas e Roger Penrose sugeriram que a mente humana pode ser um resultado de uma computação não algorítmica quântica melhorada, apesar de não haver evidência científica para provar essa proposição. | ) John Lucas and Roger Penrose have suggested that the human mind might be the result of some kind of quantum mechanically enhanced, non algorithmic computation, although there is no scientific evidence for this proposal. |
| Informalmente, a partir do ponto de vista da teoria algorítmica da informação, o conteúdo de informação de uma cadeia é equivalente ao comprimento da representação autossuficiente o mais comprimida possível da cadeia. | Informally, from the point of view of algorithmic information theory, the information content of a string is equivalent to the length of the most compressed possible self contained representation of that string. |
| Uma abordagem axiomática da teoria algorítmica da informação com base nos axiomas de Blum (Blum 1967) foi introduzida por Mark Burgin em um trabalho apresentado para publicação por Andrey Kolmogorov (Burgin 1982). | An axiomatic approach to algorithmic information theory based on Blum axioms (Blum 1967) was introduced by Mark Burgin in a paper presented for publication by Andrey Kolmogorov (Burgin 1982). |
| ) Sequência específica A teoria algorítmica da informação (AIT) é a teoria da informação de objetos individuais, usando a ciência da computação, e se preocupa com a relação entre computação, informação e aleatoriedade. | ) Specific sequence Algorithmic information theory (AIT) is the information theory of individual objects, using computer science, and concerns itself with the relationship between computation, information, and randomness. |
| A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica. | In algorithmic information theory (a subfield of computer science and mathematics), the Kolmogorov complexity (also known as descriptive complexity, Kolmogorov Chaitin complexity, algorithmic entropy, or program size complexity) of an object, such as a piece of text, is a measure of the computability resources needed to specify the object. |
| Mais formalmente, a complexidade algorítmica (AC) de uma cadeia x é definido como o comprimento do programa mais curto que computa ou gera x, em que o programa é executado em uma referência fixa de computador universal. | More formally, the Algorithmic Complexity (AC) of a string x is defined as the length of the shortest program that computes or outputs x, where the program is run on some fixed reference universal computer. |
| Ao contrário da teoria da informação clássica, a teoria algorítmica da informação dá definições formais, rigorosas de uma cadeia aleatória e uma sequência infinita aleatória que não dependem de intuições físicas ou filosóficas sobre não determinismo ou verossimilhança. | Unlike classical information theory, algorithmic information theory gives formal, rigorous definitions of a random string and a random infinite sequence that do not depend on physical or philosophical intuitions about nondeterminism or likelihood. |
| E então vamos usar moléculas e remodelar essa coisa, refazer tudo da base até o topo, usando DNA de maneiras que a natureza jamais pretendeu, usando origami de DNA, e origami de DNA como semente dessa auto montagem algorítmica. | And so we are going to use molecules and refashion this thing, rebuild everything from the bottom up, using DNA in ways that nature never intended, using DNA origami, and DNA origami to seed this algorithmic self assembly. |
| A complexidade de Kolmogorov O ramo da complexidade de Kolmogorov e aleatoriedade algorítmica foi desenvolvido durante a década de 60 e 70 por Chaitin, Kolmogorov, Levin, Martin Löf e Solomonoff (os nomes são dados aqui em ordem alfabética muitas das pesquisas foram independentes, e a unidade do conceito de aleatoriedade não foi entendido no momento). | Kolmogorov complexity The field of Kolmogorov complexity and algorithmic randomness was developed during the 1960s and 1970s by Chaitin, Kolmogorov, Levin, Martin Löf and Solomonoff (the names are given here in alphabetical order much of the research was independent, and the unity of the concept of randomness was not understood at the time). |
