Plongée en scaphandre autonomeLa plongée en scaphandre autonome, parfois familièrement appelée plongée bouteille ou plongée en bouteille, est un mode de plongée sous-marine se distinguant par l'utilisation d'un scaphandre autonome permettant au plongeur d'évoluer sous l'eau de manière autonome grâce à une réserve de gaz respirable stocké généralement dans une ou des bouteilles de plongée. À l'instar de la plongée libre, elle est largement pratiquée en tant que plongée loisir.
Plongée loisirthumb|Plongeurs en scaphandre autonome au large de l'Ile d'Elbe en Italie. La plongée loisir est un type de plongée sous-marine pratiqué dans le but de l'exploration, de la chasse sous-marine et d'autres activités de loisir. Il s'agit d'un terme généralement utilisé en opposition à celui de « plongée professionnelle », à vocation économique mais également à celui de « plongée technique », un autre type de plongée pratiquée sous forme de loisir mais qui demande davantage d'entraînement, d'expérience et d'équipement.
Diver rescueDiver rescue, following an accident, is the process of avoiding or limiting further exposure to diving hazards and bringing a diver to a place of safety. A safe place is often a place where the diver cannot drown, such as a boat or dry land, where first aid can be administered and from which professional medical treatment can be sought. In the context of surface supplied diving, the place of safety for a diver with a decompression obligation is often the diving bell.
Plongée sous-marinevignette|La plongée bouteille est une autre forme de plongée loisir. Ici un plongeur en scaphandre autonome explore la Grande barrière de corail. La plongée sous-marine est une activité consistant à rester sous l'eau, soit en apnée dans le cas de la plongée libre, soit en respirant à l'aide d'un narguilé (tuyau apportant de l'air depuis la surface) ou le plus souvent en s'équipant d'une bouteille de plongée dans le cas de la plongée en scaphandre autonome.
Diving safetyDiving safety is the aspect of underwater diving operations and activities concerned with the safety of the participants. The safety of underwater diving depends on four factors: the environment, the equipment, behaviour of the individual diver and performance of the dive team. The underwater environment can impose severe physical and psychological stress on a diver, and is mostly beyond the diver's control. Equipment is used to operate underwater for anything beyond very short periods, and the reliable function of some of the equipment is critical to even short-term survival.
Recherche locale (optimisation)En algorithmique, la recherche locale est une méthode générale utilisée pour résoudre des problèmes d'optimisation, c'est-à-dire des problèmes où l'on cherche la meilleure solution dans un ensemble de solutions candidates. La recherche locale consiste à passer d'une solution à une autre solution proche dans l'espace des solutions candidates (l'espace de recherche) jusqu'à ce qu'une solution considérée comme optimale soit trouvée, ou que le temps imparti soit dépassé.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Canonical normal formIn Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF) or minterm canonical form, and its dual, the canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums because they are the logical OR of a set of variables.
MétaheuristiqueUne métaheuristique est un algorithme d’optimisation visant à résoudre des problèmes d’optimisation difficile (souvent issus des domaines de la recherche opérationnelle, de l'ingénierie ou de l'intelligence artificielle) pour lesquels on ne connaît pas de méthode classique plus efficace. Les métaheuristiques sont généralement des algorithmes stochastiques itératifs, qui progressent vers un optimum global (c'est-à-dire l'extremum global d'une fonction), par échantillonnage d’une fonction objectif.
Ordonnancement dans les systèmes d'exploitationDans les systèmes d'exploitation, l’ordonnanceur est le composant du noyau du système d'exploitation choisissant l'ordre d'exécution des processus sur les processeurs d'un ordinateur. En anglais, l'ordonnanceur est appelé scheduler. Un processus a besoin de la ressource processeur pour exécuter des calculs; il l'abandonne quand se produit une interruption, etc. De nombreux anciens processeurs ne peuvent effectuer qu'un traitement à la fois.
Droits des ÉtatsDans la politique aux États-Unis, le terme « droits des États » (states' rights) fait référence à la souveraineté individuelle des gouvernements des États américains vis-à-vis de l'État fédéral. La répartition des pouvoirs est déterminée par la Constitution, reflétant notamment les pouvoirs énumérés du Congrès et le Dixième amendement. La question des droits des États fut l'un des principaux arguments négationnistes du mouvement néo-confédéré, qui a cherché à légitimer a posteriori la « Cause perdue » de la Confédération, en niant le fait que l'esclavage fut la cause principale de la guerre de Sécession.
Blake canonical formIn Boolean logic, a formula for a Boolean function f is in Blake canonical form (BCF), also called the complete sum of prime implicants, the complete sum, or the disjunctive prime form, when it is a disjunction of all the prime implicants of f. The Blake canonical form is a special case of disjunctive normal form. The Blake canonical form is not necessarily minimal (upper diagram), however all the terms of a minimal sum are contained in the Blake canonical form.
Network schedulerA network scheduler, also called packet scheduler, queueing discipline (qdisc) or queueing algorithm, is an arbiter on a node in a packet switching communication network. It manages the sequence of network packets in the transmit and receive queues of the protocol stack and network interface controller. There are several network schedulers available for the different operating systems, that implement many of the existing network scheduling algorithms. The network scheduler logic decides which network packet to forward next.
Déclaration des droits (États-Unis)La Déclaration des droits (United States Bill of Rights) est l'ensemble constitué des dix premiers amendements à la Constitution américaine. Elle limite les pouvoirs du gouvernement fédéral et garantit les libertés de presse, de parole, de religion, de réunion, le droit de porter des armes, et le droit de propriété. Adoptée par la Chambre des représentants le et le Congrès le suivant, elle est ratifiée progressivement par les États fédérés, et prend effet le , date de la ratification par la Virginie.
