Search Results for author: Matthias König

Found 8 papers, 2 papers with code

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

no code implementations14 Jun 2024 Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

In this work, we propose a novel parameter search method to improve the quality of these linear approximations.

Rediscovering Argumentation Principles Utilizing Collective Attacks

no code implementations6 May 2022 Wolfgang Dvořák, Matthias König, Markus Ulbricht, Stefan Woltran

We extend the principle-based approach to Argumentation Frameworks with Collective Attacks (SETAFs) and provide a comprehensive overview of common principles for their semantics.

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

no code implementations13 Mar 2022 Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary Haiman, Joseph L. Hellerstein, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matúš Kalaš, Matthias König, Wolfram Liebermeister, Synchon Mandal, Robert McDougal, J. Kyle Medley, Pedro Mendes, Robert Müller, Chris J. Myers, Aurelien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha, Jacky Snoep, Hugh Sorby, Ryan Spangler, Jörn Starruß, Payton J. Thomas, David van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr

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.

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

no code implementations26 Feb 2022 Ciaran Welsh, Jin Xu, Lucian Smith, Matthias König, Kiri Choi, Herbert M. Sauro

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).

Vocal Bursts Intensity Prediction

Aspartix-V21

no code implementations7 Sep 2021 Wolfgang Dvořák, Matthias König, Johannes P. Wallner, Stefan Woltran

In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021.

SED-ML Validator: tool for debugging simulation experiments

2 code implementations1 Jun 2021 Bilal Shaikh, Andrew Philip Freiburger, Matthias König, Frank T. Bergmann, David P. Nickerson, Herbert M. Sauro, Michael L. Blinov, Lucian P. Smith, Ion I. Moraru, Jonathan R. Karr

To help modelers debug their simulations and to push the community to use SED-ML consistently, we developed a tool for validating SED-ML files.

SuperTracer: A Calculator of Functional Supertraces for One-Loop EFT Matching

2 code implementations15 Dec 2020 Javier Fuentes-Martin, Matthias König, Julie Pagès, Anders Eller Thomsen, Felix Wilsch

We present SuperTracer, a Mathematica package aimed at facilitating the functional matching procedure for generic UV models.

High Energy Physics - Phenomenology

Effective Field Theory after a New-Physics Discovery

no code implementations4 Jun 2018 Stefan Alte, Matthias König, Matthias Neubert

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.

High Energy Physics - Phenomenology

Cannot find the paper you are looking for? You can Submit a new open access paper.