Enter the word for search
partition
UK
/pɑːˈtɪʃ.ən/
US
/pɑrˈtɪʃ.ən/
Library
and be partitioned into Hindu India and Muslim Pakistan +2
history
partition de l’Inde
Nom propre désignant la partition historique de l’Inde.
partitions or bookshelves an ultrasonic +1
architecture
cloison
paravent
Les cloisons sont données comme exemple d’objets qui peuvent bloquer le capteur.
We can compose, and we can partition. +1
mathematics
partitionner
Dans cette leçon, partitionner est le processus opposé à composer : un tout est divisé en unités plus petites.
When I say partitions, these are like walls of a box.
packaging
cloison
séparateur
Le locuteur précise que ces cloisons sont comme des murs à l’intérieur d’une boîte.
A ship's hull is divided into partitions known as bulkheads.
naval
cloison
Désigne les divisions internes de la coque qui contribuent à renforcer le navire et à limiter les inondations.
But later on, as the partition happened, it became Pakistan.
history
partition
Ici, le terme désigne la partition historique de l’Inde britannique, et non une cloison ni une division au sens général.
the web is partitioned into multiple languages
technology
diviser
Le Web est décrit comme divisé parce que son contenu est réparti entre différentes langues.
She participated in three partitions of Poland,
history
partition
Une partition est la division d’un pays ou d’un territoire entre des puissances politiques.
Independence also coincided with Partition,
history
partition de l’Inde
« Partition » est utilisé comme le nom de la division historique qui a créé l’Inde et le Pakistan en tant que nations distinctes.
has led to the partitioning of their lands.
politics
partition
Décrit la partition des terres cosaques entre de plus grandes puissances.
Call it the partition and compare it to every other book.
computing
pivot
Ici, la partition est le livre choisi autour duquel les autres livres sont répartis ; dans la terminologie du tri, elle fonctionne comme un pivot.
Each round of partitioning requires about 1,280 comparisons.
computing
partitionner
diviser en partitions
Le partitionnement est le processus qui consiste à diviser les données en parties plus petites, une étape clé de QuickSort.