Tradução de "inductive hardening" para a língua portuguesa:


  Dicionário Inglês-Português

Hardening - translation :

  Exemplos (Fontes externas, não revisadas)

Hardening Brazil s Soft Power
Robustecendo o poder brando do Brasil
The Continuum of Inductive Methods .
The Continuum of Inductive Methods .
This produces a harder material by either surface hardening or through hardening varying on the rate at which the material is cooled.
Isso produz um material mais duro, seja pelo endurecimento superficial ou profundo, variando conforme a taxa de resfriamento.
Studies in inductive logic and probability, Vol.
Studies in inductive logic and probability, Vol.
There's subclinical atherosclerosis, subclinical hardening of the arteries, obviously linked to heart attacks, potentially.
Há arterioescleroses sub clínicas, endurecimento das artérias sub clínicas, obviamente ligadas potencialmente a ataques cardíacos.
Inductive inference This is the recursion theoretic branch of learning theory.
Referência indutiva Esse é o ramo na teórico recursivo da teoria da aprendizagem.
W. Stanley Jevons 1880 Elementary Lessons in Logic Deductive and Inductive.
W. Stanley Jevons 1880 Elemetnary Lessons in Logic Deductive and Inductive.
William Whewell, in his influential History of the Inductive Sciences of 1837, found Kepler to be the archetype of the inductive scientific genius in his Philosophy of the Inductive Sciences of 1840, Whewell held Kepler up as the embodiment of the most advanced forms of scientific method.
William Whewell no seu livro History of the Inductive Sciences (1837), notou Kepler como o arquétipo do gênio científico indutivo em Philosophy of the Inductive Sciences (1840), Whewell considerou Kepler como a personificação das mais avançadas formas de método científico.
These compounds improve the grain refining, retardation of recrystallization, and precipitation hardening of the steel.
Estes compostos melhoram o refinamento do grão, retardam a recristalização e o endurecimento por precipitação do aço.
Despite its name, mathematical induction is not a form of inductive reasoning.
Apesar do nome, a indução matemática é uma forma de raciocínio dedutivo e é totalmente rigorosa.
Electrical circuits in plasmas store inductive (magnetic) energy, and should the circuit be disrupted, for example, by a plasma instability, the inductive energy will be released as plasma heating and acceleration.
Os circuitos elétricos nos plasmas armazenam energia indutiva (magnética) e, no caso de rompimento do circuito, por exemplo por uma instabilidade do plasma, a energia indutiva é liberada como aquecimento e aceleração do plasma.
Logic is often divided into three parts inductive reasoning, abductive reasoning, and deductive reasoning.
A lógica é frequentemente dividida em três partes o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.
) and, logos (the use of reasoning, either inductive or deductive, to construct an argument).
Elocutio (Elocução, correspondente grego da lexis), é a composição linguística do discurso, é a textualização.
Last December s attacks on the presidential palace and FJP offices, including their headquarters in Cairo, intensified this hardening.
Os ataques que ocorreram no passado mês de Dezembro no palácio presidencial e nas instalações do PLJ, incluindo a sua sede no Cairo, intensificaram este endurecimento.
In particular, the rise of emerging markets has challenged traditional Western deductive and inductive logic.
Em particular, a ascensão dos mercados emergentes tem desafiado a tradicional lógica dedutiva e indutiva ocidental.
By inductive reasoning, if we know the cause and effects, we can infer the principles.
Através do raciocínio indutivo, se conhecermos as causas e os efeitos, podemos inferir os princípios.
Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No.
Solomonoff, R.J. (1964) A Formal Theory of Inductive Inference, Information and Control, v. 7, No.
Inductive types A system of type theory requires some basic terms and types to operate on.
Note que teoria dos tipos, como descrita daqui para frente, se refere a disciplinas de tipagem estática.
Inductive categorical inference Popper held that science could not be grounded on such an inferential basis.
Popper defendeu que a ciência não poderia ser baseada em tal inferência.
About 200 years before, Francis Bacon and then, later, Isaac Newton, had proposed an inductive scientific method.
Aproximadamente 200 anos antes, Francis Bacon e, mais tarde, Isaac Newton, tinham proposto o método científico indutivo.
Mark Burgin argues that super recursive algorithms such as inductive Turing machines disprove the Church Turing thesis.
Mark Burgin argumenta que algoritmos super recursivos como máquinas de Turing indutivas refutam a tese de Church Turing.
The participant shall establish appropriate measures , including in particular antivirus and malware protection , anti phishing measures , hardening , and patch management procedures .
O participante deve instalar e activar medidas apropriadas , em especial de protecção antivírus e contra malware ( códigos mal intencionados ) e phishing ( tentativa de fraude ) , para além do hardening ( blindagem do sistema ) e da gestão de patches ( remendos ) .
Plants Many plants undergo a process called hardening which allows them to survive temperatures below 0 C for weeks to months.
Plantas Várias plantas usam um processo chamado hardening que lhes permite sobreviver a temperaturas abaixo de 0 C durante semanas ou meses.
The participant shall establish appropriate measures , including in particular anti virus and malware protection , anti phishing measures , hardening , and patch management procedures .
O parti cipante deve instalar e activar medidas apropriadas , em especial de protecção antivírus e contra malware ( códigos mal intencionados ) e phishing ( tentativa de fraude ) , para além do hardening ( blindagem do sistema ) e da gestão de patches ( remendos ) .
This is the procedure of thought from the parts to the whole or else from the apparent to non apparent (inductive reasoning).
No renascimento muitas de suas ideias foram aceitas (por exemplo, Giordano Bruno), e tiveram um papel importante durante o iluminismo.
As a result of China s hardening stance, Surin Pitsuwan, ASEAN s outgoing secretary general has said that Asia is entering its most contentious period in recent years.
Como resultado da atitude dura da China, Surin Pitsuwan, o secretário geral cessante da ASEAN, disse que a Ásia está a entrar no seu período mais polémico dos últimos anos.
So, in soap, fatty acids made from boiling pork bone fat are used as a hardening agent, but also for giving it a pearl like effect.
Então, no sabonete, ácidos graxos presentes na banha do porco são usados como agente de cura, e também para dar efeito perolado.
Sir Francis Bacon was critical in the historical development of the scientific method his works established and popularized an inductive methodology for scientific inquiry.
Sir Francis Bacon, crítico do desenvolvimento histórico do método científico, escreveu obras que estabeleceram e popularizaram uma metodologia indutiva para a pesquisa científica.
The brain is thus an inductive machine that predicts the future based on finding similarities, at many different levels, between the present and the past.
O cérebro é, portanto, uma máquina indutiva que prediz o futuro tendo como base o acto de encontrar semelhanças, a vários níveis, entre o presente e o passado.
While the conclusion of a deductive argument is certain, the truth of the conclusion of an inductive argument is probable , based upon the evidence given.
Na lógica, um raciocínio indutivo é um tipo de raciocínio ou argumento que partindo de premissas particulares obtém uma conclusão universal.
Academic study As an academic field, history of science began with the publication of William Whewell's History of the Inductive Sciences (first published in 1837).
Estudo acadêmico Como um campo científico, a história da ciência começou com a publicação de History of the Inductive Sciences de William Whewell (publicado em 1837).
They wrote books and articles promoting inductive method in all the sciences that were widely read by natural philosophers, university students and members of the public.
Escreveram livros e artigos promovendo o método indutivo em todas as ciências que eram extensamenete lidos por filósofos naturais, estudantes universitários e pessoas em geral.
The axiom of induction asserts that the validity of inferring that P ( n ) holds for any natural number n from the basis and the inductive step.
Provando que o passo da indução está correto, concluímos que P(n) é verdadeiro para qualquer número n natural.
His argument relies on a definition of algorithm broader than the ordinary one, so that non computable functions obtained from some inductive Turing machines are called computable.
Seu argumento está numa definição mais ampla de algoritmo do que a usual e que funções não computáveis obtidas de algumas máquinas de turing indutivas são chamadas computáveis.
He first described his results at a Conference at Caltech in 1960, and in a report, February 1960, A Preliminary Report on a General Theory of Inductive Inference.
Ele descreveu pela primeira vez os seus resultados em uma conferência em Caltech em 1960, e em um relatório, em fevereiro de 1960, Relatório Preliminar sobre a Teoria Geral da Inferência Indutiva .
The second step, known as the inductive step, is to prove that the given statement for any one natural number implies the given statement for the next natural number.
Verificar que certa afirmação vale para um grande número de casos particulares (como se faz nas ciências naturais) não permitirá concluir que esta afirmação é válida.
Aristotle's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic, and inductive logic, as well as influential terms such as terms, predicables, syllogisms and propositions.
O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva.
While the earth was hardening, the action of heat upon its moisture gave birth to animals, which at first were nourished by the mud from which they sprang, and gradually acquired the power of propagating their species.
Enquanto a terra endurecia, a acção do calor sobre a sua humidade deu origem aos animais, que ao princípio eram alimentados pela lama da qual surgiram, e que gradualmente adquiriram o poder de propagar as suas espécies.
He contented himself with the bare remark that the inductive demonstration of the nature and mode of operation of the laws governing life would henceforth be the great aim of the philosophical naturalist.
Ele se contentou com a mera observação de que a demonstração indutiva da natureza e o modo de operação das leis que governam a vida seria daqui por diante o grande objetivo do naturalista filosófico.
PRINCETON As Egypt trembles on the brink of civil war, with alarming levels of violence and hardening divisions on all sides, it is hard to find a truly bright spot anywhere in the Middle East or North Africa.
PRINCETON À medida que o Egipto treme à beira da guerra civil, com níveis alarmantes de violência e divisões endurecidas por todos os lados, é difícil encontrar um local verdadeiramente prometedor em qualquer lugar do Médio Oriente ou do Norte de África.
It was here that he passed the greater part of his childhood, hardening his body by exercise, overseeing and sharing the operations of the farm, learning the way in which business was conducted, and studying the rules of rural economy.
Lá Catão passou a maior parte da sua juventude, supervisionando e dirigindo as operações agrícolas das suas propriedades, aprendendo como devia dirigir os seus negócios e estudando as regras da agricultura.
Snubber circuits When used with inductive loads such as electric fans, care must be taken to assure that the TRIAC will turn off correctly at the end of each half cycle of the AC power.
Contudo, quando usado com cargas indutivas, como motores elétricos, é necessário que se assegure que o TRIAC seja desligado corretamente, no final de cada semi ciclo de alimentação elétrica.
Because of this, use of TRIACs with (for example) heavily inductive motor loads usually requires the use of a snubber circuit around the TRIAC to assure that it will turn off with each half cycle of mains power.
Because of this, use of triacs with (for example) heavily inductive motor loads usually requires the use of a snubber circuit around the triac to assure that it will turn off with each half cycle of mains power.
522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass.
522 526 Li, M., and Vitanyi, P. An Introduction to Kolmogorov Complexity and its Applications , Springer Verlag, New York, 1997 Solomonoff, R.J. (1960) A Preliminary Report on a General Theory of Inductive Inference , Technical Report ZTB 138, Zator Company, Cambridge, Mass.
In a third, the dominant effect is the induction from the sp2 hybridised carbons the comparatively more powerful inductive withdrawal of electron density that is provided by the sp2 system compared to an sp3 system allows for great stabilization of the oxyanion.
Numa terceira, o efeito dminante é a indução da carbonos hibridizados sp² a retirada comparativamente mais poderosa da densidade de elétrons é provida pelo sistema sp² comparado a um sistema sp³ permite a grande estabilização do oxiânion.

 

Related searches : Inductive - Inductive Coupling - Inductive Load - Inductive Approach - Inductive Charging - Inductive Reasoning - Inductive Heating - Inductive Detector - Inductive Charge - Inductive Heater - Inductive Transducer - Inductive Device - Inductive Components