no code implementations • 14 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.
no code implementations • 6 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.
no code implementations • 13 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.
no code implementations • 26 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).
no code implementations • 7 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.
2 code implementations • 1 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.
2 code implementations • 15 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
no code implementations • 4 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