Zobrazeno 1 - 10
of 169
pro vyhledávání: '"Mueller, Moritz"'
Autor:
Sommese, Raffaele, Akiwate, Gautam, Affinito, Antonia, Müller, Moritz, Jonker, Mattijs, Claffy, KC
Malicious actors exploit the DNS namespace to launch spam campaigns, phishing attacks, malware, and other harmful activities. Combating these threats requires visibility into domain existence, ownership and nameservice activity that the DNS protocol
Externí odkaz:
http://arxiv.org/abs/2405.12010
Autor:
Kristoff, John, Müller, Moritz, Filastò, Arturo, Resing, Max, Kanich, Chris, Oever, Niels ten
As a response to the Russian aggression against Ukraine, the European Union (EU), through the notion of "digital sovereignty", imposed sanctions on organizations and individuals affiliated with the Russian Federation that prohibit broadcasting conten
Externí odkaz:
http://arxiv.org/abs/2403.05638
New technologies have the power to revolutionize science. It has happened in the past and is happening again with the emergence of new computational tools, such as artificial intelligence and machine learning. Despite the documented impact of these t
Externí odkaz:
http://arxiv.org/abs/2312.09843
Autor:
Müller, Moritz, Joosten, Joost J.
We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally models the European transport Regulation 561, and discuss the reaches
Externí odkaz:
http://arxiv.org/abs/2307.05658
We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory V$^0_2$ is consistent with the conjecture that NEXP $\not\subseteq$ P/
Externí odkaz:
http://arxiv.org/abs/2303.01016
We study the parameterized complexity of the problem to decide whether a given natural number $n$ satisfies a given $\Delta_0$-formula $\varphi(x)$; the parameter is the size of $\varphi$. This parameterization focusses attention on instances where $
Externí odkaz:
http://arxiv.org/abs/2211.06121
Autor:
Becker, Maximilian T., Oldroyd, Poppy, Strkalj, Nives, Müller, Moritz L., Malliaras, George G., MacManus-Driscoll, Judith L.
We investigate ferroelectric- and resistive switching behavior in 18-nm-thick epitaxial BaTiO$_3$ (BTO) films in a model electrolyte-ferroelectric-semiconductor (EFS) configuration. The system is explored for its potential as a ferroelectric microele
Externí odkaz:
http://arxiv.org/abs/2209.08020
Autor:
Lechtenberg, Thorsten, Wynands, Benedikt, Müller, Moritz-Fabian, Polen, Tino, Noack, Stephan, Wierckx, Nick
Publikováno v:
In Metabolic Engineering Communications June 2024 18
How has the science system reacted to the early stages of the COVID-19 pandemic? Here we compare the (growing) international network for coronavirus research with the broader international health science network. Our findings show that, before the ou
Externí odkaz:
http://arxiv.org/abs/2102.00298
Autor:
Müller, Moritz
We define typical forcings encompassing many informal forcing arguments in bounded arithmetic and give general conditions for such forcings to produce models of the universal variant of relativized $T^1_2$. We apply this result to study the relative
Externí odkaz:
http://arxiv.org/abs/2012.08998