Raisonnement déductifEn logique, la déduction est une inférence menant d'une affirmation générale à une conclusion particulière. La déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence nécessaire, en vertu de règles d'inférence logiques. Ces règles sont notamment l'objet des Premiers Analytiques d'Aristote. On l'oppose généralement à l'induction, qui consiste au contraire à extraire d'un nombre fini de propositions données par l'observation, une conclusion ou un petit nombre de conclusions plus générales.
Bibliothèque Bodléiennevignette|droite|upright|Porche d’entrée de la bibliothèque Bodléienne, décoré des armes de plusieurs collèges de l’université d’Oxford. La bibliothèque Bodléienne (Bodleian Library), officiellement bibliothèque de Bodley (Bodley’s Library), est la plus prestigieuse des bibliothèques de l’université d'Oxford. Formellement établie en 1602 à partir de collections plus anciennes, elle tire son nom de son fondateur, Thomas Bodley, bibliothécaire du Merton College.
Marqueur de séquence expriméeUn marqueur de séquence exprimée, ou expressed sequence tag (EST), est une courte portion séquencée d'un ADN complémentaire (ADNc), utilisée comme marqueur pour différencier les gènes entre eux dans une séquence ADN et identifier les gènes homologues dans d'autres espèces. Parce qu'il est généralement assez facile de récupérer des brins d'ARNm des cellules, les biologistes récupèrent ces séquences et les convertissent en ADNc, qui est bien plus stable.
Bibliothèque numériqueUne bibliothèque numérique (virtuelle ou en ligne ou électronique) est une collection de documents (textes, images, sons) numériques (c'est-à-dire numérisés ou nés numériques) accessibles à distance (en particulier via Internet), proposant différentes modalités d'accès à l'information aux publics. Les documents peuvent être très élaborés, comme les livres numériques, ou beaucoup plus bruts. Elle peut aussi être définie comme un ensemble de collections mises en ligne pour un public précis.
Bibliothèquevignette|redresse=1.2|Bibliothèque de l'abbaye de Saint-Gall (, patrimoine mondial, Suisse). vignette|redresse=1.2|Bibliothèque publique à Almere (Pays-Bas). Une bibliothèque (du grec ancien , de , « livre », et , « boîte, coffre, caisse ») est un lieu où l'on conserve une collection organisée de livres et matériels de référence. Il existe des bibliothèques privées des bibliothèques publiques, et des bibliothèques spécialisées entre autres.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Induction (logique)L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
Référencement localLe référencement local est une technique d'optimisation web qui est apparue vers la fin de 2006. Cette technique consiste à créer une fiche d'entreprise sur la section carte des moteurs de recherche et de profiter ainsi d'affichages optimisés dans les pages de résultats de recherche, mais aussi sur les cartes. Egalement, avec la multiplication des services et sites d'informations permettant d'obtenir de la visibilité localisée, le référencement local consiste aujourd'hui à développer en complément une présence générale au sein de tout lieu visité par d'éventuelles cibles.
Bibliothèque privéeUne Bibliothèque privée est une bibliothèque qui, contrairement aux institutions publiques, est une propriété privée, utilisée par un petit nombre de personnes, voire une seule. Comme dans les bibliothèques publiques, certaines personnes utilisent des ex-libris - tampons, cachets ou vignettes - qui montrent l'appartenance du livre. Certaines personnes vendent leur bibliothèque privée à de grandes institutions telles que la Bibliothèque nationale de France ou la lèguent après leur mort, par un testament.
