SATIS in Portuguese translation

• satis
• satisfaz
• statis

Examples of using Satis in English and their translations into Portuguese

The present work proposes a simpli¿ed version of the qt framework, which is integrated into a checker based on satis¿ability modulo theories(smt), name as the ef¿cient smt-based bounded model checker(esbmc++),
Este trabalho propõe uma versão simpli¿cada do framework qt que integrado a um veri¿cador baseado nas teorias do módulo da satisfatibilidade,

It uses new technology SATIS®.
Ele usa a nova tecnologia SATIS®.

Among the items of the SATIS- BR scale,
Entre os itens avaliados da escala SATIS- BR,

The analysis of the means of the total sample on the SATIS- BR indicated that,
A análise das médias da amostra total na escala SATIS- BR indicou

And if I wasn't? Master of Satis House?
E se eu não for mestre da casa Satis?

In the Annex"quantum satis" means that no maximum level is specified.
No anexo, a expressão«quantum satis» significa que não é especificada qualquer quantidade máxima.

A quantitative limitation is expressed either numerically or by the"quantum satis" principle.
As limitações quantitativas são expressas numericamente ou pelo princípio quantum satis.

We can be quite satis fled with the policy against acidification pursued hitherto.
Até ao momento, podemos dar-nos por bastante satisfeitos com a política contra a acidificação.

In the Annexes to this Directive,'quantum satis' means that no maximum level is specified.
Nos anexos à presente directiva, quantum satis significa que não é especificado qualquer teor máximo.

In the Annexes to this Directive'quantum satis' means that no maximum level is specified.
Nos anexos da presente directiva,«quantum satis» significa que não se especifica a quantidade máxima.

The amended pro posal defines in detail the concept of'satis factory conservation status.
A proposta alterada define, em particular, a noção de«estado de conservação satisfatório».

Its use in food corresponds to"quantum satis", ie,
A sua utilização nos alimentos corresponde ao"quantum satis", ou seja,

The principle of''quantum satis"(additives should be used at a level not higher than is necessary);
Princípio de"Quantum Satis"(os teores dos aditivos não devem exceder os níveis necessários);

This is a consistency condition that must be always satis ed, since the dirac branes are unphysical artifacts.
Esta e uma condi c~ao de consist^encia que deve ser sempre satisfeita, uma vez que branas de dirac s~ao artif cios n~ao-f.

has continued to operate satis factorily despite a substantial drop in world prices in 1986/87.
tem continuado a dar resultados satis fatórios apesar de uma quebra substan cial dos preços mundiais em 1986/1987.

Austria has achieved over a long period very satis factory results in relation to price
A Áustria alcançou, ao longo de um vasto período, resultados muito satisfatórios em matéria de estabilidade dos preços

The European Union is following with great satis faction the evolution of Latin America into a region of peace,
A União Europeia acompanha com grande satisfação a transformação da América Latina numa região de paz,

we would be together again, brother and sister in Satis House.
irmã juntos outra vez na casa Satis.

The signals received by multiple antennas form a fourth-order tensor that satis es a new tensor model,
Os sinais recebidos por m ultiplas antenas formam um tensor de quarta ordem que satisfaz um novo modelo tensorial,

it can ask the Commission to change it until Parliament is satis ed that this is a good law.
acordo com uma proposta, pode pedir à Comissão que a altere até o Parlamento se dar por satisfeito com a qualidade da lei.