MondialisationLe terme de mondialisation correspond à un libre échange des marchandises, des capitaux, des services, des personnes, des techniques et de l'information. Il désigne le processus d'intégration des marchés et de rapprochement des humains qui résulte notamment de la libéralisation des échanges, du développement des moyens de transport de personnes et de marchandises, et des retombées des technologies de l'information et de la communication (TIC) à l'échelle planétaire.
Modèle d'acteurEn informatique, le modèle d'acteur est un modèle mathématique qui considère des acteurs comme les seules fonctions primitives nécessaires pour la programmation concurrente. Les acteurs communiquent par échange de messages. En réponse à un message, un acteur peut effectuer un traitement local, créer d'autres acteurs, ou envoyer d'autres messages. L'article de référence date de 1973. Ce modèle est utilisé aussi bien en informatique théorique pour formaliser les interactions concurrentes, qu’en pratique comme base de réalisation de langages de programmation ou d’architectures concurrentes.
Machine de Turing non déterministeUne machine de Turing non déterministe est similaire à une machine de Turing habituelle, qui, elle, est déterministe, mais s'en différencie dans le fait qu'étant non déterministe elle peut avoir plusieurs transitions activables, pour un état donné. Alors que, connaissant le caractère lu sur le ruban et l'état courant, une machine de Turing déterministe dispose d'au plus une transition possible, une machine de Turing non déterministe peut en avoir plusieurs.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Collective animal behaviorCollective animal behaviour is a form of social behavior involving the coordinated behavior of large groups of similar animals as well as emergent properties of these groups. This can include the costs and benefits of group membership, the transfer of information, decision-making process, locomotion and synchronization of the group. Studying the principles of collective animal behavior has relevance to human engineering problems through the philosophy of biomimetics.
Systemic functional grammarSystemic functional grammar (SFG) is a form of grammatical description originated by Michael Halliday. It is part of a social semiotic approach to language called systemic functional linguistics. In these two terms, systemic refers to the view of language as "a network of systems, or interrelated sets of options for making meaning"; functional refers to Halliday's view that language is as it is because of what it has evolved to do (see Metafunction).
Théorie de la fonctionnelle de la densitéLa théorie de la fonctionnelle de la densité (DFT, sigle pour Density Functional Theory) est une méthode de calcul quantique permettant l'étude de la structure électronique, en principe de manière exacte. Au début du , il s'agit de l'une des méthodes les plus utilisées dans les calculs quantiques aussi bien en physique de la matière condensée qu'en chimie quantique en raison de son application possible à des systèmes de tailles très variées, allant de quelques atomes à plusieurs centaines.
Parallélisme (informatique)vignette|upright=1|Un des éléments de Blue Gene L cabinet, un des supercalculateurs massivement parallèles les plus rapides des années 2000. En informatique, le parallélisme consiste à mettre en œuvre des architectures d'électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci. Ces techniques ont pour but de réaliser le plus grand nombre d'opérations en un temps le plus petit possible.
Sciences comportementalesLe terme de sciences comportementales regroupe les disciplines qui explorent les activités et les interactions entre les organismes qui vivent dans la nature. Cela implique analyses systématiques et recherches sur le comportement animal et humain au moyen d'observations contrôlées et naturelles ainsi que des expérimentations scientifiques rigoureuses. Elles visent des conclusions légitimes à travers des formulations rigoureuses. Des exemples d'études comportementales se constituent à travers la psychologie, les sciences cognitives et l'anthropologie.
Limite Nord/SudLa limite Nord/Sud (« ligne Brandt », « clivage » géographique Nord/Sud ou encore Nords/Suds) est le nom donné à une ligne imaginaire séparant, dans les années 1980, les pays développés (du Nord) des pays en voie de développement (du Sud). En réalité, elle ne correspondait que peu à une limite entre l'hémisphère nord et l'hémisphère sud mais plus à une ligne illustrant les inégalités de développement (par exemple l'Australie car elle est en hémisphère sud mais elle est en hémisphère nord avec la limite Nord/Sud).
Democratic globalizationDemocratic globalization is a social movement towards an institutional system of global democracy. One of its proponents is the British political thinker David Held. In the last decade, Held published a dozen books regarding the spread of democracy from territorially defined nation states to a system of global governance that encapsulates the entire world. For some, democratic mundialisation (from the French term mondialisation) is a variant of democratic globalisation stressing the need for the direct election of world leaders and members of global institutions by citizens worldwide; for others, it is just another name for democratic globalisation.
FonctionnelleIn mathematics, a functional (as a noun) is a certain type of function. The exact definition of the term varies depending on the subfield (and sometimes even the author). In linear algebra, it is synonymous with linear forms, which are linear mappings from a vector space into its field of scalars (that is, they are elements of the dual space ) In functional analysis and related fields, it refers more generally to a mapping from a space into the field of real or complex numbers.
