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.
Éther (physique)En physique, le terme d'éther a recouvert plusieurs notions différentes selon les époques. Les différents éthers considérés par les physiciens sont « des substances subtiles distinctes de la matière et permettant de fournir ou transmettre des effets entre les corps ».
Electromagnetic massElectromagnetic mass was initially a concept of classical mechanics, denoting as to how much the electromagnetic field, or the self-energy, is contributing to the mass of charged particles. It was first derived by J. J. Thomson in 1881 and was for some time also considered as a dynamical explanation of inertial mass per se. Today, the relation of mass, momentum, velocity, and all forms of energy – including electromagnetic energy – is analyzed on the basis of Albert Einstein's special relativity and mass–energy equivalence.
Équation de la chaleurEn mathématiques et en physique théorique, l'équation de la chaleur est une équation aux dérivées partielles parabolique, pour décrire le phénomène physique de conduction thermique, introduite initialement en 1807 par Joseph Fourier, après des expériences sur la propagation de la chaleur, suivies par la modélisation de l'évolution de la température avec des séries trigonométriques, appelés depuis séries de Fourier et transformées de Fourier, permettant une grande amélioration à la modélisation mathématique
Bistabilitévignette|Les deux états 1 et 3 sont stables, l'état de transition 2 est instable. La bistabilité (du latin bi = deux et du latin stabilis = constant, stable) est la propriété de certains systèmes de pouvoir prendre deux états stables possibles et de passer d'un état à l'autre par une impulsion extérieure. Ces systèmes sont alors appelés « systèmes bistables ». Il est important de noter que ces états peuvent être supposés pour une seule et même valeur de paramètre, contrairement à l'ultra sensibilité, par exemple, où une transition nette est provoquée par la modification des valeurs de paramètre.
Invariance d'échelleIl y a invariance d'échelle lorsqu'aucune échelle ne caractérise le système. Par exemple, dans un ensemble fractal, les propriétés seront les mêmes quelle que soit la distance à laquelle on se place. Une fonction g est dite invariante d'échelle s'il existe une fonction telle que pour tout x et y : Alors, il existe une constante et un exposant , tels que : En physique, l'invariance d'échelle n'est valable que dans un domaine de taille limité — par exemple, pour un ensemble fractal, on ne peut pas se placer à une échelle plus petite que celle des molécules, ni plus grande que la taille du système.
Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Simulation de phénomènesLa simulation de phénomènes est un outil utilisé dans le domaine de la recherche et du développement. Elle permet d'étudier les réactions d'un système à différentes contraintes pour en déduire les résultats recherchés en se passant d'expérimentation. Les systèmes technologiques (infrastructures, véhicules, réseaux de communication, de transport ou d'énergie) sont soumis à différentes contraintes et actions. Le moyen le plus simple d'étudier leurs réactions serait d'expérimenter, c'est-à-dire d'exercer l'action souhaitée sur l'élément en cause pour observer ou mesurer le résultat.
Criticité auto-organiséethumb|Une image 2D du tas de sable de Bak-Tang-Wiesenfeld, le modèle original de la criticité auto-organisée.|300px La criticité auto-organisée est une propriété des systèmes dynamiques qui ont un point critique comme attracteur. Leur comportement macroscopique présente alors l'invariance d'échelle spatiale ou temporelle d'un point critique d'une transition de phase, mais sans la nécessité de calibrer les paramètres de contrôle sur une valeur précise, car le système se calibre lui-même en évoluant vers la criticité.
Énergie du point zéroL'énergie du point zéro est la plus faible énergie possible qu'un système physique quantique puisse avoir ; cela correspond à son énergie quand il est dans son état fondamental, c'est-à-dire lorsque toute autre forme d'énergie a été retirée. Tous les systèmes mécaniques quantiques subissent des fluctuations même quand ils sont à leur état fondamental (auquel est associée une énergie du point zéro), une conséquence de leur nature ondulatoire.
