Raisonnement révisableLe raisonnement révisable est un type de raisonnement qui est basé sur des raisons qui sont révisables, elle est opposé à la raison irévisable de la logique déductive. Le raisonnement révisable est un type particulier de raisonnement non-démonstratif, où le raisonnement ne produit pas une démonstration complète, ou finale d'une déclaration, c'est-à-dire, où la faillibilité et la corrigibilité de conclusion sont reconnus. En d'autres mots, le raisonnement révisable produit une déclaration contingente.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
High-definition videoHigh-definition video (HD video) is video of higher resolution and quality than standard-definition. While there is no standardized meaning for high-definition, generally any video image with considerably more than 480 vertical scan lines (North America) or 576 vertical lines (Europe) is considered high-definition. 480 scan lines is generally the minimum even though the majority of systems greatly exceed that. Images of standard resolution captured at rates faster than normal (60 frames/second North America, 50 fps Europe), by a high-speed camera may be considered high-definition in some contexts.
Conditional convergenceIn mathematics, a series or integral is said to be conditionally convergent if it converges, but it does not converge absolutely. More precisely, a series of real numbers is said to converge conditionally if exists (as a finite real number, i.e. not or ), but A classic example is the alternating harmonic series given by which converges to , but is not absolutely convergent (see Harmonic series). Bernhard Riemann proved that a conditionally convergent series may be rearranged to converge to any value at all, including ∞ or −∞; see Riemann series theorem.
Commonsense reasoningIn artificial intelligence (AI), commonsense reasoning is a human-like ability to make presumptions about the type and essence of ordinary situations humans encounter every day. These assumptions include judgments about the nature of physical objects, taxonomic properties, and peoples' intentions. A device that exhibits commonsense reasoning might be capable of drawing conclusions that are similar to humans' folk psychology (humans' innate ability to reason about people's behavior and intentions) and naive physics (humans' natural understanding of the physical world).
Télévision à ultra-haute définitionthumb|300x300px|Logo digitaleurope (norme europe) La télévision à ultra-haute définition (TVUHD selon l'UIT, UHDTV en anglais) est un format numérique de vidéo dont la caractéristique principale est une comportant quatre fois, voire seize fois plus de pixels que la télévision à haute définition (HDTV). Aujourd'hui, ce format tend à se généraliser dans sa version TVUHD1. La variante TVUHD2 est quant à elle encore à l'état de développement, et devrait se démocratiser à l'horizon 2020.
Interaction faiblethumb|right|330px|L'interaction faible déclenche la nucléosynthèse dans les étoiles. L'interaction faible (aussi appelée force faible et parfois force nucléaire faible) est l'une des quatre interactions fondamentales de la nature, les trois autres étant les interactions électromagnétique, forte et gravitationnelle. Elle est responsable de la désintégration radioactive de particules subatomiques et est à l'origine de la fusion nucléaire dans les étoiles.
Isospin faibleEn physique des particules, l'isospin faible sous l'interaction faible correspond à l'isospin sous l'interaction forte. L'isospin faible est habituellement représenté par le symbole Tz ou IW. Les leptons ne sont pas soumis à l'interaction forte et donc l'isospin n'est pas défini pour eux. Mais tous les fermions élémentaires peuvent se grouper en multiplets sous l'interaction faible, de la même manière que, sous l'interaction forte, l'isospin crée des multiplets de hadrons de particules qui sont imperceptibles.
StyloLe stylo (apocope de stylographe) est un instrument, généralement de forme allongée facilitant sa préhension, qui sert à écrire ou à dessiner. Ayant l'avantage de posséder son propre réservoir d'encre, il a progressivement remplacé le porte-plume. Le mot est attesté en Grande-Bretagne dès 1882 pour un instrument à pointe tubulaire mais ne fut utilisé en France au sens d'instrument d'écriture qu'à partir de 1907. Il ne figure cependant pas encore dans le Larousse élémentaire illustré de 1918.
EspagneLEspagne, en forme longue le royaume d'Espagne (respectivement en espagnol : España et Reino de España), est un État souverain transcontinental d'Europe du Sud, et d'Europe de l'Ouest, qui occupe la plus grande partie de la péninsule Ibérique. Le pays a une superficie de et une population de d'habitants. L'Espagne est bordée au nord-est par les Pyrénées, qui constituent une frontière naturelle avec la France et l'Andorre; à l'est et au sud-est par la mer Méditerranée, au sud-sud-ouest par le territoire britannique de Gibraltar et le détroit du même nom, ce dernier séparant le continent européen de l'Afrique.
High-definition optical disc format warThe high-definition optical disc format war was a market competition between the Blu-ray and HD DVD optical disc standards for storing high-definition video and audio; it took place between 2006 and 2008 and was won by Blu-ray Disc. The two formats emerged between 2000 and 2005 and attracted both the mutual and exclusive support of major consumer electronics manufacturers, personal computer manufacturers, television and movie producers and distributors, and software developers.
PDP-11thumb|PDP-11 à l'université du Michigan Un PDP-11 est un modèle d'ordinateur de la gamme des PDP (Programmable Data Processor) construit par Digital Equipment Corporation (DEC) entre 1970 et 1993. Tous les PDP-11 sont 16 bits et entrent dans la classe des mini-ordinateurs. Ils furent extrêmement populaires car ils alliaient modularité, un excellent rapport qualité/prix, et leur utilisation n'était pas cantonnée à un seul secteur d'application : on les retrouvait aussi bien dans les laboratoires de physique pour faire de l'acquisition de données que dans les cabinets comptables.
