Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
Classement automatiquevignette|La fonction 1-x^2-2exp(-100x^2) (rouge) et les valeurs déplacées par un bruit de 0,1*N(0,1). Le classement automatique ou classification supervisée est la catégorisation algorithmique d'objets. Elle consiste à attribuer une classe ou catégorie à chaque objet (ou individu) à classer, en se fondant sur des données statistiques. Elle fait couramment appel à l'apprentissage automatique et est largement utilisée en reconnaissance de formes. En français, le classement fait référence à l'action de classer donc de « ranger dans une classe ».
Socialist-oriented market economyThe socialist-oriented market economy (Vietnamese: Kinh tế thị trường định hướng xã hội chủ nghĩa) is the official title given to the current economic system in the Socialist Republic of Vietnam. It is described as a multi-sectoral market economy where the state sector plays the decisive role in directing economic development, with the eventual long-term goal of developing socialism. The socialist-oriented market economy is a product of the Đổi Mới economic reforms which led to the replacement of the centrally planned economy with a market-based mixed economy based on the predominance of state-owned industry.
Outcome (probability)In probability theory, an outcome is a possible result of an experiment or trial. Each possible outcome of a particular experiment is unique, and different outcomes are mutually exclusive (only one outcome will occur on each trial of the experiment). All of the possible outcomes of an experiment form the elements of a sample space. For the experiment where we flip a coin twice, the four possible outcomes that make up our sample space are (H, T), (T, H), (T, T) and (H, H), where "H" represents a "heads", and "T" represents a "tails".
Patron de conceptionEn informatique, et plus particulièrement en développement logiciel, un patron de conception (souvent appelé design pattern) est un arrangement caractéristique de modules, reconnu comme bonne pratique en réponse à un problème de conception d'un logiciel. Il décrit une solution standard, utilisable dans la conception de différents logiciels. Un patron de conception est issu de l'expérience des concepteurs de logiciels. Il décrit un arrangement récurrent de rôles et d'actions joués par des modules d'un logiciel, et le nom du patron sert de vocabulaire commun entre le concepteur et le programmeur.
Événement élémentaireEn théorie des probabilités, on appelle événement élémentaire un ensemble de l'univers (un évènement) constitué d'un seul élément. Par exemple dans un jeu de carte classique de 52 cartes, tirer le roi de cœur est un événement élémentaire car le paquet de carte ne contient qu'un seul roi de cœur. Supposons qu'une tribu contienne tous les événements élémentaires ; elle contient alors toutes les parties finies ou dénombrables de , et chacune de ces parties peut s'écrire sous la forme : La réunion étant disjointe, cette relation permet de déterminer la probabilité de tout événement à partir des probabilités des événements élémentaires constituant .
Économie mixteEn théorie, une économie mixte est une économie dans laquelle le secteur privé et le secteur public coexistent en parts relativement équivalentes. Une illustration très emblématique de ce mélange d'économie de marché et d'économie planifiée est la politique économique française d'après la Seconde Guerre mondiale, qui était largement inspirée par le Programme du Conseil national de la Résistance. En Allemagne de nos jours, on parle également d'économie sociale de marché.
Réforme économique chinoisevignette|Shenzhen, l'une des premières zone économique spéciale en Chine, est souvent appelée « Silicon Valley of China ». Des entreprises de haute technologie notables telles que Huawei, ZTE et Konka ont toutes été fondées à Shenzhen dans les années 1980.|alt=|250x250px vignette|250x250px|Le quartier d'affaires de Pudong à Shanghai, symbole de la libéralisation de l'économie chinoise.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
