Tradução de "Navalha de Occam" para o idioma inglês:


  Dicionário Português-Inglês

Navalha - tradução :
Palavras-chave : Razor Switchblade Shiv Blade Sharp

  Exemplos (Fontes externas, não revisadas)

A Navalha de Occam A navalha de Occam é outra notável lapidadora na filosofia da ciência.
Philosophy of chemistry Philosophy of chemistry is the philosophical study of the methodology and content of the science of chemistry.
Occam 2.1 occam 2.1 foi o último da série de desenvolvimentos da linguagem Occam de contribuição da INMOS.
occam 2.1 occam 2.1 was the last of the series of occam language developments contributed by INMOS.
occam π occam π é o nome comum para a variante Occam implementada através de versões tardias de KRoC, um compilador Occan para Kent.
occam π occam π is the common name for the occam variant implemented by later versions of KRoC, the Kent Retargetable occam Compiler.
Com esta revisão, Occam tornou se uma linguagem capaz de expressar programas úteis, enquanto que Occam 1 foi mais adequada para análise de algoritmos e exploração da nova linguagem (embora deve se notar que o compilador Occam 1 foi escrito em Occam 1, para que haja uma prova de que se podia escrever programas úteis em Occam 1, apesar das suas limitações).
With this revision, occam became a language capable of expressing useful programs, whereas occam 1 was more suited to examining algorithms and exploring the new language (however, the occam 1 compiler was written in occam 1, so there is an existence proof that reasonably sized, useful programs could be written in occam 1, despite its limitations).
Remova o cabelo com uma navalha.
Remove the hair with a razor blade.
Ele está no fio da navalha desse problema.
He's at the sharp knife edge of this problem.
Occam é uma linguagem imperativa processual (como o Pascal).
occam is an imperative procedural language (such as Pascal).
A versão mais conhecida é Occam 2 O manual da linguagem de programação Occam 2 foi feito em conjunto por Steven Ericsson Zenith e outros em INMOS.
The most widely known version is occam 2 its programming manual was written by Steven Ericsson Zenith and others at INMOS.
Nicole d'Oresme, por sua vez, demonstrou que as razões propostas pela física Aristotélica contra o movimento do planeta Terra não eram válidas e invocou o argumento da simplicidade (da navalha de Occam) em favor da teoria de que é a Terra que se move, e não os corpos celestiais.
In his turn, Nicole Oresme showed that the reasons proposed by the physics of Aristotle against the movement of the earth were not valid and adduced the argument of simplicity for the theory that the earth moves, and not the heavens.
occam 2.1 introduziu vários novos recursos na linguagem Occam 2, incluindo Tipos de Dados nomeados (DATA TYPE x IS y) Registros Nomeados Packed Records Relaxação de algumas regras do tipo conversão Novos operadores (e.g.
occam 2.1 introduced several new features to occam 2, including Named data types (DATA TYPE x IS y) Named Records Packed Records Relaxation of some of the type conversion rules New operators (e.g.
A Operação Navalha Afiada terminou em sucesso, e apenas uma única equipe de reconhecimento sofreu fogo.
It is the smallest of the U.S. Armed Forces within the U.S. Department of Defense.
occam 2 occam 2 é uma extensão produzida pela INMOS Ltd, em 1987, que acrescenta suporte a ponto flutuante, funções, arrays multi dimensionais e mais tipos de dados, tais como inteiros de tamanhos variados (INT16, Int32) e bytes.
occam 2 occam 2 is an extension produced by INMOS Ltd in 1987 that adds floating point support, functions, multi dimensional arrays and more data types such as varying sizes of integers (INT16, INT32) and bytes.
Na verdade, levará um instante para provar... podiam ser falsas as lâminas são de fato afiadas como navalha.
Actually, we will take a second to prove this could be fake that the blades are indeed razor sharp.
Um exemplo famoso é a navalha de Ockham, que simplifica declarações vagas, cortando as em exemplos mais descritivos.
A famous example of this is Occam's razor which simplifies vague statements by cutting them into more descriptive examples.
Em 23 de dezembro de 1888, após a saída de Gauguin para uma caminhada, Van Gogh o segue e o surpreende com uma navalha aberta.
Van Gogh's first impression was that Gachet was ...sicker than I am, I think, or shall we say just as much.
Mas a Rota da Seda era uma rota comercial, ao passo que a viagem Asiática de Clinton foi dominada por diplomacia num fio de navalha.
But the Silk Road was a trade route, whereas knife edge diplomacy dominated Clinton s Asian tour.
A adição do símbolo π (pi) ao nome de Occan é uma alusãoao fato de que o KRoC occam inclui diversas idéias inspiradaspelo cálculo Pi.
The addition of the symbol π (pi) to the occam name is an allusion to the fact that KRoC occam includes several ideas inspired by the pi calculus.
Um Manual de Referência revisado descrevendo Occam 3 foi distribuído para a comunidade tecer comentários ref , mas a linguagem nunca foi plenamente implementada em um compilador.
A revised Reference Manual describing occam 3 was distributed for community comment, but the language was never fully implemented in a compiler.
Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam.
He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.
Ficou conhecido como Razor's Edge Ghia ( Ghia fio de navalha ) no Reino Unido, Der Große Karmann (o Karmann grande) na Alemanha e European Ghia (Ghia Europeu) nos Estados Unidos.
Due to model confusion with the Type 14 1500 introduced in 1967, the Type 34 was known variously as the Der Große Karmann ( the big Karmann ) in Germany, Razor Edge Ghia in the United Kingdom, or European Ghia (or Type 3 Ghia among enthusiasts) in the United States.
Algumas palavras são usadas sistematicamente na poesia deste autor cana, pedra, osso, esqueleto, dente, gume, navalha, faca, foice, lâmina, cortar, esfolado, baía, relógio, seco, mineral, deserto, asséptico, vazio, fome.
Some words that are often used in his poetry are sugar cane, stone, bone, skeleton, tooth edged, razor, knife, scythe, blade, cut, skinned, bay watch, dry, mineral, desert, aseptic, empty, hungry.
Definida em 1994, foi influenciada por uma proposta anterior para uma linguagem 'Occam 3 (também referenciada como occam91 durante os estágios iniciais de desenvolvimento) criada por Geoff Barrett na INMOS no início dos anos 90.
Defined in 1994, it was influenced by an earlier proposal for an occam 3 language (also referred to as occam91 during its early development) created by Geoff Barrett at INMOS in the early 1990s.
Cinema Dalí também participou da produção de filmes, mais notavelmente pela do filme Un chien andalou, um filme francês de 17 minutos co escrito com Luis Buñuel, que é amplamente lembrado por seus gráficos cena simulando a abertura de um globo ocular com uma navalha.
He is credited as co creator of Luis Buñuel's surrealist film Un Chien Andalou , a 17 minute French art film co written with Luis Buñuel that is widely remembered for its graphic opening scene simulating the slashing of a human eyeball with a razor.
26 de Fevereito de 2004 26 de Março de 2004 29 de Abril de 2004 28 de Maio de 2004 28 de Junho de 2004 28 de Julho de 2004 26 de Agosto de 2004 27 de Setembro de 2004 28 de Outubro de 2004 26 de Novembro de 2004 30 de Dezembro de 2004 28 de Janeiro de 2005
26 Feb 2004 26 Mar 2004 29 Apr 2004 28 May 2004 28 Jun 2004 28 Jul 2004 26 Aug 2004 27 Sep 2004 28 Oct 2004 26 Nov 2004 30 Dec 2004 28 Jan 2005
27 de Fevereiro de 2004 31 de Março de 2004 30 de Abril de 2004 31 de Maio de 2004 30 de Junho de 2004 30 de Julho de 2004 31 de Agosto de 2004 30 de Setembro de 2004 29 de Outubro de 2004 30 de Novembro de 2004 31 de Dezembro de 2004 31 de Janeiro de 2005
27 Feb 2004 31 Mar 2004 30 Apr 2004 31 May 2004 30 Jun 2004 30 Jul 2004 31 Aug 2004 30 Sep 2004 29 Oct 2004 30 Nov 2004 31 Dec 2004 31 Jan 2005
28 de Janeiro de 2005 25 de Fevereiro de 2005 25 de Março de 2005 29 de Abril de 2005 27 de Maio de 2005 24 de Junho de 2005 29 de Julho de 2005 26 de Agosto de 2005 30 de Setembro de 2005 28 de Outubro de 2005 25 de Novembro de 2005 30 de Dezembro de 2005
28 january 2005 25 february 2005 25 march 2005 29 april 2005 27 may 2005 24 june 2005 29 july 2005 26 august 2005 30 september 2005 28 october 2005 25 november 2005 30 december 2005 No No No Yes No No Yes No Yes No No Yes
28 de Março de 2003 25 de Abril de 2003 30 de Maio de 2003 27 de Junho de 2003 25 de Julho de 2003 29 de Agosto de 2003 26 de Setembro de 2003 31 de Outubro de 2003 28 de Novembro de 2003 26 de Dezembro de 2003
28 Mar 2003 25 Apr 2003 30 May 2003 27 Jun 2003 25 Jul 2003 29 Aug 2003 26 Sep 2003 31 Oct 2003 28 Nov 2003 26 Dec 2003 No No Yes No No Yes No Yes Yes No
9 de Março de 2004 6 de Abril de 2004 11 de Maio de 2004 8 de Junho de 2004 6 de Juho de 2004 10 de Agosto de 2004 7 de Setembro de 2004 11 de Outubro de 2004 8 de Novembro de 2004 7 de Dezembro de 2004
09 Mar 2004 06 Apr 2004 11 May 2004 08 Jun 2004 06 Jul 2004 10 Aug 2004 07 Sep 2004 11 Oct 2004 08 Nov 2004 07 Dec 2004
Exemplos clássicos são algoritmos de busca, de ordenação, de análise numérica, de teoria de grafos, de manipulação de cadeias de texto, de geometria computacional, de análise combinatória, de aprendizagem de máquina, de criptografia, de compressão de dados e de interpretação de texto.
Some example classes are search algorithms, sorting algorithms, merge algorithms, numerical algorithms, graph algorithms, string algorithms, computational geometric algorithms, combinatorial algorithms, medical algorithms, machine learning, cryptography, data compression algorithms and parsing techniques.
20 de Feveiro de 2004 22 de Março de 2004 23 de Abril de 2004 24 de Maio de 2004 22 de Junho de 2004 22 de Julho de 2004 20 de Agosto de 2004
20 Feb 2004 22 Mar 2004 23 Apr 2004 24 May 2004 22 Jun 2004 22 Jul 2004 20 Aug 2004
Divisão de Sala de Operações Divisão de Análise de Operações Divisão de Processamento de Operações Divisão de Sistemas de Gestão de Carteiras de Títulos Divisão de Gestão de Fundos Próprios
Division Front Office Division Operations Analysis Division Back Office Division Portfolio Management Systems Division Own Funds Management
CALENDÁRIO DE TRANSMISSÃO DE ESTATÍSTICAS DE BASE DE INCIDÊNCIA DE RESERVAS Período de referência de Janeiro de 2004 a Outubro de 2004 Reporte de estatísticas de base de incidência de reservas Data de transmissão ( 2 ) Data de referência ( 1 ) Dia Data
Covering the reference period January 2004 to October 2004 Reporting of reserve base statistics Transmission date ( 2 ) Reference date ( 1 ) Day Date
21 de Setembro de 2004 22 de Outubro de 2004 22 de Novembro de 2004 23 de Dezembro de 2004 24 de Janeiro de 2005
21 Sep 2004 22 Oct 2004 22 Nov 2004 23 Dec 2004 24 Jan 2005
30 de Junho de 2004 30 de Setembro de 2004 31 de Dezembro de 2004 31 de Março de 2005
30 Jun 2004 30 Sep 2004 31 Dec 2004 31 Mar 2005
31 de Março de 2004 31 de Maio de 2004 31 de Maço de 2005 31 de Maio de 2005
31 Mar 2004 31 May 2004 31 Mar 2005 31 May 2005
CALENDÁRIO DE TRANSMISSÃO DE ESTATÍSTICAS DE RUBRICAS DE BALANÇO Período de referência de Janeiro de 2003 a Dezembro de 2003 Reporte mensal e trimestral de estatísticas de rubricas de balanço
DELIVERY CALENDAR FOR BALANCE SHEET ITEMS STATISTICS Covering the reference period January 2003 December 2003 Reporting of monthly and quarterly balance sheet items statistics
CALENDÁRIO DE TRANSMISSÃO DE ESTATÍSTICAS DE TAXAS DE JURO DAS IFM Período de referência de Janeiro de 2003 a Dezembro de 2003 Reporte de estatísticas de taxas de juro das IFM
DELIVERY CALENDAR FOR MFI INTEREST RATE STATISTICS Covering the reference period January 2003 December 2003 Reporting of MFI interest rates statistics Transmission date ( 2 )
Carta de W. Duisenberg de 21 de Abril de 1999 e carta de J. Santer de 2 de Julho de 1999 após uma primeira resposta de 4 de Maio de 1999 .
Letter from Mr Duisenberg dated 21 April 1999 , and letter from Mr Santer dated 2 July 1999 following an initial reply dated 4 May 1999 .
1 de Junho de 1998 a 31 de Agosto de 1999 1 de Setembro de 1999 a 16 de Abril de 2004 desde 30 de Abril de 2004
1 June 1998 to 31 August 1999 1 September 1999 to 16 April 2004 since 30 April 2004
CALENDÁRIO DE TRANSMISSÃO DE ESTATÍSTICAS DE MACRO RÁCIO Período de referência de Janeiro de 2003 a Dezembro de 2003 Reporte de estatísticas de macro rácio
DELIVERY CALENDAR FOR MACRO RATIO STATISTICS Covering the reference period January 2003 December 2003 Reporting of macro ratio statistics
Maio de 1989 Junho de 1989 Julho de 1990 Dezembro de 1990 Fevereiro de 1992 Outubro de 1993 Novembro de 1993 Dezembro de 1993 Janeiro de 1994 Dezembro de 1995 Dezembro de 1996 Junho de 1997 Maio de 1998
May 1989 June 1989 July 1990 December 1990 February 1992 October 1993 November 1993 December 1993 January 1994 December 1995 December 1996 June 1997 May 1998
Divisões de Política de Sistemas de Pagamentos Política de Sistemas de Liquidação de Títulos TARGET
Divisions Payment Systems Policy Securities Settlement Systems Policy TARGET
Janeiro de 2005 Fevereiro de 2005 Março de 2005 Abril de 2005 Maio de 2005 Junho de 2005 Julho de 2005 Agosto de 2005 Setembro de 2005 Outubro de 2005 Novembro de 2005 Dezembro de 2005
January 2005 February 2005 March 2005 April 2005 May 2005 June 2005 July 2005 August 2005 September 2005 October 2005 November 2005 December 2005
Fabricação de produtos farmacêuticos de base Fabricação de produtos farmacêuticos de base Fabricação de preparações farmacêuticas Fabricação de preparações farmacêuticas Fabricação de artigos de borracha e de matérias plásticas Fabricação de artigos de borracha Fabricação de pneus e câmaras de ar reconstrução de pneus Fabricação de produtos de borracha , n.e.
Manufacture of basic pharmaceutical products Manufacture of basic pharmaceutical products Manufacture of pharmaceutical preparations Manufacture of pharmaceutical preparations Manufacture of rubber and plastic products Manufacture of rubber products Manufacture of rubber tyres and tubes
Divisões de Análise de Operações de Mercado Investimento Processamento de Operações Sala de Operações Sistemas de Operações de Mercado
Back Office Front Office Investment Market Operations Analysis Market Operations Systems Directorate General Market Operations Francesco Papadia Deputies Paul Mercier , Werner Studener

 

Pesquisas relacionadas : Navalha - Navalha - William De Occam - Navalha Fina - Peixes Navalha - Navalha-peixe - Navalha Shell - -backed Navalha - Navalha Aberta - Navalha Scooters - Navalha Maçante - Navalha De Ockham - Navalha De Barbear