Researcher profile

Matthias König

Matthias König contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

BioSimulators: a central registry of simulation engines and services for recommending specific tools

Computational models have great potential to accelerate bioscience, bioengineering, and medicine. However, it remains challenging to reproduce and reuse simulations, in part, because the numerous formats and methods for simulating various subsystems and scales remain siloed by different software tools. For example, each tool must be executed through a distinct interface. To help investigators find and use simulation tools, we developed BioSimulators (https://biosimulators.org), a central registry of the capabilities of simulation tools and consistent Python, command-line, and containerized interfaces to each version of each tool. The foundation of BioSimulators is standards, such as CellML, SBML, SED-ML, and the COMBINE archive format, and validation tools for simulation projects and simulation tools that ensure these standards are used consistently. To help modelers find tools for particular projects, we have also used the registry to develop recommendation services. We anticipate that BioSimulators will help modelers exchange, reproduce, and combine simulations.

preprint2022arXiv

libRoadRunner 2.0: A High-Performance SBML Simulation and Analysis Library

Motivation: This paper presents libRoadRunner 2.0, an extensible, high-performance, cross-platform, open-source software library for the simulation and analysis of models expressed using Systems Biology Markup Language SBML). Results: libRoadRunner is a self-contained library, able to run both as a component inside other tools via its C++ and C bindings, and interactively through its Python or Julia interface. libRoadRunner uses a custom Just-In-Time JIT compiler built on the widely-used LLVM JIT compiler framework. It compiles SBML-specified models directly into native machine code for a large variety of processors, making it appropriate for solving extremely large models or repeated runs. libRoadRunner is flexible, supporting the bulk of the SBML specification (except for delay and nonlinear algebraic equations) and including several SBML extensions such as composition and distributions. It offers multiple deterministic and stochastic integrators, as well as tools for steady-state, sensitivity, stability analysis, and structural analysis of the stoichiometric matrix. Availability: libRoadRunner binary distributions are available for Mac OS X, Linux, and Windows. The library is licensed under the Apache License Version 2.0. libRoadRunner is also available for ARM-based computers such as the Raspberry Pi and can in principle be compiled on any system supported by LLVM-13. http://sys-bio.github.io/roadrunner/index.html provides online documentation, full build instructions, binaries, and a git source repository.

preprint2022arXiv

Rediscovering Argumentation Principles Utilizing Collective Attacks

Argumentation Frameworks (AFs) are a key formalism in AI research. Their semantics have been investigated in terms of principles, which define characteristic properties in order to deliver guidance for analysing established and developing new semantics. Because of the simple structure of AFs, many desired properties hold almost trivially, at the same time hiding interesting concepts behind syntactic notions. We extend the principle-based approach to Argumentation Frameworks with Collective Attacks (SETAFs) and provide a comprehensive overview of common principles for their semantics. Our analysis shows that investigating principles based on decomposing the given SETAF (e.g. directionality or SCC-recursiveness) poses additional challenges in comparison to usual AFs. We introduce the notion of the reduct as well as the modularization principle for SETAFs which will prove beneficial for this kind of investigation. We then demonstrate how our findings can be utilized for incremental computation of extensions and give a novel parameterized tractability result for verifying preferred extensions.

preprint2021arXiv

Effective Field Theory after a New-Physics Discovery

When a new heavy particle is discovered at the LHC or at a future high-energy collider, it will be interesting to study its decays into Standard Model particles using an effective field-theory framework. We point out that the proper effective theory can not be constructed as an expansion in local, higher-dimensional operators; rather, it must be based on non-local operators defined in soft-collinear effective theory (SCET). For the interesting case where the new resonance is a gauge-singlet spin-0 boson, which is the first member of a new sector governed by a mass scale $M$, we show how a consistent scale separation between $M$ and the electroweak scale $v$ is achieved up to next-to-next-to-leading order in the expansion parameter $λ\sim v/M$. The Wilson coefficients in the effective Lagrangian depend in a non-trivial way on the mass of the new resonance and the masses of yet undiscovered heavy particles. Large logarithms of the ratio $M/v$ can be systematically resummed using the renormalization group. We develop a SCET toolbox, with which it is straightforward to construct the relevant effective Lagrangians for new heavy particles with other charges and spin.

