IOSiOS (initialement iPhone OS) est un système d'exploitation mobile créé et développé par la société américaine Apple exclusivement pour ses produits. Il gère de nombreux appareils tels que l'iPhone, l'iPod touch et fonctionnait sur les iPad jusqu'en 2019. Il s'agit du deuxième système d'exploitation mobile le plus installé au monde, après Android. Il constitue la base de quatre autres systèmes d'exploitation : iPadOS, tvOS, watchOS et macOS.
Loi des cosinusEn mathématiques, la loi des cosinus est un théorème de géométrie couramment utilisé en trigonométrie, qui relie dans un triangle la longueur d'un côté à celles des deux autres et au cosinus de l'angle formé par ces deux côtés. Cette loi s'exprime de façon analogue en géométrie plane, sphérique ou hyperbolique. Cette loi généralise le théorème de Pythagore. Les Éléments d'Euclide contenaient déjà une approche géométrique de la généralisation du théorème de Pythagore dans deux cas particuliers : ceux d'un triangle obtusangle et d'un triangle acutangle.
Autobus scolairevignette|Un autobus scolaire aux États-Unis Un autobus scolaire est un véhicule de transport local adapté au transport d'enfants aux États-Unis et au Canada, spécialement conçu et fabriqué pour le transport des enfants du domicile à l'école. Ils sont obligatoirement peints d’une couleur « orange » pour des raisons de visibilité et de sécurité. Les autobus scolaires de grandeur complète peuvent transporter de 59 à . Le plus important constructeur d'autobus scolaire nord-américain se trouve aujourd'hui à Saint-Jérôme au Québec.
Calculation in kindNOTOC Calculation in kind or calculation in-natura is a way of valuating resources and a system of accounting that uses disaggregated physical magnitudes as opposed to a common unit of calculation. As the basis for a socialist economy, it was proposed to replace money and financial calculation. In an in-kind economy products are produced for their use values (their utility) and accounted in physical terms. By contrast, in money-based economies, commodities are produced for their exchange value and accounted in monetary terms.
Pacific (locomotive)vignette|Disposition d'essieux "Pacific". La Pacific 231 est un type de locomotive à vapeur dont la disposition des essieux a la configuration suivante de l'avant vers l'arrière : 2 essieux porteurs, 3 essieux moteurs, 1 essieu porteur. L'appellation Pacific vient du fait que la première locomotive de ce type, livrée par le constructeur américain Baldwin en 1901 pour les New Zealand Railways, fut acheminée à travers l’océan Pacifique dont le nom (Pacific) restera attribué à ces locomotives.
Chromosome XLe chromosome X est l'un des deux chromosomes sexuels de l'être humain et de certains animaux (l'autre chromosome sexuel étant le chromosome Y). Il fait partie du système XY de détermination sexuelle. Nombre de paires de base : Nombre de gènes : 931 Nombre de gènes connus : 766 Nombre de pseudogènes : 380 Nombre de variations des nucléotides (polymorphismes nucléotidiques) : L'image ci-dessous illustre la richesse génétique du chromosome X à comparer avec le chromosome Y. La zone en vert localise le centre de l'inactivation de l'X.
Economic calculation problemThe economic calculation problem (sometimes abbreviated ECP) is a criticism of using economic planning as a substitute for market-based allocation of the factors of production. It was first proposed by Ludwig von Mises in his 1920 article "Economic Calculation in the Socialist Commonwealth" and later expanded upon by Friedrich Hayek. In his first article, Mises described the nature of the price system under capitalism and described how individual subjective values (while criticizing other theories of value) are translated into the objective information necessary for rational allocation of resources in society.
232 (locomotive)vignette|Disposition d'essieux "Baltic". thumb|300px|Une des premières Hudson du New York Central. Baltic est un type de locomotive à vapeur dont les essieux ont la configuration suivante (de l'avant vers l'arrière) : un bogie porteur à 2 essieux 3 essieux moteurs un bogie porteur à 2 essieux Hudson est un type de locomotive à vapeur dont les essieux ont la configuration suivante (de l'avant vers l'arrière) : un bogie porteur à 2 essieux 3 essieux moteurs un bissel porteur à 2 essieux.
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
Réduction (complexité)En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant une instance d'un problème algorithmique en une ou plusieurs instances d'un autre problème. S'il existe une telle réduction d'un problème A à un problème B, on dit que le problème A se réduit au problème B. Dans ce cas, le problème B est plus difficile que le problème A, puisque l'on peut résoudre le problème A en appliquant la réduction puis un algorithme pour le problème B. On écrit alors A ≤ B.
Réduction polynomialeUne réduction polynomiale est un outil d'informatique théorique, plus particulièrement de théorie de la complexité. C'est une classe particulière de réductions particulièrement importante, notamment pour le problème P = NP. Dans le cadre des langages formels pour les problèmes de décision, on dit qu'un langage est réductible en temps polynomial à un langage (noté ) s'il existe une fonction calculable en temps polynomial telle que pour tout , si et seulement si .
Ordre lexicographiqueEn mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné). Sa définition est une généralisation de l'ordre du dictionnaire : l'ensemble ordonné est l'alphabet, les mots sont bien des suites finies de lettres de l'alphabet. La principale propriété de l'ordre lexicographique est de conserver la totalité de l'ordre initial.
