Zobrazeno 1 - 10
of 81
pro vyhledávání: '"A Van Muylder"'
We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presenta
Externí odkaz:
http://arxiv.org/abs/1907.05244
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cătălin Hrițcu, Kenji Maillard, Bas Spitters
Publikováno v:
ACM Transactions on Programming Languages and Systems.
State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way, by using algebraic laws to exploit the modular structure of composed protocols. While promising, this methodology was previously n
Autor:
HASELWARTER, PHILIPP G., RIVAS, EXEQUIEL, VAN MUYLDER, ANTOINE, WINTERHALTER, THÉO, ABATE, CARMINE, SIDORENCO, NIKOLAJ, HRIŢCU, CĂTĂLIN, MAILLARD, KENJI, SPITTERS, BAS
Publikováno v:
ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-61, 61p
Publikováno v:
Human Reproduction. 37
Study question Which costs and effects must be considered in an economic evaluation of Medically Assisted Reproduction (MAR) and to which extent do published studies consider these? Summary answer Current economic evaluations of MAR focus on technica
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of the Belgian Society of Radiology, Vol 96, Iss 1 (2013)
A 97-year old Caucasian woman suffering from chronic renal insufficiency was admitted with progressive pain at the left hip when mobilized. Plain radiographs showed a large lobulated well-demarcated calcified mass adjacent to the greater trochanter o
Externí odkaz:
https://doaj.org/article/e31107f795274ff3b1550c75a458bf04