Zobrazeno 1 - 10
of 1 353
pro vyhledávání: '"A Schroeer"'
It is of utmost importance to ensure that modern data intensive systems do not leak sensitive information. In this paper, the authors, who met thanks to Joost-Pieter Katoen, discuss symbolic methods to compute information-theoretic measures of leakag
Externí odkaz:
http://arxiv.org/abs/2412.00907
Billions of individuals engage with Online Social Networks (OSN) daily. The owners of OSN try to meet the demands of their end-users while complying with business necessities. Such necessities may, however, lead to the adoption of restrictive data ac
Externí odkaz:
http://arxiv.org/abs/2411.13681
Autor:
Schröer, Martin, Koschke, Rainer
To evaluate how developers perform differently in solving programming tasks, i.e., which actions and behaviours are more beneficial to them than others and if there are any specific strategies and behaviours that may indicate good versus poor underst
Externí odkaz:
http://arxiv.org/abs/2403.08480
Autor:
Kempf, Michael, Moser, Philipp, Tomoscheit, Maximilian, Schröer, Julian, Blancon, Jean-Christophe, Schwartz, Rico, Deb, Swarup, Mohite, Aditya, Stier, Andreas V., Finley, Jonathan J., Korn, Tobias
Publikováno v:
ACS nano 2023
We report temperature-dependent spectroscopy on the layered (n=4) two-dimensional (2D) Ruddlesden-Popper perovskite (BA)(MA)PbI. Helicity-resolved steady-state photoluminescence (PL) reveals no optical degree of polarization. Time-resolved PL shows a
Externí odkaz:
http://arxiv.org/abs/2309.09784
Autor:
Schröer, Philipp, Batz, Kevin, Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph
This paper presents a quantitative program verification infrastructure for discrete probabilistic programs. Our infrastructure can be viewed as the probabilistic analogue of Boogie: its central components are an intermediate verification language (IV
Externí odkaz:
http://arxiv.org/abs/2309.07781
Autor:
Hilario, Cesar, Schröer, Stefan
Publikováno v:
Ãpijournal de Géométrie Algébrique, Volume 7 (January 8, 2024) epiga:11181
We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all characteristics and havi
Externí odkaz:
http://arxiv.org/abs/2303.12324
We study semicontinuous maps on varieties of modules over finite-dimensional algebras. We prove that truncated Euler maps are upper or lower semicontinuous. This implies that $g$-vectors and $E$-invariants of modules are upper semicontinuous. We also
Externí odkaz:
http://arxiv.org/abs/2302.02085
We study the so-called sign involutions on twisted forms of abelian varieties, and show that such a sign involution exists if and only if the class in the Weil--Ch\^{a}telet group is annihilated by two. If these equivalent conditions hold, we prove t
Externí odkaz:
http://arxiv.org/abs/2301.03314
ADEVO: Proof-of-concept of adenovirus-directed EVOlution by random peptide display on the fiber knob
Autor:
Erwan Sallard, Julian Fischer, Katrin Schroeer, Lisa-Marie Dawson, Nissai Beaude, Arsalene Affes, Eric Ehrke-Schulz, Wenli Zhang, Adrian Westhaus, Marti Cabanes-Creus, Leszek Lisowski, Zsolt Ruszics, Anja Ehrhardt
Publikováno v:
Molecular Therapy: Oncology, Vol 32, Iss 4, Pp 200867- (2024)
Directed evolution of viral vectors involves the generation of randomized libraries followed by artificial selection of improved variants. Directed evolution only yielded limited results in adenovirus (AdV) engineering until now, mainly due to insuff
Externí odkaz:
https://doaj.org/article/7378372d93384fac88c9836d1e27cc67
Autor:
Schröer, Stefan
Working over imperfect fields, we give a comprehensive classification of genus-one curves that are regular but not geometrically regular, extending the known case of geometrically reduced curves. The description is given intrinsically, in terms of tw
Externí odkaz:
http://arxiv.org/abs/2211.04073