Predicate transformer semanticsPredicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs". They define the semantics of an imperative programming paradigm by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational semantics.
SaunerieUne saunerie (ou saulnerie) est un lieu où dans l'Antiquité, au Moyen Âge ou à une époque plus récente, les « sauniers » (ou saulnier) extrayaient le sel de l'eau de mer, par évaporation naturelle dans des marais salants, ou à l'aide du feu, dans des « fours à sel ». Les croûtes naturelles de sel déposées par les embruns ou le long de lagunes naturelles ont probablement été exploités par l'homme préhistorique. De nombreux mammifères se montrent friands de sel. Ils étaient donc probablement aussi attirés par ces gisements.
Great Lakes regionThe Great Lakes region of Northern America is a binational Canadian–American region centered around the Great Lakes that includes eight U.S. states, Illinois, Indiana, Michigan, Minnesota, New York, Ohio, Pennsylvania, and Wisconsin, and the Canadian province of Ontario. Canada's Quebec province is at times included as part of the region because the St. Lawrence River watershed is part of the continuous hydrologic system. The region forms a distinctive historical, economic, and cultural identity.
Pycnoclinevignette|Un profil Argo, pris le 31 janvier 2002 dans l'océan Indien tropical. La ligne rouge est le profil de densité, la ligne noire est la température et la ligne bleue est la salinité. Notez la transition rapide de la courbe rouge entre 80 et 120 m. En hydrologie, une pycnocline est une cline, ou une couche verticale, où le gradient de densité (∂ρ/∂z) est le plus élevé au sein d'un corps de l'eau.
Domain Name System Security ExtensionsDNSSEC (« Domain Name System Security Extensions ») est un protocole standardisé par l'IETF permettant de résoudre certains problèmes de sécurité liés au protocole DNS. Les spécifications sont publiées dans la et les suivantes (une version antérieure de DNSSEC n'a eu aucun succès). DNSSEC permet de sécuriser les données envoyées par le DNS. Contrairement à d'autres protocoles comme TLS, il ne sécurise pas juste un canal de communication mais il protège les données, les enregistrements DNS, de bout en bout.
ChimioclineLa chimiocline est l'interface existant entre différentes couches d'eau, dans une mer, un lac, lorsque celles-ci ne se mélangent pas. Cela implique donc qu'il existe un équilibre entre les différentes couches d'eau. En général, les couches d'eau de surface sont plus oxygénées que les couches plus profondes, puisqu'elles sont alimentées par l'atmosphère. L'anoxie des couches inférieures peut être provoquée par la production importante de sulfure d'hydrogène par des micro-organismes benthiques.
Saline water_Salt water Saline water (more commonly known as salt water) is water that contains a high concentration of dissolved salts (mainly sodium chloride). On the United States Geological Survey (USGS) salinity scale, saline water is saltier than brackish water, but less salty than brine. The salt concentration is usually expressed in parts per thousand (permille, ‰) and parts per million (ppm). The USGS salinity scale defines three levels of saline water. The salt concentration in slightly saline water is 1,000 to 3,000 ppm (0.
Société sans ÉtatUne société sans État est une société qui n'est pas gouvernée par un État. Ce type de société est notamment défendu par le mouvement anarchiste, partisan d'une démocratie directe intégrale, sans gouvernants, dans laquelle le peuple vote directement les lois par référendum, les élabore dans le cadre de l'initiative populaire et les fait appliquer grâce au mandat impératif révocable et à des forces de sécurité dont les officiers sont élus.
