Os experimentos de Aspect foram considerados uma prova incontestável para suportar a teste que desigualdades de Bell foram violadas.	Aspect's experiments were considered to provide overwhelming support to the thesis that Bell's inequalities are violated in its CHSH version.
Essa técnica é aplicável a todas as fases de teste teste unitário, teste de integração, teste de sistema e teste de aceitação.	This method of test can be applied to all levels of software testing unit, integration, system and acceptance.
Intervalo de tempo inválido	Invalid Timerange
Intervalo de verificação minutos	Check interval minutes
A especificação de teste é chamada plano de teste.	(i.e., does it implement the requirements).
Uma coleção de casos de teste é chamada de suite de teste.	Test suite The most common term for a collection of test cases is a test suite.
Execução de teste	Dry run
Acção de teste	Sample action
Teste de sistema	System Testing
Procedimento de teste	Test procedure
Teste de dispositivos	Testing of devices
Vocês todos sabem o teste de inteligência artificial o teste de Turing.	You all know the test for artificial intelligence the Turing test.
Intervalo de gravação de ficheiros em minutos	Save files interval in minutes
Intervalo de gravação de sessão em minutos	Save session interval in minutes
T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )).	T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )).
Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))).	In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))).
A biatleta russa Olga Pyleva conquistou a medalha de prata na prova de 15 km, porém o teste anti dopagem deu positivo para substância carphedon e ela perdeu a medalha.	Russian biathlete Olga Pyleva won a silver medal in the 15 km race, but tested positive for carphedon and lost her medal.
Agora proponho um teste para as vozes de computador o teste de Ebert.	I now propose a test for computer voices the Ebert test.
Portanto, uma prova de que formula_13 também prova que formula_4 é verdade.	Therefore, a proof that formula_13 also proves that formula_4 is true.
Opções de Sistema de Teste	Scratchbox Options
Operações de ficheiros de teste	Sample file operations
Sistema de teste de insanidade	Insanity testing system
Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal.	A formal proof is a complete rendition of a mathematical proof within a formal system.
Teste de HIV obrigatório???	Compulsory HIV test???
Somos animais de teste.	We are test animals.
Planejamento Nesta fase é elaborada a Estratégia de Teste e o Plano de Teste.	Test planning Test strategy, test plan, testbed creation.
Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )).	In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )).
Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )).	Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )).
Intervalo de piscar do cursor em milisegundos	Caret blink period in milli seconds
Intervalo de piscar, em milisegundos, do cursor	Caret blink period in ms
Média simples do intervalo de valores publicado	end of month Simple average of the published range of values
Nesse intervalo não ocorre duplicação de DNA.	No DNA replication occurs during this stage.
Amanhã tem prova de matemática.	There's a math test tomorrow.
T prova que se T prova que ( P Q ) e T prova P então T prova Q .	T proves that if T proves that ( P Q ) and T proves P then T proves Q .
Isso representa um intervalo de tempo de oito anos.	This represents an eight year time span.
E nós queremos um intervalo de confiança de 95 .	And we want a 95 confidence interval.
Em relação ao IHPC , o intervalo projectado para 2005 situa se dentro do intervalo avançado nas projecções de Março de 2005 .	With regard to the HICP , the range projected for 2005 is within the range of the March 2005 projections .
Consola de teste do Anjuta	Anjuta test shell
OpenCASCADE DRAWEXE equipamento de teste	OpenCASCADE DRAWEXE test harness
Utilitário de teste Qt V4L2	Qt V4L2 test Utility
Lembrem do teste de Rorschach.	Remember the Rorschach test.
Teste da detecção de contrafacções	Counterfeit test
Amanhã haverá teste de matemática.	There will be a math test tomorrow.
Teste de dispositivos de autenticação de notas	Testing of banknote authentication devices
identificarem correctamente as notas de euro genuínas contidas num conjunto de documentos de teste ( teste do reconhecimento de notas ) .	correctly identify genuine euro banknotes contained in a test deck of genuine banknotes ( recognition test ) .

Pesquisas relacionadas : Intervalo De Teste - Teste De Prova - Teste De Prova - Teste De Vazamento Prova - Intervalo De Teste De Diagnóstico - Procedimento De Teste De Prova - Teste De Carga De Prova - Teste E Prova - Teste De Pressão à Prova - Intervalo De - Teste à Prova D'água - Prova De - Prova De - De Prova

Exibir esta página em português