Active faultAn active fault is a fault that is likely to become the source of another earthquake sometime in the future. Geologists commonly consider faults to be active if there has been movement observed or evidence of seismic activity during the last 10,000 years. Active faulting is considered to be a geologic hazard - one related to earthquakes as a cause. Effects of movement on an active fault include strong ground motion, surface faulting, tectonic deformation, landslides and rockfalls, liquefaction, tsunamis, and seiches.
Langage algébriqueEn théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique. De manière équivalente, un langage algébrique est un langage reconnu par un automate à pile. Les langages algébriques forment les langages de dans la hiérarchie de Chomsky. Ils ont des applications importantes dans la description des langages de programmation et en linguistique. Ils interviennent également dans la description des langages XML.
ComplexitéLa complexité caractérise le comportement d'un système dont les composants interagissent localement et de façon non linéaire, ce qui se traduit par un comportement difficilement prédictible. La complexité peut donc caractériser un système "composé d'un grand nombre d'éléments interagissant sans coordination centrale, sans plan établi par un architecte, et menant spontanément à l'émergence de structures complexes" (Alain Barrat, directeur de recherche au Centre de physique théorique de Marseille); mais aussi caractériser des systèmes composés de peu d'éléments (voir le chaos déterministe).
Sciences de la TerreLes , ou , regroupent les sciences dont l'objet est l'étude de la Terre (surface terrestre et Terre interne, eau, air, biosphère) et de son environnement spatial. En tant que planète, la Terre sert de modèle à l'étude des planètes telluriques. Depuis que des sondes spatiales permettent d'explorer d'autres objets du système solaire, la planétologie est aussi classée parmi les sciences de la Terre. Celle-ci étudie notamment la Lune, les planètes et leurs satellites naturels, les astéroïdes, les météorites et les comètes.
Modality (linguistics)In linguistics and philosophy, modality refers to the ways language can express various relationships to reality or truth. For instance, a modal expression may convey that something is likely, desirable, or permissible. Quintessential modal expressions include modal auxiliaries such as "could", "should", or "must"; modal adverbs such as "possibly" or "necessarily"; and modal adjectives such as "conceivable" or "probable".
Framework WebUn framework Web ou framework d'application Web est un framework logiciel conçu pour prendre en charge le développement d'applications Web, notamment des services Web, des ressources Web et des API Web. Les frameworks Web fournissent un moyen standard de créer et de déployer des applications Web sur le World Wide Web. Les frameworks Web visent à automatiser les mécanismes les plus courants du développement Web.
Philosophie des sciencesLa philosophie des sciences est la branche de la philosophie qui étudie les fondements philosophiques, les méthodes et les implications de la science, qu'il s'agisse de sciences naturelles ou de sciences sociales. La philosophie des sciences a pour objet la définition de la science, son but et la fiabilité des théories. Dans cette optique, elle s'appuie sur la philosophie (métaphysique, ontologie, éthique) et l'histoire des sciences.
Arguments sur l'existence de DieuLes arguments sur l'existence de Dieu, en faveur ou en défaveur de son existence, ont été nombreux au cours de l'histoire de la philosophie et de la théologie. Le Dieu dont il est question ici est ce que l'on nomme parfois le Dieu des philosophes, à savoir le Dieu des grandes religions du Livre (judaïsme, christianisme, islam), tel qu'il a été conceptualisé par les philosophes. Ses attributs sont d'être le créateur du monde, omniscient, omnipotent, omniprésent et bon.
Complexité paramétréeEn algorithmique, la complexité paramétrée (ou complexité paramétrique) est une branche de la théorie de la complexité qui classifie les problèmes algorithmiques selon leur difficulté intrinsèque en fonction de plusieurs paramètres sur les données en entrée ou sur la sortie. Ce domaine est étudié depuis les années 90 comme approche pour la résolution exacte de problèmes NP-complets. Cette approche est utilisée en optimisation combinatoire, notamment en algorithmique des graphes, en intelligence artificielle, en théorie des bases de données et en bio-informatique.
Scrutin uninominal majoritaire à un tourthumb|Schéma du mode de scrutin majoritaire Le scrutin uninominal majoritaire à un tour est le système électoral pour lequel il est le plus simple de déterminer l'option gagnante à partir des votes. L'électeur doit choisir un candidat parmi plusieurs. On compte alors le nombre de voix obtenues par chaque candidat. Celui qui recueille le plus de voix (majorité relative) remporte les élections. Ce système de vote est utilisé pour l'élection du président de la République dans certains pays (Cameroun, Corée du Sud, Islande, Kenya, Malawi, Mexique, Philippines, Venezuela, République démocratique du Congo, Togo, Taïwan).
