Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Fluvial processesIn geography and geology, fluvial processes are associated with rivers and streams and the deposits and landforms created by them. When the stream or rivers are associated with glaciers, ice sheets, or ice caps, the term glaciofluvial or fluvioglacial is used. Fluvial processes include the motion of sediment and erosion or deposition on the river bed. The movement of water across the stream bed exerts a shear stress directly onto the bed.
Valléethumb|250px|Vallées Calchaquies, Argentine. thumb|250px|Vallée de montagne, avec zone alluviale et rivière en tresses (Géorgie, Caucase). Une vallée est une dépression géographique généralement de forme allongée et façonnée dans le relief par un cours d'eau (vallée fluviale) ou un glacier (vallée glaciaire). Un espace en forme de vallée mais de taille modeste est appelé vallon. On parle parfois aussi de creuses, notamment dans le nord de la France, pour désigner des entailles plus modestes perpendiculaires aux vallées, dans les versants.
Aquifère de FlorideThe Floridan aquifer system, composed of the Upper and Lower Floridan aquifers, is a sequence of Paleogene carbonate rock which spans an area of about in the southeastern United States. It underlies the entire state of Florida and parts of Alabama, Georgia, Mississippi, and South Carolina. The Floridan aquifer system is one of the world's most productive aquifers and supplies drinking water for nearly 10 million people.
OverdraftingOverdrafting is the process of extracting groundwater beyond the equilibrium yield of an aquifer. Groundwater is one of the largest sources of fresh water and is found underground. The primary cause of groundwater depletion is the excessive pumping of groundwater up from underground aquifers. There are two sets of yields: safe yield and sustainable yield. Safe yield is the amount of groundwater that can be withdrawn over a period of time without exceeding the long-term recharge rate or affecting the aquifer integrity.
Sédimentvignette|Le processus de sédimentation est d'abord une loi physique, liée à la pesanteur. Des phénomènes biologiques peuvent l'accélérer ou le réduire, intervenant notamment dans les cycles écologiques et biogéochimiques. vignette|La sédimentation dépend du contexte géomorphologique, climatique, écologique et de la vitesse de l'eau. vignette|Une faune spécifique aux sédiments contribue à leur nature, à leur mobilité et à la biodisponibilité des éléments qu'ils contiennent ; particules, nutriments, ou polluants.
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
Psychologie mathématiqueLa psychologie mathématique est une approche de la recherche psychologique basée sur la modélisation mathématique des processus perceptifs, cognitifs et moteurs, et sur l'établissement de règles qui relient les caractéristiques de stimulus quantifiables à un comportement quantifiable. L'approche mathématique est utilisée dans le but de dériver des hypothèses plus exactes et de produire ainsi des validations empiriques plus strictes. Le comportement quantifiable est en pratique souvent constitué par la performance de la tâche.
Analyse de sensibilitéL’analyse de sensibilité est l'étude de la façon dont l'incertitude de la sortie d'un code ou d'un système (numérique ou autre) peut être attribuée à l'incertitude dans ses entrées. Il s'agit d'estimer des indices de sensibilité qui quantifient l'influence d'une entrée ou d'un groupe d'entrées sur la sortie. L'analyse de sensibilité peut être utile pour beaucoup d'applications: Tester la robustesse d'un modèle ou d'un système en présence d'incertitude.
Mathematical modelling of infectious diseasesMathematical models can project how infectious diseases progress to show the likely outcome of an epidemic (including in plants) and help inform public health and plant health interventions. Models use basic assumptions or collected statistics along with mathematics to find parameters for various infectious diseases and use those parameters to calculate the effects of different interventions, like mass vaccination programs. The modelling can help decide which intervention(s) to avoid and which to trial, or can predict future growth patterns, etc.
