Langage de programmation dynamiqueCet article traite d'une classe des langages de programmation. Pour la méthode consistant en la réduction du temps d'exécution d'un algorithme, voir programmation dynamique On utilise le terme langage de programmation dynamique en informatique pour décrire une classe de langages de haut niveau qui exécutent au moment de l'exécution des actions que d'autres langages ne peuvent exécuter que durant la compilation.
Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Espace (cosmologie)L'espace comprend les zones de l'Univers situées au-delà des et des corps célestes. Il s'agit de l'étendue de densité quasi nulle qui sépare les astres. On parle aussi de vide spatial. Selon les endroits de l'espace concernés, on le qualifie parfois d'espace cislunaire, interplanétaire, interstellaire (ou intersidéral) ou intergalactique pour désigner plus précisément le vide spatial qui est délimité respectivement par le système Terre-Lune, les planètes, les étoiles et les galaxies.
Méthode sans maillageIn the field of numerical analysis, meshfree methods are those that do not require connection between nodes of the simulation domain, i.e. a mesh, but are rather based on interaction of each node with all its neighbors. As a consequence, original extensive properties such as mass or kinetic energy are no longer assigned to mesh elements but rather to the single nodes. Meshfree methods enable the simulation of some otherwise difficult types of problems, at the cost of extra computing time and programming effort.
Qualité de serviceLa qualité de service (QDS) ou quality of service (QoS) est la capacité à véhiculer dans de bonnes conditions un type de trafic donné, en termes de disponibilité, débit, délais de transmission, gigue, taux de perte de paquets... La qualité de service est un concept de gestion qui a pour but d’optimiser les ressources d'un réseau (en management du système d'information) ou d'un processus (en logistique) et de garantir de bonnes performances aux applications critiques pour l'organisation.
Gestion du tempsLa gestion du temps est la discipline qui cherche à organiser et optimiser l'emploi du temps d'un 'individu (ex : gestion du temps ou d'un agenda personnel) où à l'échelle d'un groupes, voire de grandes collectivités. Selon un memorandum européen réclamant un droit au temps pour tous (publié par Zeitpolitik, happés par un quotidien souvent stressant et empli d'un nombre croissant de médias et sollicitations non désirées et difficiles à contrôler ou éviter, .
Rang (algèbre linéaire)En algèbre linéaire : le rang d'une famille de vecteurs est la dimension du sous-espace vectoriel engendré par cette famille. Par exemple, pour une famille de vecteurs linéairement indépendants, son rang est le nombre de vecteurs ; le rang d'une application linéaire de dans est la dimension de son , qui est un sous-espace vectoriel de . Le théorème du rang relie la dimension de , la dimension du noyau de et le rang de ; le rang d'une matrice est le rang de l'application linéaire qu'elle représente, ou encore le rang de la famille de ses vecteurs colonnes ; le rang d'un système d'équations linéaires est le nombre d'équations que compte tout système échelonné équivalent.
Dynamic loadingDynamic loading is a mechanism by which a computer program can, at run time, load a library (or other ) into memory, retrieve the addresses of functions and variables contained in the library, execute those functions or access those variables, and unload the library from memory. It is one of the 3 mechanisms by which a computer program can use some other software; the other two are static linking and dynamic linking.
Fabrication dans l'espacealt=|vignette|450x450px| Vision d'artiste d'une future base lunaire construite et entretenue via l'impression 3D. La fabrication dans l'espace, parfois appelée fabrication et assemblage dans l'espace, est la production de biens tangibles au-delà de l'atmosphère terrestre. Elle peut être considérée comme une branche de l'industrie spatiale. Puisqu'à ce jour, la plupart des capacités de production spatiale sont limitées à l'orbite terrestre basse, la littérature anglaise emploie parfois aussi la formule de « fabrication en orbite » (in-orbit manufacturing).
Human presence in spaceHuman presence in space is about humanity in space, particularly about all anthropogenic presence in space and human activity in space, that is in outer space and in a broader sense also on any extraterrestrial astronomical body. Humans have been present in space either, in the common sense, through their direct presence and activity like human spaceflight, or through mediation of their presence and activity like with uncrewed spaceflight, making "telepresence" possible.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Integrated servicesEn informatique, le modèle IntServ (integrated services) définit une architecture capable de prendre en charge la Qualité de service (QoS) en définissant des mécanismes de contrôle complémentaires sans toucher au fonctionnement IP. C'est un modèle basé sur un protocole de signalisation RSVP. Au début, le protocole IP n'était pas prévu pour gérer la qualité de service QoS, du coup, les flux soumis à de fortes contraintes sur le plan de la qualité de service ont eu du mal à obtenir les « privilèges » nécessaires à leur bon acheminement sur le réseau Internet.
