Zobrazeno 1 - 10
of 321
pro vyhledávání: '"Lochbihler, A."'
Autor:
Bernauer, Alexander, Faro, Sofia, Hämmerle, Rémy, Huschenbett, Martin, Kiefer, Moritz, Lochbihler, Andreas, Mäki, Jussi, Mazzoli, Francesco, Meier, Simon, Mitchell, Neil, Veprek, Ratko G.
Distributed ledger technologies, also known as blockchains for enterprises, promise to significantly reduce the high cost of automating multi-party business workflows. We argue that a programming language for writing such on-ledger logic should satis
Externí odkaz:
http://arxiv.org/abs/2303.03749
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 1 (February 1, 2022) lmcs:7354
The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatypes can be built modularly from bounded natural functors (BNFs), a clas
Externí odkaz:
http://arxiv.org/abs/2104.05348
Cardinality estimators like HyperLogLog are sketching algorithms that estimate the number of distinct elements in a large multiset. Their use in privacy-sensitive contexts raises the question of whether they leak private information. In particular, c
Externí odkaz:
http://arxiv.org/abs/1808.05879
Autor:
Melber, Henning, Kleinwächter, Wolfgang, Lochbihler, Barbara, Hiéramente, Mayeul, Mangelsdorf, Hans-Christian
Publikováno v:
Vereinte Nationen: German Review on the United Nations, 2020 Jan 01. 68(2), 82-89.
Externí odkaz:
https://www.jstor.org/stable/48597648
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)
The functorial structure of type constructors is the foundation for many definition and proof principles in higher-order logic (HOL). For example, inductive and coinductive datatypes can be built modularly from bounded natural functors (BNFs), a clas
Externí odkaz:
https://doaj.org/article/73f942a82f9b4b85abfb1c2f89cd28ef
Autor:
Lochbihler, Barbara
Publikováno v:
Vereinte Nationen: German Review on the United Nations, 2018 Jan 01. 66(6), 243-248.
Externí odkaz:
https://www.jstor.org/stable/48551323
Publikováno v:
Journal of Advances in Modeling Earth Systems, Vol 13, Iss 2, Pp n/a-n/a (2021)
Abstract There is increasing evidence that local rainfall extremes can increase with warming at a higher rate than expected from the Clausius‐Clapeyron (CC) relation. The exact mechanisms behind this super‐CC scaling phenomenon are still unsolved
Externí odkaz:
https://doaj.org/article/17c6d45611b547e5858a69a97086662f
Autor:
Barbara Lochbihler, Silke Voß-Kyeck
Publikováno v:
Zeitschrift für Menschenrechte. 16:6-19
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::22d3949a8c8610bba6df286d428ac4e3
https://doi.org/10.46499/1859.2570
https://doi.org/10.46499/1859.2570
Autor:
Lochbihler, Sarah Nadja
The objective of this study was to evaluate longterm outcomes of TAVR in high-risk patients with a follow-up of over 10 years. The focus was on survival, structural valve deterioration (SVD) and bioprosthetic valve failure (BVF). Survival was, as to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::cacaa22923ec7a589f97dfe3f0e103bc
https://mediatum.ub.tum.de/1686719
https://mediatum.ub.tum.de/1686719
Autor:
Andreas Lochbihler
Publikováno v:
Journal of Automated Reasoning. 66:585-610
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33dfbdb7d18110500375c6149ea80b99
https://doi.org/10.1007/s10817-022-09616-4
https://doi.org/10.1007/s10817-022-09616-4