Translation of "set of locks" to Portuguese language:


  Dictionary English-Portuguese

  Examples (External sources, not reviewed)

This drop is the largest of all the Mississippi River locks and dams.
O rio Arkansas se junta ao Mississippi no Estado de Arkansas.
This was achieved by a series of locks and dams, and by dredging.
Ele foi executado com uma série de barragens e represas, e pela dragagem.
Locking multiple variables using non atomic locks introduces the possibility of program deadlock.
Bloquear múltiplas variáveis usando bloqueios não atômicos introduz a possibilidade de deadlock .
Panama budgeted the expansion at US 5.25 billion, which included the third set of locks, as well as a number of ports and other interconnections required for the amplification of the new route.
O orçamento da obra é de US 5,25 bilhões, o que inclui um terceiro jogo de eclusas, bem como um conjunto de comportas e outras interligações necessárias para a ampliação da nova rota.
If someone then tries to reuse it, it locks and breaks afterwards.
Se alguém tentar reusar, ela trava e depois quebra.
'In my youth,' said the sage, as he shook his grey locks,
'Em minha juventude,' disse o sábio, conforme balançava seus tufos de cabelo cinzas,
The contract for building the third set of locks was granted through a bid by GUPC, a multinational comprised of Sacyr Vallehermoso of Spain, Impregilo of Italy, Jan De Nul of Belgium, and Constructora Urbana SA (CUSA) of Panama.
O contrato para a construção do terceiro jogo de eclusas foi concedido por licitação ao GUPC , um consórcio multinacional composto por Sacyr Vallehermoso da Espanha, Impregilo da Italy, Jan De Nul da Bélgica e a Constructora Urbana SA (CUSA) do Panamá.
A third, wider lane of locks is currently under construction and is due to open in 2016.
Uma terceira faixa de eclusas, mais larga, está em construção e deve ser inaugurada em 2015.
The St. Marys River, including the Soo Locks, connects Lake Superior to Lake Huron.
O rio Saint Mary's conecta o Lago Superior ao Lago Ontario.
And we saw over and over the way that spoken word poetry cracks open locks.
E víamos toda vez como a poesia falada entreabria fechaduras.
If that infrastructure locks in dependence on fossil fuels, it will be very difficult to reduce global emissions of greenhouse gases.
Se tais infra estruturas ficarem na dependência dos combustíveis fósseis, será muito difícil reduzir as emissões de gases com efeito de estufa a nível mundial.
It should be noted that these improvements were started before the new locks project, and are complementary to it.
Segundo o projeto o novo Canal do Panamá será inaugurado durante as festividades dos 100 anos do primeiro canal.
Only three of the six locks holding the stages together released and the third stage's engine ignited with the second stage still attached below it.
Apenas três de seis travas que prendiam os estágios se soltaram, e o terceiro estágio disparou com o segundo estágio ainda acoplado.
Navigation on the waterway Tietê Paraná In several dams, for instance the Barra Bonita, systems of locks were implemented to make navigation on the river possible.
Hidrovia Em diversas das barragens citadas (como por exemplo na de Barra Bonita) foram implementados sistemas de eclusas que viabilizaram a manutenção da navegação fluvial.
In other words, the power set of the empty set is the set containing the empty set and the power set of any other set is all the subsets of the set containing some specific element and all the subsets of the set not containing that specific element.
Teoria dos Conjuntos Na Teoria dos Conjuntos, em particular na sua formulação segundo os axiomas de Zermelo Fraenkel, existe um axioma cuja finalidade é garantir a existência do conjunto das partes o axioma da potência.
In 1948, the government started construction on a series of locked barrages and canal cuts, to improve navigation and generate electricity, with locks raising boats up to .
Em 1948, o governo iniciou a construção de uma série de barragens e cortes de canal, para melhorar a navegação e gerar eletricidade, com comportas para levantar embarcações de até 23 metros.
Both the Dnieper and Desna rivers are navigable at Kiev, although regulated by the reservoir shipping locks and limited by winter freeze over.
Tanto o rio Dnieper quanto o rio Desna são navegáveis em Kiev, apesar de regulados por eclusas e limitados pelo gelo no inverno.
Twenty three new locks and dams were built on the upper Mississippi in the 1930s in addition to the three already in existence.
Vinte e três novas represas e barragens foram construídas no alto Mississippi em 1930 em adição às que já existiam.
After the bikes had been returned to the Provos, they equipped them all with combination locks and painted the combinations on the bicycles.
Após as bicicletas serem devolvidas aos Provos, eles as equiparam todas com cadeados de combinação, e pintaram a combinação nas próprias bicicletas.
Some basic sets of central importance are the empty set (the unique set containing no elements), the set of natural numbers, and the set of real numbers.
Alguns conjuntos básicos de importância central são o conjunto vazio (o único conjunto que não contém elementos), o conjunto de números naturais, e o conjunto de números reais.
In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set.
O conjunto de todos os subconjuntos de um conjunto dado formula_1 é chamado de conjunto de partes (ou conjunto potência ) de formula_1, denotado por formula_3 ou formula_4.
The cofinality of a set of ordinals or any other well ordered set is the cofinality of the order type of that set.
A cofinalidade de um conjunto de ordinais ou qualquer outro conjunto bem ordenado é a cofinalidade do tipo de ordem daquele conjunto.
A procedure is a set of steps based on a set of rules.
Um procedimento é um conjunto de passos que devem ser tomados baseados em um conjunto de regras.
Set theoretic topology Set theoretic topology studies questions of general topology that are set theoretic in nature or that require advanced methods of set theory for their solution.
Topologia Topologia estuda questões de topologia geral que são de teoria dos conjuntos em sua natureza ou que requerem métodos avançados da teoria dos conjuntos para sua solução.
Other examples of intervals are the set of all real numbers formula_1, the set of all negative real numbers, and the empty set.
Os extremos podem ser números reais como podem ser formula_1 e formula_2 Existe divergências na literatura sobre se o conjunto vazio deveria ser ou não ser considerado um intervalo.
He simply (or absurdly) asks the director to make a film about his suffering. While all the time the camera man locks on his intense gaze.
Ele simplesmente (ou absurdamente) pede que o diretor faça um filme sobre o seu sofrimento, enquanto, durante todo o tempo, a câmera focaliza seu olhar intenso.
Friends and visitors before and after his death clipped locks of his hair, some of which have been preserved and subjected to additional analysis, as have skull fragments removed during the 1862 exhumation.
Amigos e visitantes, antes e após a sua morte haviam cortado cachos de seus cabelos, alguns dos quais foram preservadas e submetidos a análises adicionais, assim como fragmentos do crânio removido durante a exumação em 1862.
Full set of slides
Todos os slides
Handbook of Set Theory.
Handbook of Set Theory.
For example, if the universe is the set of integers, then the complement of the set of odd numbers is the set of even numbers.
Propriedades formula_6 formula_7 formula_8 formula_9 formula_10 formula_11 formula_12 formula_13
In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.
Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais.
Example The set of all men is a proper subset of the set of all people.
Como o conjunto vazio não possui elementos, isto não é possível.
Set difference of and , denoted , is the set of all members of that are not members of .
A diferença de conjuntos 1,2,3 2,3,4 é 1 , enquanto a diferença de conjuntos 2,3,4 1,2,3 é 4 .
That is, the Cartesian product of a set of n tuples with a set of m tuples yields a set of flattened ( n m ) tuples (whereas basic set theory would have prescribed a set of 2 tuples, each containing an n tuple and an m tuple).
Isto é, o produto Cartesiano do conjunto de n tuplas com um conjunto de m tuplas resulta um conjunto ( n m ) tuplas alisadas (onde na teoria básica de conjuntos teríamos prescrito um conjunto de 2 tuplas, cada contendo uma n tupla e outra m tupla).
The set of true reachable propositions is the smallest set of propositions satisfying these conditions.
O conjunto das proposições verdadeiras alcançáveis é o menor conjunto de proposições verdadeiras satisfazendo estas condições.
Axiomatic set theory was originally devised to rid set theory of such paradoxes.
Teoria axiomática dos conjuntos foi originalmente concebida para livrar a teoria dos conjuntos de tais paradoxos.
The room is set off by a set of restored Gobelins French tapestries.
Esse aposento é decorado com um conjunto de tapeçarias francesas Gobelins restauradas.
Downward closed sets of ordinals A set is downward closed if anything less than an element of the set is also in the set.
Conjuntos Fechados para baixo e Ordinais Um conjunto é fechado para baixo se qualquer coisa menor do que um elemento do conjunto também está no conjunto.
If a set of ordinals is downward closed, then that set is an ordinal the least ordinal not in the set.
Se um conjunto de ordinais é fechado para baixo, então aquele conjunto é um ordinal o menor ordinal que não está no conjunto.
An extraordinary set of telescopes.
Um grupo extraordinário de telescópios.
A History of Set Theory .
A History of Set Theory .
Healy reportedly took one look at Jerry, who had long chestnut red locks and a handlebar mustache, and remarked that he did not look like he was funny.
Healy deu uma olhada para Jerome, que tinha cabelos longos e um bigode, e achou que ele não era engraçado.
To decide means to succumb to the preponderance of one set of influences over another set.
Decidir significa render se à preponderância de um conjunto de influências sobre outro.
set acl set the ACL of file(s), replacing the current ACL set file file read ACL entries to set from file mask do recalculate the effective rights mask
set acl define os ACL dos ficheiros, substituindo a ACL existente set file file Ler as entradas de ACL a definir do ficheiro mask Recalcular a máscara de direitos efectiva
A countable set is either a finite set or a countably infinite set.
Um conjunto é dito incontável quando ele não é contável.