Intelligence artificiellevignette|redresse=0.8|Les assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine. Souvent classée dans le groupe des mathématiques et des sciences cognitives, elle fait appel à la neurobiologie computationnelle (particulièrement aux réseaux neuronaux) et à la logique mathématique (partie des mathématiques et de la philosophie).
Gerrymanderinglang=fr|alt=représentation visuelle du gerrymandering|vignette|Différentes manières de découper des circonscriptions électorales. Le (terme nord-américain, prononcé en français nord-américain), le découpage électoral partisan ou encore le charcutage électoral est le découpage des circonscriptions électorales ayant pour objectif de donner l’avantage à un parti, un candidat ou un groupe donné.
Gestion de la mémoireLa gestion de la mémoire est une forme de gestion des ressources appliquée à la mémoire de l'ordinateur. L'exigence essentielle de la gestion de la mémoire est de fournir des moyens d'allouer dynamiquement des portions de mémoire aux programmes à leur demande, et de les libérer pour réutilisation lorsqu'elles ne sont plus nécessaires. Ceci est essentiel pour tout système informatique avancé où plus d'un processus peuvent être en cours à tout moment. Catégorie:Architecture informatique Catégorie:Pages avec
Ressource (informatique)En informatique, les ressources sont des composants, matériels ou logiciels, connectés à un ordinateur. Tout composant de système interne est une ressource. Les ressources d'un système virtuel incluent les fichiers, les connexions au réseau, et les zones de mémoire. Selon le Grand dictionnaire terminologique, une ressource Internet est un élément d'intérêt pour un internaute et qui est disponible dans un des sites Internet du réseau.
Maillagethumb|Maillage d'un disque par des triangles (triangulation). Un maillage est la discrétisation spatiale d'un milieu continu, ou aussi, une modélisation géométrique d’un domaine par des éléments proportionnés finis et bien définis. L'objet d'un maillage est de procéder à une simplification d'un système par un modèle représentant ce système et, éventuellement, son environnement (le milieu), dans l'optique de simulations de calculs ou de représentations graphiques. On parle également dans le langage commun de pavage.
F* (programming language)F* (pronounced F star) is a functional programming language inspired by ML and aimed at program verification. Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml, F#, and C for execution.
C file input/outputThe C programming language provides many standard library functions for input and output. These functions make up the bulk of the C standard library . The functionality descends from a "portable I/O package" written by Mike Lesk at Bell Labs in the early 1970s, and officially became part of the Unix operating system in Version 7. The I/O functionality of C is fairly low-level by modern standards; C abstracts all file operations into operations on streams of bytes, which may be "input streams" or "output streams".
Human natureHuman nature is a concept that denotes the fundamental dispositions and characteristics—including ways of thinking, feeling, and acting—that humans are said to have naturally. The term is often used to denote the essence of humankind, or what it 'means' to be human. This usage has proven to be controversial in that there is dispute as to whether or not such an essence actually exists. Arguments about human nature have been a central focus of philosophy for centuries and the concept continues to provoke lively philosophical debate.
Informatique décisionnelleL’informatique décisionnelle (en anglais business intelligence (BI) ou decision support system (DSS)) est l'informatique à l'usage des décideurs et des dirigeants d'entreprises. Elle désigne les moyens, les outils et les méthodes qui permettent de collecter, consolider, modéliser et restituer les données, matérielles ou immatérielles, d'une entreprise en vue d'offrir une aide à la décision et de permettre à un décideur d’avoir une vue d’ensemble de l’activité traitée.
Naturevignette| en Alaska. vignette|Les grandes forces du monde physique sont habituellement considérées comme « naturelles » ; l'Homme n'a pas ou très peu de prise sur elles. vignette|Cellules cycloniques. Les phénomènes météorologiques et le climat peuvent aujourd'hui être affectés par les activités humaines. vignette|Pediastrum boryanum. Les processus naturels dépendent d'interactions complexes entre les espèces et les milieux, à toutes les échelles, de l'infiniment petit à la biosphère.
Flux standardEn informatique, les flux standard (standard stream en anglais) sont des canaux pour l'entrée et la sortie de données sur les systèmes d'exploitation UNIX et assimilés. L'accès à ces flux est habituellement fourni par la bibliothèque stdio.h du langage de programmation C. Ces flux sont au nombre de trois, au travers desquels les programmes peuvent faire entrer ou sortir des informations. Les utilisateurs connaissent généralement ces flux comme moyen par lequel un texte provenant d'un input device, et un texte s'affichant sur un afficheur sont transmis.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
