New FoundationsEn logique mathématique, New Foundations (NF) est une théorie des ensembles axiomatique introduite par Willard Van Orman Quine en 1937, dans un article intitulé « New Foundations for Mathematical Logic », et qui a connu un certain nombre de variantes. Pour éviter le paradoxe de Russell, le principe de compréhension est restreint aux formules stratifiées, une restriction inspirée de la théorie des types, mais où la notion de type est implicite.
Standard MLStandard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML.
Modélisation moléculairethumb|Animation d'un modèle compact d'ADN en forme B|327x327px|alt=Modèle de l'ADN en forme B La modélisation moléculaire est un ensemble de techniques pour modéliser ou simuler le comportement de molécules. Elle est utilisée pour reconstruire la structure tridimensionnelle de molécules, en particulier en biologie structurale, à partir de données expérimentales comme la cristallographie aux rayons X. Elle permet aussi de simuler le comportement dynamique des molécules et leur mouvements internes.
Freshwater ecosystemFreshwater ecosystems are a subset of Earth's aquatic ecosystems. They include lakes, ponds, rivers, streams, springs, bogs, and wetlands. They can be contrasted with marine ecosystems, which have a larger salt content. Freshwater habitats can be classified by different factors, including temperature, light penetration, nutrients, and vegetation. There are three basic types of freshwater ecosystems: Lentic (slow moving water, including pools, ponds, and lakes), lotic (faster moving water, for example streams and rivers) and wetlands (areas where the soil is saturated or inundated for at least part of the time).
Théorie atomiqueLes théories atomiques sont des théories sur la nature de la matière selon laquelle la matière est composée d'unités discrètes appelées atomes qui a supplanté les anciennes croyances que la matière peut être décomposée en divisions infiniment petites. Les philosophes de l'antiquité ont créé la théorie atomiste. Les principaux créateurs en sont : en Inde Kanada auteur du Vaisheshika Sutra, en Grèce Leucippe, Démocrite et Épicure, et enfin à Rome Lucrèce auteur de De natura rerum.
Espèce ingénieureDans le domaine de l'écologie et plus précisément des interactions biologiques et interactions durables, on parle d' « espèce ingénieure » pour décrire les espèces qui par leur seule présence et activité modifient significativement à fortement leur environnement (souvent sans directement agir sur un autre organisme). Les termes « organisme ingénieur », « ingénieur d'écosystème » et « ingénierie écologique » sont des synonymes. Cette transformation se fait en leur faveur et souvent en faveur d'autres espèces (on parle alors aussi d'espèces facilitatrices).
Plate-forme (informatique)En informatique, une plateforme ou plate-forme est un environnement permettant la gestion ou l'utilisation de services (ou logiciels) applicatifs.
Continuous simulationContinuous Simulation refers to simulation approaches where a system is modeled with the help of variables that change continuously according to a set of differential equations. It is notable as one of the first uses ever put to computers, dating back to the Eniac in 1946. Continuous simulation allows prediction of rocket trajectories hydrogen bomb dynamics (N.B. this is the first use ever put to the Eniac) electric circuit simulation robotics Established in 1952, the Society for Modeling and Simulation International (SCS) is a nonprofit, volunteer-driven corporation dedicated to advancing the use of modeling & simulation to solve real-world problems.
Écologie des systèmes lotiquesL'écologie des systèmes lotiques est l'étude des interactions biotiques et abiotiques dans les flux d'eaux courantes continentales. Avec l'écologie des systèmes lentiques, qui concerne les eaux continentales moins dynamiques, comme les lacs ou les étangs, elle forme le champ d'études plus général de l'eau douce ou de l'écologie aquatique. Les milieux lotiques prennent des formes très diverses, allant du ruisseau peu large au grand fleuve de plusieurs kilomètres de large, mais présentent des invariances qui justifient leur étude commune.
Neurosciences computationnellesLes neurosciences computationnelles (NSC) sont un champ de recherche des neurosciences qui s'applique à découvrir les principes computationnels des fonctions cérébrales et de l'activité neuronale, c'est-à-dire des algorithmes génériques qui permettent de comprendre l'implémentation dans notre système nerveux central du traitement de l'information associé à nos fonctions cognitives. Ce but a été défini en premier lieu par David Marr dans une série d'articles fondateurs.
.NET FrameworkLe .NET Framework (abr. NetFx) est un cadriciel (framework) pouvant être utilisé par un système d'exploitation Microsoft Windows et Microsoft Windows Mobile depuis la version 5 (.NET Compact Framework). Une version légère et limitée fournie avec un moteur d'exécution fonctionnant à l'intérieur d'un navigateur ou d'un périphérique mobile est disponible sous le nom de Silverlight. La version 3.0 du framework est intégrée à Windows Vista et à la plupart des versions de Windows Server 2008 ou téléchargeable depuis le site de l'éditeur Microsoft.
Concept (philosophie)En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition. En linguistique, le concept représente le signifié, c'est-à-dire le sens du mot, tandis que le mot lui-même constitue son signifiant. Le concept est un terme abstrait qui se distingue donc de la chose désignée par ce concept. Le terme lui-même est introduit au Moyen Âge (conceptus) par Thomas d'Aquin puis Guillaume d'Ockham et les autres philosophes scolastiques .
