Fécondation in vitrovignette|Injection intracytoplasmique de spermatozoïde à l'aide d'une pipette dans un ovule retenu par une pipette de succion. La fécondation in vitro, en abrégé FIV (prononcé ) est une technique de procréation médicalement assistée et de transfert d'embryon. En 2007-2008, 2 % environ des bébés des pays riches sont issus de la fécondation in vitro, imaginée et mise au point dans les années 1970 et opérationnelle à partir des années 1980.
Sociologie du développementLa sociologie du développement se questionne sur les processus de développement sociaux et économiques. Cette branche de la sociologie place ces processus en regard de ses impacts sur la société (communauté, village, ville, pays ou région). Le terme "sociologie du développement" est plus courant dans la littérature en anglais qu'il ne l'est en français. La sociologie du développement est généralement à la croisée des chemins de l'histoire, de l'anthropologie et de la science politique.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Revue de la littératureLes notions de « revue de la littérature » (ou « revue de littérature » ou d’« analyse de la littérature ») désignent à la fois une méthode de recherche de documentation scientifique et une « catégorie » d’études scientifiques. Le produit de cette méthode de recherche est un souvent un article dit « article de synthèse » ou « article de revue » ou « article de revue de littérature » par les francophones (traduction de l'anglais Review article).
Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Preuve d'enjeuLa preuve d'enjeu, preuve de participation ou preuve d’intérêt (en anglais : proof of stake, PoS) est une méthode par laquelle une chaîne de blocs d'une crypto-monnaie vise à atteindre un consensus distribué. Alors que la preuve de travail (en anglais : proof of work, PoW) demande aux utilisateurs d'exécuter plusieurs fois les algorithmes de hachage ou de calculer des puzzles mathématiques selon des algorithmes pour valider les transactions électroniques, la preuve d'enjeu demande à l'utilisateur de prouver la possession d'une certaine quantité de crypto-monnaie (leur « participation » dans la crypto-monnaie) pour prétendre à pouvoir valider des blocs supplémentaires dans la chaîne de bloc et de pouvoir toucher la récompense, s'il y en a une, à l'addition de ces blocs.
Proofs and RefutationsProofs and Refutations: The Logic of Mathematical Discovery is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
Trafic de stupéfiantsvignette|350px|Carte de la CIA retraçant le parcours du trafic international de la drogue. vignette|350px|Principaux pays producteurs d'héroïne dans le monde (en rouge) vignette|350px|Routes aériennes du trafic de drogue surveillées par le US Southern Command Le trafic de stupéfiants ou narcotrafic désigne les échanges commerciaux illégaux de substances psychotropes réglementés par les différentes conventions de l’ONU (1961, 1971 et 1988).
Différenciation dirigéeLa différenciation dirigée est une méthode de bio-ingénierie, à la jonction de la biologie développementale et de l'ingénierie tissulaire. Elle exploite le potentiel des cellules souches, en particulier les cellules souches pluripotentes - cellules souches embryonnaires et des cellules souches pluripotentes induites (iPS) - en forçant leur différenciation in vitro vers un type cellulaire spécifique ou un tissu d’intérêt . Les cellules souches pluripotentes ont la capacité de se différencier en n’importe quel type cellulaire, comme les neurones, les cardiomyocytes ou les hépatocytes.
