Générateur de rayons XUn générateur de rayons X est un appareil qui est utilisé pour produire des rayons X. Ces appareils sont utilisés dans les domaines de la radiologie humaine, dentaire et industrielle et possèdent des spécifications très variables en fonction de leur application. Un générateur de rayons X est constitué d'un générateur haute tension (entre et plusieurs MV dans les accélérateurs linéaires) qui alimente un tube à rayons X.
Voltage spikeIn electrical engineering, spikes are fast, short duration electrical transients in voltage (voltage spikes), current (current spikes), or transferred energy (energy spikes) in an electrical circuit. Fast, short duration electrical transients (overvoltages) in the electric potential of a circuit are typically caused by Lightning strikes Power outages Tripped circuit breakers Short circuits Power transitions in other large equipment on the same power line Malfunctions caused by the power company Electromagnetic pulses (EMP) with electromagnetic energy distributed typically up to the 100 kHz and 1 MHz frequency range.
Conditional independenceIn probability theory, conditional independence describes situations wherein an observation is irrelevant or redundant when evaluating the certainty of a hypothesis. Conditional independence is usually formulated in terms of conditional probability, as a special case where the probability of the hypothesis given the uninformative observation is equal to the probability without. If is the hypothesis, and and are observations, conditional independence can be stated as an equality: where is the probability of given both and .
Saison 2018 des Cardinals de Saint-LouisThe 2018 St. Louis Cardinals season was the 137th for the St. Louis Cardinals of Major League Baseball (MLB), a franchise in St. Louis, Missouri. It was the 127th season for the Cardinals in the National League (NL), and their 13th at Busch Stadium III. Forbes ranked the Cardinals as the seventh-highest valued team of the 30 teams in 2017 for its 1.9billionvaluation(+6319 million revenue, and $40 million operating income. The Cardinals also had baseball's second-highest local television rating, averaging 7. Voyage dans le tempsLe voyage dans le temps est un des grands thèmes de la science-fiction, au point d’être considéré comme un genre à part entière. L’idée d’aller revivre le passé ou de découvrir à l’avance le futur est un rêve humain causé par le fait que l’être humain avance dans le temps de manière permanente, mais irréversible (et, à l’état de veille, apparemment de façon linéaire). La première mention d’un voyage dans le temps serait le personnage de Merlin l’Enchanteur dans le cycle arthurien des chevaliers de la Table ronde, qui visitait les temps passés.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Parafoudrethumb|upright=.5|Parafoudre à varistance sur ligne de transmission . Selon le vocabulaire électrotechnique international, un parafoudre est un . On emploie aussi le terme parasurtenseur. La fonction du parafoudre est différente de celle d'un paratonnerre : alors qu'un paratonnerre a pour rôle de protéger une structure contre les coups directs de la foudre, le parafoudre (ou parasurtenseur) protège les installations électriques et de télécommunications contre les surtensions en général qui peuvent avoir pour origine la foudre ou la manœuvre d'appareils électriques (surtensions dites de manœuvre).
Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Temps solaireOn distingue le temps solaire moyen et le temps solaire vrai. Le temps solaire moyen est fondé sur un soleil fictif qui se déplacerait autour de l'équateur à vitesse constante tout au long de l'année. Cette vitesse moyenne est d'un tour en 24 heures. Le temps solaire vrai est une mesure du temps basée sur le déplacement apparent du Soleil au cours de la journée. Le temps solaire vrai en un lieu et à un moment donné est l'angle horaire du soleil en ce lieu et à ce moment.
Applications ouvertes et ferméesEn mathématiques, et plus précisément en topologie, une application ouverte est une application entre deux espaces topologiques envoyant les ouverts de l'un vers des ouverts de l'autre. De même, une application fermée envoie les fermés du premier espace vers des fermés du second. Soit deux espaces topologiques X et Y ; on dit qu'une application f de X vers Y est ouverte si pour tout ouvert U de X, l' f(U) est ouverte dans Y ; de même, on dit que f est fermée si pour tout fermé U de X, l'image f(U) est fermée dans Y.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Détermination du jour de la semaineLa détermination du jour de la semaine est un algorithme utilisé pour déterminer le jour de la semaine (lundi, mardi, mercredi, jeudi, vendredi, samedi, ou dimanche) connaissant la date, basé sur la notion mathématique de congruence. Il est aussi appelé congruence de Zeller, du mathématicien allemand Christian Zeller. L'année tropique moyenne (qui est désormais définie comme étant le temps nécessaire pour que la longitude écliptique du Soleil augmente de 360° – et non plus comme étant le temps séparant deux équinoxes de printemps successifs), donnée pour l'an 2000 par Pierre Bretagnon, astronome à l'Observatoire de Paris, compte , , et , soit .
