Table des matières
7 relations: Algorithmique, Assistant de preuve, Neurosciences, Potentially visible set, Propulseur Voith Schneider, Prototype Verification System, Virus S de la pomme de terre.
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Voir PVS et Algorithmique
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Voir PVS et Assistant de preuve
Neurosciences
Les neurosciences sont les études scientifiques du système nerveux, tant du point de vue de sa structure que de son fonctionnement, depuis l'échelle moléculaire jusqu'au niveau des organes, comme le cerveau, voire de l'organisme tout entier.
Voir PVS et Neurosciences
Potentially visible set
Évolution du rendu d'un personnage 3D avec la technique du Potentially Visible Set. Un Potentially Visible Set est une technique utilisée pour accélérer le rendu des environnements en trois dimensions.
Voir PVS et Potentially visible set
Propulseur Voith Schneider
Un propulseur Voith Schneider, ou VSP (en), est un système de propulsion ''cycloïdal''.
Voir PVS et Propulseur Voith Schneider
Prototype Verification System
PVS (Prototype Verification System) est un assistant de preuve développé par le laboratoire d’informatique de SRI International.
Voir PVS et Prototype Verification System
Virus S de la pomme de terre
Le virus S de la pomme de terre, PVS, sigle de Potato virus S, est un phytovirus pathogène du groupe des Carlavirus, appartenant à la famille des Betaflexiviridae.