Système dynamiqueEn mathématiques, en chimie ou en physique, un système dynamique est la donnée d’un système et d’une loi décrivant l'évolution de ce système. Ce peut être l'évolution d'une réaction chimique au cours du temps, le mouvement des planètes dans le système solaire (régi par la loi universelle de la gravitation de Newton) ou encore l'évolution de la mémoire d'un ordinateur sous l'action d'un programme informatique. Formellement on distingue les systèmes dynamiques à temps discrets (comme un programme informatique) des systèmes dynamiques à temps continu (comme une réaction chimique).
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Naturevignette| en Alaska. vignette|Les grandes forces du monde physique sont habituellement considérées comme « naturelles » ; l'Homme n'a pas ou très peu de prise sur elles. vignette|Cellules cycloniques. Les phénomènes météorologiques et le climat peuvent aujourd'hui être affectés par les activités humaines. vignette|Pediastrum boryanum. Les processus naturels dépendent d'interactions complexes entre les espèces et les milieux, à toutes les échelles, de l'infiniment petit à la biosphère.
Forme de connexionEn géométrie différentielle, une 1-forme de connexion est une forme différentielle sur un -fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, de transport parallèle, d'holonomie et de théorie de jauge. La notion de forme de connexion est intimement reliée à la notion de connexion d'Ehresmann. Soient : un groupe de Lie ; l'élément identité de ; l'algèbre de Lie de ; la représentation adjointe de sur ; une variété différentielle ; un -fibré principal sur .
Droit naturelLe droit naturel (en latin : jus naturale) est l'ensemble de normes théoriques prenant en considération la nature de l'Homme et sa finalité dans le monde. Le droit naturel a fait l'objet de réflexions philosophiques importantes à partir du . Le droit naturel est un concept majeur de la philosophie occidentale. Il désigne des normes supposées relatives à la nature de l'Homme et de son rôle dans le monde, sa finalité. Ce droit naturel confère des droits à l'Homme en tant qu'il est Homme, c'est-à-dire une créature distinguée du reste du vivant.
Loi scientifiquevignette|Ce diagramme de Venn tente de comparer et d'opposer les lois et les théories scientifiques. Une loi scientifique est un postulat basé sur des observations ou expériences répétées qui décrivent ou prédisent certains aspects de l'univers. Le terme "loi" est utilisé dans de nombreux cas (approximatif, précis, large ou étroit) dans tous les domaines des sciences naturelles (physique, chimie, astronomie, géosciences, biologie).
Nature (philosophie)La nature (en grec physis / Phusis ; phy- : avec le suffixe physis, le résultat de ce processus) est un concept philosophique polysémique qui peut désigner l'univers physique, mais a connu tout au long de son histoire une grande quantité de sens en fonction de questions philosophiques dans lesquelles il était invoqué. La nature peut être définie comme l'ensemble des caractères qui définissent un être, mais aussi comme le monde matériel d'un point de vue physique, du point de vue de son fonctionnement (un ensemble de lois) ou encore du point de vue organique (la nature naturante, le tout).
Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
Connexion affineEn mathématiques, et plus précisément en géométrie différentielle, une connexion affine est un objet géométrique défini sur une variété différentielle, qui connecte des espaces tangents voisins, et permet ainsi à des champs de vecteurs tangents d'être dérivés comme si c'étaient des fonctions définies sur la variété et prenant leurs valeurs dans un unique espace vectoriel.
Parc naturelUn parc naturel est un territoire dont l'aménagement est prévu à long terme, notamment l'utilisation des sols et les changements dans leur affectation, via la régulation de l'emprise de l'agriculture, des activités industrielles, de l'artificialisation des sols due notamment à l'étalement urbain, etc. Les milieux naturels (faune, flore, etc.) y sont généralement pour partie protégés, par la législation (dépendant de chaque pays), des activités humaines pouvant leur nuire. Un parc naturel peut également avoir une vocation touristique.
Interaction élémentaireQuatre interactions élémentaires sont responsables de tous les phénomènes physiques observés dans l'Univers, chacune se manifestant par une force dite force fondamentale. Ce sont l'interaction nucléaire forte, l'interaction électromagnétique, l'interaction faible et l'interaction gravitationnelle. En physique classique, les lois de la gravitation et de l'électromagnétisme étaient considérées comme axiomes.
Symboles de ChristoffelEn mathématiques et en physique, les symboles de Christoffel (ou coefficients de Christoffel, ou coefficients de connexion) sont une expression de la connexion de Levi-Civita dérivée du tenseur métrique. Les symboles de Christoffel sont utilisés dans les calculs pratiques de la géométrie de l'espace : ce sont des outils de calculs concrets, par exemple pour déterminer les géodésiques des variétés riemanniennes, mais en contrepartie leur manipulation est relativement longue, notamment du fait du nombre de termes impliqués.
Théorie des systèmes dynamiquesLa théorie des systèmes dynamiques désigne couramment la branche des mathématiques qui s'efforce d'étudier les propriétés d'un système dynamique. Cette recherche active se développe à la frontière de la topologie, de l'analyse, de la géométrie, de la théorie de la mesure et des probabilités. La nature de cette étude est conditionnée par le système dynamique étudié et elle dépend des outils utilisés (analytiques, géométriques ou probabilistes).
Billard (mathématiques)Un billard mathématique est un système dynamique dans lequel une particule alterne des mouvements libres sur une surface et des rebonds sur une paroi, sans perte de vitesse. L'angle de rebond est identique à l'angle d'incidence au moment de choc. Ces systèmes dynamiques sont des idéalisations hamiltoniennes du jeu de billard, mais où le domaine encadré par la frontière peut avoir d'autres formes qu'un rectangle et même être multidimensionnel. Les billards dynamiques peuvent aussi être étudiés sur des géométries non euclidiennes.
PhysiqueLa physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers. Elle correspond à l'étude du monde qui nous entoure sous toutes ses formes, des lois de ses variations et de leur évolution. La physique développe des représentations du monde expérimentalement vérifiables dans un domaine de définition donné. Elle produit plusieurs lectures du monde, chacune n'étant considérée comme précise que jusqu'à un certain point.
Upper ontologyIn information science, an upper ontology (also known as a top-level ontology, upper model, or foundation ontology) is an ontology (in the sense used in information science) which consists of very general terms (such as "object", "property", "relation") that are common across all domains. An important function of an upper ontology is to support broad semantic interoperability among a large number of domain-specific ontologies by providing a common starting point for the formulation of definitions.
Physique des particulesLa physique des particules ou la physique subatomique est la branche de la physique qui étudie les constituants élémentaires de la matière et les rayonnements, ainsi que leurs interactions. On l'appelle aussi parfois physique des hautes énergies car de nombreuses particules élémentaires, instables, n'existent pas à l'état naturel et peuvent seulement être détectées lors de collisions à hautes énergies entre particules stables dans les accélérateurs de particules.
Ontologie (informatique)En informatique et en science de l'information, une ontologie est un modèle de données contenant des concepts et relations permettant de modéliser un ensemble de connaissances dans un domaine donné. Les concepts sont organisés dans un graphe dont les relations peuvent être : des relations sémantiques ; des relations de subsomption. Les ontologies sont employées dans l’intelligence artificielle, le web sémantique, le génie logiciel, l'informatique biomédicale ou encore l'architecture de l'information comme une forme de représentation de la connaissance au sujet d'un monde ou d'une certaine partie de ce monde.
Philosophie de la physiqueEn philosophie des sciences, la philosophie de la physique étudie les questions fondamentales sous-jacentes à la physique moderne, soit l'étude de la matière et de l'énergie et la façon dont elles interagissent. La philosophie de la physique se penche sur les questions métaphysiques et épistémologiques essentielles que pose la physique : la causalité, le déterminisme, et la nature d'une loi physique.
Semantic interoperabilitySemantic interoperability is the ability of computer systems to exchange data with unambiguous, shared meaning. Semantic interoperability is a requirement to enable machine computable logic, inferencing, knowledge discovery, and data federation between information systems. Semantic interoperability is therefore concerned not just with the packaging of data (syntax), but the simultaneous transmission of the meaning with the data (semantics). This is accomplished by adding data about the data (metadata), linking each data element to a controlled, shared vocabulary.
