Order theoryOrder theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.
Fiber product of schemesIn mathematics, specifically in algebraic geometry, the fiber product of schemes is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an algebraic variety over one field determines a variety over a bigger field, or the pullback of a family of varieties, or a fiber of a family of varieties. Base change is a closely related notion. The of schemes is a broad setting for algebraic geometry.
Procédure pénaleLa procédure pénale est l'intervention des autorités étatiques depuis le début de la plainte d'une victime, la dénonciation ou la constatation d'une infraction jusqu'à la décision judiciaire définitive. Elle fixe le cadre juridique dans lequel l'enquête, la poursuite et le jugement visant une personne soupçonnée peuvent s'engager. Elle conditionne l'exercice des pouvoirs accordés à la justice répressive. De ce point de vue, c'est une conquête contre l'arbitraire.
Procédure civileLa procédure civile est l'ensemble des règles relatives à l'organisation d'une action en justice devant une juridiction civile. Elle s'entend aussi de toutes les démarches à entreprendre pour saisir une juridiction civile. La procédure civile est en général régie par un . Il existe différents principes procéduraux s'opposant : Maxime des débats : chaque partie est obligée de prouver les faits qu'elle avance et les parties maîtrisent l'objet du litige ; Maxime inquisitoire : les faits et les preuves sont établis par le juge, qui a ainsi une certaine maîtrise sur la définition du litige.
Pulse tube refrigeratorThe pulse tube refrigerator (PTR) or pulse tube cryocooler is a developing technology that emerged largely in the early 1980s with a series of other innovations in the broader field of thermoacoustics. In contrast with other cryocoolers (e.g. Stirling cryocooler and GM-refrigerators), this cryocooler can be made without moving parts in the low temperature part of the device, making the cooler suitable for a wide variety of applications.
CryocoolerA refrigerator designed to reach cryogenic temperatures (below ) is often called a cryocooler. The term is most often used for smaller systems, typically table-top size, with input powers less than about 20 kW. Some can have input powers as low as 2–3 W. Large systems, such as those used for cooling the superconducting magnets in particle accelerators are more often called cryogenic refrigerators. Their input powers can be as high as 1 MW.
Réfrigérateur à dilution250px|vignette|Diagramme de phase de la solution 3He–4He liquide, montrant la séparation des phases à basses températures. 250px|vignette|Schéma d’un réfrigérateur à dilution standard, ou « mouillé » : utilisant des fluides cryogéniques annexes. 250px|vignette|L’intérieur d’un réfrigérateur à dilution à hélium, sans les parois isolantes à vide. 250px|vignette|Schéma d’un réfrigérateur à dilution sans fluides cryogéniques, dit « sec » ; pré-refroidit par un à deux étages, indiqué par le rectangle en pointillés.
