Algorithme d'approximationEn informatique théorique, un algorithme d'approximation est une méthode permettant de calculer une solution approchée à un problème algorithmique d'optimisation. Plus précisément, c'est une heuristique garantissant à la qualité de la solution qui fournit un rapport inférieur (si l'on minimise) à une constante, par rapport à la qualité optimale d'une solution, pour toutes les instances possibles du problème.
Approximation diophantiennevignette|Meilleurs approximations rationnelles pour les nombres irrationnels Π (vert), e (bleu), φ (rose), √3/2 (gris), 1/√2 (rouge) et 1/√3 (orange) tracées sous forme de pentes y/x avec des erreurs par rapport à leurs vraies valeurs (noirs) par CMG Lee. En théorie des nombres, l'approximation diophantienne, qui porte le nom de Diophante d'Alexandrie, traite de l'approximation des nombres réels par des nombres rationnels.
Output impedanceThe output impedance of an electrical network is the measure of the opposition to current flow (impedance), both static (resistance) and dynamic (reactance), into the load network being connected that is internal to the electrical source. The output impedance is a measure of the source's propensity to drop in voltage when the load draws current, the source network being the portion of the network that transmits and the load network being the portion of the network that consumes.
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
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.
Schéma d'approximation en temps polynomialEn informatique, un schéma d'approximation en temps polynomial (en anglais polynomial-time approximation scheme, abrégé en PTAS) est une famille d'algorithmes d'approximation pour des problèmes d'optimisation combinatoire. On dit aussi plus simplement schéma d'approximation polynomial. Le plus souvent, les problèmes d'optimisation combinatoire considérés sont NP-difficiles. Plusieurs variantes des PTAS existent : des définitions plus restrictives comme les EPTAS et FPTAS, ou d'autres qui reposent sur les algorithmes probabilistes comme les PRAS et FPRAS.
Théorème d'approximation de DirichletLe théorème d'approximation de Dirichlet est le résultat d'approximation diophantienne simultanée de d réels suivant : dont le cas particulier N = Q avec Q entier se démontre par le principe des tiroirs de Dirichlet, ou le résultat suivant (plus général) : qui utilise un théorème de Minkowski ou de Blichfeldt. Ce théorème est appliqué notamment en théorie des nombres (approximations diophantiennes, théorie des séries de Dirichlet) et dans la théorie des fonctions presque périodiques.
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.
ImpôtL'impôt constitue un des prélèvements obligatoires effectué par voie d’autorité par la puissance publique (l'État et les collectivités territoriales) sur les ressources des personnes vivant sur son territoire ou y possédant des intérêts. Ce prélèvement est destiné à être affecté par l'intermédiaire des budgets publics au financement de ressources (biens ou services) d'utilité générale.
Optimisation fiscaleL'optimisation fiscale ou évitement fiscal (en anglais tax planning ou tax avoidance) est l'utilisation des asymétries du droit fiscal de différents pays ou régimes (régimes dérogatoires, utilisation de niches fiscales...) afin de réduire le montant de l'imposition tout en respectant les obligations fiscales de chaque pays. L'optimisation fiscale concerne autant l'imposition des personnes que celle des sociétés. Elle comprend les notions d'évasion fiscale et d'expatriation fiscale et se distingue de la fraude fiscale (en anglais tax evasion) ou encore de la résistance fiscale par son aspect légal.
