64 research outputs found
Environmental bisimulations for probabilistic higher-order languages
Environmental bisimulations for probabilistic higher-order languages are studied. In contrastwith applicative bisimulations, environmental bisimulations are known to be more robust and do not require sophisticated techniques such as Howe's in the proofs of congruence. As representative calculi, call-by-name and call-by-value λ-calculus, and a (call-by-value) λ-calculus extended with references (i.e., a store) are considered. In each case, full abstraction results are derived for probabilistic environmental similarity and bisimilarity with respect to contextual preorder and contextual equivalence, respectively. Some possible enhancements of the (bi)simulations, as "up-to techniques," are also presented. Probabilities force a number of modifications to the definition of environmental bisimulations in nonprobabilistic languages. Some of thesemodifications are specific to probabilities, others may be seen as general refinements of environmental bisimulations, applicable also to non-probabilistic languages. Several examples are presented, to illustrate the modifications and the differences
The theory of traces for systems with nondeterminism and probability
This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset construction. We characterise and compare the resulting semantics to known definitions of trace equivalences appearing in the literature. Most of our results are based on the exciting interplay between monads and their presentations via algebraic theories
The Potential Use of SARAL ALTIKA Towards CoastalRegions - A Case Study on East Coast of India
Altimeter data provides a precise measurement of wave parameters especially over open ocean. Now, several attempts were made to retrieve wind and wave information towards coastal regions. SARAL/Altika is a first of its kind to operate at such a high frequency to provide better observation of coastal regions. The present study is especially important for the Indian coasts because most of the in-situ observations are either coastally located or at deep water
Recommended from our members
Sea-level rise in Venice: historic and future trends (review article)
The city of Venice and the surrounding lagoonal ecosystem are highly vulnerable to variations in relative sea level. In the past ∼150 years, this was characterized by an average rate of relative sea-level rise of about 2.5 mm/year resulting from the combined contributions of vertical land movement and sea-level rise. This literature review reassesses and synthesizes the progress achieved in quantification, understanding and prediction of the individual contributions to local relative sea level, with a focus on the most recent studies. Subsidence contributed to about half of the historical relative sea-level rise in Venice. The current best estimate of the average rate of sea-level rise during the observational period from 1872 to 2019 based on tide-gauge data after removal of subsidence effects is 1.23 ± 0.13 mm/year. A higher – but more uncertain – rate of sea-level rise is observed for more recent years. Between 1993 and 2019, an average change of about +2.76 ± 1.75 mm/year is estimated from tide-gauge data after removal of subsidence. Unfortunately, satellite altimetry does not provide reliable sea-level data within the Venice Lagoon. Local sea-level changes in Venice closely depend on sea-level variations in the Adriatic Sea, which in turn are linked to sea-level variations in the Mediterranean Sea. Water mass exchange through the Strait of Gibraltar and its drivers currently constitute a source of substantial uncertainty for estimating future deviations of the Mediterranean mean sea-level trend from the global-mean value. Regional atmospheric and oceanic processes will likely contribute significant interannual and interdecadal future variability in Venetian sea level with a magnitude comparable to that observed in the past. On the basis of regional projections of sea-level rise and an understanding of the local and regional processes affecting relative sea-level trends in Venice, the likely range of atmospherically corrected relative sea-level rise in Venice by 2100 ranges between 32 and 62 cm for the RCP2.6 scenario and between 58 and 110 cm for the RCP8.5 scenario, respectively. A plausible but unlikely high-end scenario linked to strong ice-sheet melting yields about 180 cm of relative sea-level rise in Venice by 2100. Projections of human-induced vertical land motions are currently not available, but historical evidence demonstrates that they have the potential to produce a significant contribution to the relative sea-level rise in Venice, exacerbating the hazard posed by climatically induced sea-level changes
ZFP36L1 Negatively Regulates Erythroid Differentiation of CD34+ Hematopoietic Stem Cells by Interfering with the Stat5b Pathway
ZFP36L1 negatively regulates erythroid differentiation of human hematopoietic progenitors by directly binding the 3′ UTR of Stat5b mRNA, thereby triggering its degradation. This study shows that posttranscriptional regulation is involved in the control of hematopoietic differentiation
Fluxes of water, sediments, and biogeochemical compounds in salt marshes
Tidal oscillations systematically flood salt marshes, transporting water, sediments, organic matter, and biogeochemical elements such as silica. Here we present a review of recent studies on these fluxes and their effects on both ecosystem functioning and morphological evolution of salt marshes. We reexamine a simplified model for the computation of water fluxes in salt marshes that captures the asymmetry in discharge between flood and ebb. We discuss the role of storm conditions on sediment fluxes both in tidal channels and on the marsh platform. We present recent methods and field instruments for the measurement of fluxes of organic matter. These methods will provide long-term data sets with fine temporal resolution that will help scientists to close the carbon budget in salt marshes. Finally, the main processes controlling fluxes of biogenic and dissolved silica in salt marshes are explained, with particular emphasis on the uptake by marsh macrophytes and diatoms
Presenting convex sets of probability distributions by convex semilattices and unique bases
We prove that every finitely generated convex set of finitely supported probability distributions has a unique base. We apply this result to provide an alternative proof of a recent result: the algebraic theory of convex semilattices presents the monad of convex sets of probability distributions
Un sistema di supporto alle decisioni a livello di bacino per la gestione dell'acqua in agricoltura
- …