preprint2020arXiv

Size-Selective Optical Printing of Silicon Nanoparticles through Their Dipolar Magnetic Resonance

Silicon nanoparticles possess unique size-dependent optical properties due to their strong electric and magnetic resonances in the visible range. However, their widespread application has been limited, in comparison to other (e.g. metallic) nanoparticles, because their preparation on monodisperse colloids remains challenging. Exploiting the unique properties of Si nanoparticles in nano- and micro-devices calls for methods able to sort and organize them from a colloidal suspension onto specific positions of solid substrates with nanometric precision. Here, we demonstrate that surfactant-free Silicon nanoparticles of a predefined and narrow ($σ$ < 10 nm) size range can be selectively immobilized on a substrate by optical printing from a polydisperse colloidal suspension. The size selectivity is based on differential optical forces that can be applied on nanoparticles of different sizes by tuning the light wavelength to the size-dependent magnetic dipolar resonance of the nanoparticles.

preprint2020arXiv

Vector Leptoquarks Beyond Tree Level II: $\mathcal{O}(α_s)$ Corrections and Radial Modes

We clarify open issues in relating low- and high-energy observables, at next-to-leading order accuracy, in models with a massive leptoquark embedded in a flavor non-universal $SU(4) \times SU(3) \times SU(2) \times U(1)$ gauge group. Extending previous work on this subject, we present a complete analysis of the $\mathcal{O}(α_s)$ corrections to the matching conditions of semileptonic operators at the high scale. These corrections are not negligible, but they do not exceed the 10% level and are subleading compared to the $\mathcal{O}(α_4)$ corrections proportional to the leading leptoquark coupling, which is expected to be much larger than the QCD coupling in the parameter space region of phenomenological interest. We further analyze the impact of radial modes, both at $\mathcal{O}(α_4)$ and at $\mathcal{O}(α_s)$ accuracy, highlighting their role in the renormalization of the theory.

preprint2020arXiv

Vector Leptoquarks Beyond Tree Level III: Vector-like Fermions and Flavor-Changing Transitions

Extending previous work on this subject, we evaluate the impact of vector-like fermions at next-to-leading order accuracy in models with a massive vector leptoquark embedded in the $SU(4)\times SU(3)^\prime\times SU(2)_L\times U(1)_X$ gauge group. Vector-like fermions induce new sources of flavor symmetry breaking, resulting in tree-level flavor-changing couplings for the leptoquark not present in the minimal version of the model. These, in turn, lead to a series of non-vanishing flavor-changing neutral-current amplitudes at the loop level. We systematically analyze these effects in semileptonic, dipole and $ΔF=2$ operators. The impact of these corrections in $b\to sνν$ and $b\to cτν$ observables are discussed in detail. In particular, we show that, in the parameter region providing a good fit to the $B$-physics anomalies, the model predicts a $10\%$ to $50\%$ enhancement of $\mathcal{B}(B\to K^{(*)}νν)$.

preprint2019arXiv

Vector Leptoquarks Beyond Tree Level

Models with massive vector leptoquarks, resulting from an $SU(4)$ gauge symmetry spontaneously broken at the TeV scale, are of great phenomenological interest given the current &#34;anomalies&#34; in semileptonic $B$ decays. We analyze the relations between low- and high-energy observables in such class of models to next-to-leading order accuracy in the $SU(4)$ gauge coupling $g_4$. For large values of $g_4$, motivated by recent $B$-physics data, one-loop corrections are sizeable. The main effect is an enhanced contribution at low-energy, at fixed on-shell couplings. This result has important implications for current and future high-energy searches of vector leptoquark models.