Méthode des éléments finisEn analyse numérique, la méthode des éléments finis (MEF, ou FEM pour finite element method en anglais) est utilisée pour résoudre numériquement des équations aux dérivées partielles. Celles-ci peuvent par exemple représenter analytiquement le comportement dynamique de certains systèmes physiques (mécaniques, thermodynamiques, acoustiques).
Temps newtonienEn physique, le temps newtonien définit un temps absolu qui est le même en tout point de l'Univers et indifférent au mouvement. Il a été introduit par Isaac Newton en 1687 dans ses Principia Mathematica. En 1905, Albert Einstein démontre que le temps physique n'est pas newtonien. L'idée essentielle est que le temps newtonien n'est plus un paramètre unicursal. Cela signifie que changer d'échelle de grandeur temps par une fonction t' = f(t) ne demande pour la vitesse qu'un changement V' = V/f'(t), ce qui est simplement l'expression naturelle d'un changement d'unités.
Programmation purement fonctionnelleEn informatique, la programmation purement fonctionnelle est un paradigme de programmation qui considère toutes les opérations comme l'évaluation de fonctions mathématiques. L'état et les objets immuables sont généralement modélisés à l'aide d'une logique temporelle, en tant que variables explicites représentant l'état du programme à chaque étape de son exécution : l'état d'une variable est transmis en tant que paramètre d'entrée d'une fonction de transformation d'état, qui renvoie l'état mis à jour en tant que partie de sa valeur de retour.
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
Analyse (mathématiques)L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
Preferred frameIn theoretical physics, a preferred frame or privileged frame is usually a special hypothetical frame of reference in which the laws of physics might appear to be identifiably different (simpler) from those in other frames. In theories that apply the principle of relativity to inertial motion, physics is the same in all inertial frames, and is even the same in all frames under the principle of general relativity.
Méthode de Newtonvignette|Une itération de la méthode de Newton. En analyse numérique, la méthode de Newton ou méthode de Newton-Raphson est, dans son application la plus simple, un algorithme efficace pour trouver numériquement une approximation précise d'un zéro (ou racine) d'une fonction réelle d'une variable réelle. Cette méthode doit son nom aux mathématiciens anglais Isaac Newton (1643-1727) et Joseph Raphson (peut-être 1648-1715), qui furent les premiers à la décrire pour la recherche des solutions d'une équation polynomiale.
Magnétoscope numériqueUn magnétoscope numérique (également appelé numériscope, DVR de l'anglais Digital Video Recorder, ou encore PVR de l'anglais Personal Video Recorder) ou au Québec ENP (Enregistreur Numérique Personnel) est un appareil électronique destiné à l'enregistrement dans une forme numérisée d'un signal vidéo et du son associé, sur divers supports tels qu'un disque dur (le plus courant), une mémoire flash (clé USB, carte SD) ou, dans les modèles plus anciens, des supports amovibles (DVD ou CD).
Marche à piedLa marche est un mode de locomotion naturel chez l'homme. Elle consiste en un déplacement en appui alternatif sur les pieds, en position debout et en ayant toujours au moins un point d'appui en contact avec le sol, sinon il s'agit de course. C'est un des principaux modes de déplacement, qui fait partie des modes dits « fatigants », « doux » ou « actifs », comme des moyens de transport tels que la bicyclette, la trottinette ou le patinage à roulettes, par opposition aux modes de transport motorisés parfois dits « passifs ».
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 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.
Méthode scientifiqueLa méthode scientifique désigne l'ensemble des canons guidant ou devant guider le processus de production des connaissances scientifiques, qu'il s'agisse d'observations, d'expériences, de raisonnements, ou de calculs théoriques. Très souvent, le terme de « méthode » engage l'idée implicite de son unicité, tant auprès du grand public que de certains chercheurs, qui de surcroît la confondent parfois avec la seule méthode hypothético-déductive.