Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Séquence consensusEn biologie moléculaire et en bioinformatique, une séquence consensus est la séquence nucléotidique ou la séquence peptidique la plus fréquente à chaque position d'un alignement de séquences. Elle représente le résultat d'alignements de séquences multiples dans lesquelles les séquences apparentées sont comparées les unes aux autres afin de déterminer les motifs les plus fréquents. Cette information est importante pour les protéines dépendantes des séquences nucléotidiques, telles que les ARN polymérases.
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.
History of algebraAlgebra can essentially be considered as doing computations similar to those of arithmetic but with non-numerical mathematical objects. However, until the 19th century, algebra consisted essentially of the theory of equations. For example, the fundamental theorem of algebra belongs to the theory of equations and is not, nowadays, considered as belonging to algebra (in fact, every proof must use the completeness of the real numbers, which is not an algebraic property).
Spectrum (physical sciences)In the physical sciences, the term spectrum was introduced first into optics by Isaac Newton in the 17th century, referring to the range of colors observed when white light was dispersed through a prism. Soon the term referred to a plot of light intensity or power as a function of frequency or wavelength, also known as a spectral density plot. Later it expanded to apply to other waves, such as sound waves and sea waves that could also be measured as a function of frequency (e.g., noise spectrum, sea wave spectrum).
SpectroscopieLa spectroscopie, ou spectrométrie, est l'étude expérimentale du spectre d'un phénomène physique, c'est-à-dire de sa décomposition sur une échelle d'énergie, ou toute autre grandeur se ramenant à une énergie (fréquence, longueur d'onde). Historiquement, ce terme s'appliquait à la décomposition, par exemple par un prisme, de la lumière visible émise (spectrométrie d'émission) ou absorbée (spectrométrie d'absorption) par l'objet à étudier.
MuPADMuPAD est un logiciel de calcul formel propriétaire développé initialement par un groupe de recherche de l'université de Paderborn. En 1997, la société SciFace Software GmbH & Co. KG a repris son développement en coopération avec le groupe de développeurs initial ainsi qu'avec des partenaires d'autres universités. En 2008, la société SciFace Software GmbH & Co a été acquise par The MathWorks, éditeur du logiciel MATLAB. MuPAD est depuis intégré comme composant de la boîte à outils Symbolic Math Toolbox de MATLAB.
Spectrométrie d'absorptionLa spectrométrie d'absorption est une méthode de spectroscopie électromagnétique utilisée pour déterminer la concentration et la structure d'une substance en mesurant l'intensité du rayonnement électromagnétique qu'elle absorbe à des longueurs d'onde différentes. La spectroscopie d'absorption peut être atomique ou moléculaire. Comme indiqué dans le tableau précédent, les rayonnements électromagnétiques exploités en spectroscopie d'absorption moléculaire vont de l'ultraviolet jusqu'aux ondes radio : La couleur d'un corps en transmission (transparence) représente sa capacité à absorber certaines longueurs d'onde.
Alignement de séquencesEn bio-informatique, l'alignement de séquences (ou alignement séquentiel) est une manière de représenter deux ou plusieurs séquences de macromolécules biologiques (ADN, ARN ou protéines) les unes sous les autres, de manière à en faire ressortir les régions homologues ou similaires. L'objectif de l'alignement est de disposer les composants (nucléotides ou acides aminés) pour identifier les zones de concordance. Ces alignements sont réalisés par des programmes informatiques dont l'objectif est de maximiser le nombre de coïncidences entre nucléotides ou acides aminés dans les différentes séquences.
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.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
