Example.comexample.com, example.net et example.org (de l'anglais qui signifie « exemple ») sont des noms de domaines de second niveau que l'Internet Assigned Numbers Authority (IANA) se réserve afin que les rédacteurs de documentation puissent les utiliser à titre d'exemple, sans se soucier d'éventuels effets indésirables pour qui que ce soit, au cas où les utilisateurs les essaieraient tels quel. Ils sont donc souvent utilisés pour la documentation, ainsi que pour les tests de configuration.
Registraire de nom de domaineUn registraire de nom de domaine ou bureau d'enregistrement est une société ou une association gérant la réservation de noms de domaine Internet, dans les domaines de premier niveau où il n'y a pas de vente directe pour le registre de noms de domaine. Le registraire est en contact direct avec le client final. Il s'est inscrit auprès des divers registres de noms de domaine en fonction des extensions qu'il souhaite commercialiser (il paye pour cela une redevance annuelle).
Son (physique)vignette|upright=1|Propagation d'ondes sphériques de pression dans un fluide. Le son est une vibration mécanique d'un fluide, qui se propage sous forme dondes longitudinales grâce à la déformation élastique de ce fluide. Les êtres humains, comme beaucoup d'animaux, ressentent cette vibration grâce au sens de l'ouïe. L'acoustique est la science qui étudie les sons ; la psychoacoustique étudie la manière dont les organes du corps humain ressentent et l'être humain perçoit et interprète les sons.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
FréquenceEn physique, la fréquence est le nombre de fois qu'un phénomène périodique se reproduit par unité de temps. Dans le Système international d'unités, la fréquence s'exprime en hertz (Hz). La notion de fréquence s'applique aux phénomènes périodiques ou non. L'analyse spectrale transforme la description d'un phénomène en fonction du temps en description en fonction de la fréquence. Dans plusieurs domaines technologiques, on parle de fréquence spatiale. Dans cet usage, une dimension de l'espace prend la place du temps.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Audio frequencyAn audio frequency or audible frequency (AF) is a periodic vibration whose frequency is audible to the average human. The SI unit of frequency is the hertz (Hz). It is the property of sound that most determines pitch. The generally accepted standard hearing range for humans is 20 to 20,000 Hz. In air at atmospheric pressure, these represent sound waves with wavelengths of to . Frequencies below 20 Hz are generally felt rather than heard, assuming the amplitude of the vibration is great enough.
Sound Blasterthumb|Carte ISA Sound Blaster AWE64. Sound Blaster est une marque déposée de Creative Labs apparue en 1989. C'est une gamme de cartes son qui a été pendant de nombreuses années le standard de fait sur PC. Ces cartes son doivent actuellement lutter contre l'apparition de contrôleurs audio embarqués sur les cartes mères. Les drivers des cartes Creative sont peu ouverts : pas de support du dolby digital live concurrent de l'EAX, driver digne de leur DSP que pour les produits E-mu.
Design sonorevignette|Studio Sound Design Bell X-1 Paris France 2002 Le design sonore ou la conception sonore est l'art d'utiliser des éléments sonores afin d'obtenir un effet désiré. Il est employé dans une variété de disciplines comme le cinéma, le théâtre, l'enregistrement et le mixage de musique, la réalisation de livres audio, le concert, le développement de jeux vidéo ou la publicité. Le design sonore implique généralement la manipulation d'objets musicaux ou de corps sonores.
