Semiring Provenance for Fixed-Point Logic

Contribution to a book, Contribution to a conference proceedings

Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)
Naaf, Matthias (Corresponding author)
Tannen, Val (Corresponding author)

110000, 117220

2021

Choiceless Computation and Symmetry: Limitations of Definability

Contribution to a book, Contribution to a conference proceedings

Pago, Benedikt Thomas (Corresponding author)

110000, 117220

2021

Zentrale Ideen der numerischen Mathematik - Vorschlag eines Katalogs und unterrichtliche Umsetzungen

Dissertation / PhD Thesis

Titz, Mauricio Marvin

110000, 112320

2021

Chiral skyrmions of large radius

Journal Article

Komineas, Stavros
Melcher, Christof
Venakides, Stephanos

110000, 113110

2021

Hemocompatibility Evaluation of Biomaterials—The Crucial Impact of Analyzed Area

Journal Article

Clauser, Johanna C. (Corresponding author)
Maas, Judith
Arens, Jutta
Schmitz-Rode, Thomas
Steinseifer, Ulrich
Berkels, Benjamin

110000, 111410

2021

Cardiorespiratory, metabolic and perceived responses to electrical stimulation of upper-body muscles while performing arm cycling

Journal Article

Zinner, Christoph (Corresponding author)
Matzka, Manuel
Krumscheid, Sebastian
Holmberg, Hans-Christer
Sperlich, Billy

110000, 119630

2021

Input-to-State Stability of a Scalar Conservation Law with Nonlocal Velocity

Contribution to a book, Journal Article

Göttlich, Simone (Corresponding author)
Herty, Michael
Weldegiyorgis, Gediyon

110000, 114620

2021

Algorithmic differentiation of hyperbolic flow problems

Journal Article

Herty, Michael (Corresponding author)
Hüser, Jonathan
Naumann, Uwe
Schilden, Thomas
Schröder, Wolfgang

110000, 111400, 114620

2021

Subgroups of Arbitrary even ordinary depth

Journal Article

Janabi, Hayder Abbas (Corresponding author)
Breuer, Thomas
Horváth, Erzsébet

110000, 114710

2021

On the control volume arbitrariness in the Navier–Stokes equation

Journal Article

Espath, Luis (Corresponding author)

110000, 118110

2021

Robust strategic planning for mobile medical units with steerable and unsteerable demands

Journal Article

Büsing, Christina
Comis, Martin (Corresponding author)
Schmidt, Eva
Streicher, Manuel

110000, 113210, 113320, 119530

2021

Estimation of state-dependent jump activity and drift for Markovian semimartingales

Journal Article

Mies, Fabian (Corresponding author)

110000, 116110

2020, 2021

On maximal embeddings of finite quasisimple groups

Journal Article

Hiß, Gerhard (Corresponding author)

110000, 114710

2020, 2021

A Constructive Approach to Freyd Categories

Journal Article

Posur, Sebastian (Corresponding author)

110000, 114410

2020, 2021

A Linear Scaling in Accuracy Numerical Method for Computing the Electrostatic Forces in the $N$-Body Dielectric Spheres Problem

Journal Article

Hassan, Muhammad (Corresponding author)
Stamm, Benjamin

110000, 115120

2020, 2021

Domination number, independent domination number and 2-independence number in trees

Journal Article

Dehgardi, Nasrin (Corresponding author)
Sheikholeslami, Seyed Mahmoud (Corresponding author)
Valinavaz, Mina (Corresponding author)
Aram, Hamideh (Corresponding author)
Volkmann, Lutz (Corresponding author)

110000, 113210

2020, 2021

Robust recovery of low-rank matrices with non-orthogonal sparse decomposition from incomplete measurements

Journal Article

Fornasier, Massimo
Maly, Johannes (Corresponding author)
Naumova, Valeriya

110000, 114510

2020, 2021

On dispersive and star orderings of random variables and order statistics

Journal Article

Alimohammadi, Mahdi (Corresponding author)
Esna-Ashari, Maryam
Cramer, Erhard

110000, 116320

2020, 2021

Automation of hemocompatibility analysis using image segmentation and supervised classification

Journal Article

Clauser, Johanna Charlotte (Corresponding author)
Maas, Judith
Arens, Jutta
Schmitz-Rode, Thomas
Steinseifer, Ulrich
Berkels, Benjamin

110000, 111410, 112430

2020, 2021

Guarded Teams: The Horizontally Guarded Case

Contribution to a conference proceedings

Grädel, Erich (Corresponding author)
Otto, Martin

110000, 117220

2020

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

Contribution to a conference proceedings

Hoelzel, Matthias (Corresponding author)
Wilke, Richard (Corresponding author)

110000, 117220

2020

Coordinate-independent criteria for Hopf bifurcations

Contribution to a book, Journal Article

Kruff, Niclas (Corresponding author)
Walcher, Sebastian

110000, 114220

2020

Testing and estimating change-points in the covariance matrix of a high-dimensional time series

Journal Article

Steland, Ansgar (Corresponding author)

110000, 116110

2020

Jointly low-rank and bisparse recovery: Questions and partial answers

Journal Article

Foucart, Simon (Corresponding author)
Gribonval, Rémi
Jacques, Laurent
Rauhut, Holger

110000, 114510

2020

Computation of Electromagnetic Fields Scattered From Dielectric Objects of Uncertain Shapes Using Multi Level Monte Carlo

Conference Presentation

Litvinenko, Alexander (Corresponding author)

110000, 118110

2020

A Continuous Family of Marked Poset Polytopes

Journal Article

Fang, Xin
Fourier, Ghislain
Litza, Jan-Philipp
Pegel, Christoph

110000, 114410

2020

The Minkowski Property and Reflexivity of Marked Poset Polytopes

Journal Article

Fang, Xin
Fourier, Ghislain
Pegel, Christoph

110000, 114410

2020

A Remark on the Dixmier Conjecture

Journal Article

Bavula, V. V.
Levandovskyy, Viktor

110000, 114920

2020

Structural health monitoring (SHM) of an adhesively bonded CFRP aircraft fuselage by ultrasonic lamb wave

Abstract, Contribution to a book, Contribution to a conference proceedings

Weiland, Josef (Corresponding author)
Hesser, Daniel Frank
Schiebahn, Alexander
Markert, Bernd
Reisgen, Uwe

110000, 119120

2020

A note on Schwartzman-Fried-Sullivan Theory, with an application

Journal Article

Hryniewicz, Umberto L. (Corresponding author)

110000, 112710

2020

Computation of Kazhdan-Lusztig polynomials and some applications to finite groups

Journal Article

Lübeck, Frank (Corresponding author)

110000, 114710

2020

The EKR property for flag pure simplicial complexes without boundary

Journal Article

Olarte, Jorge Alberto (Corresponding author)
Santos, Francisco (Corresponding author)
Spreer, Jonathan (Corresponding author)
Stump, Christian (Corresponding author)

110000, 114410

2020

Multilevel weighted least squares polynomial approximation

Journal Article

Haji-Ali, Abdul-Lateef
Nobile, Fabio
Tempone, Raul
Wolfers, Sören (Corresponding author)

110000, 118110

2020

A structured approach to the construction of stable linear Lattice Boltzmann collision operator

Journal Article

Otte, Philipp Joachim (Corresponding author)
Frank, Martin

110000, 115020

2020

Maximum product of spacings prediction of future record values

Journal Article

Volovskiy, Grigoriy (Corresponding author)
Kamps, Udo

110000, 116410

2020

Solution of the 3D density-driven groundwater flow problem with uncertain porosity and permeability

Journal Article

Litvinenko, Alexander (Corresponding author)
Logashenko, Dmitry
Tempone, Raul
Wittum, Gabriel
Keyes, David

110000, 118110

2020

Attracting and Natural Invariant Varieties for Polynomial Vector Fields and Control Systems

Journal Article

Kruff, Niclas
Schilli, Christian
Walcher, Sebastian (Corresponding author)
Zerz, Eva

110000, 114220, 114920

2020

Multi-sample progressive Type-I censoring of exponentially distributed lifetimes

Journal Article

Cramer, Erhard (Corresponding author)
Górny, Julian
Laumen, Benjamin

110000, 116320

2020

A pragmatic dataset augmentation approach for transformation temperature prediction in steels

Journal Article

Hüter, C. (Corresponding author)
Yin, X.
Vo, Tuan
Braun, Stefanie

110000, 115010

2020

SABCEMM: A Simulator for Agent-Based Computational Economic Market Models

Journal Article

Trimborn, Torsten (Corresponding author)
Otte, Philipp Joachim
Cramer, Simon
Beikirch, Maximilian
Pabich, Emma
Frank, Martin

110000, 111920, 115020

2020

Normalisers of primitive permutation groups in quasipolynomial time

Journal Article

Roney-Dougal, Colva M. (Corresponding author)
Siccha, Sergio (Corresponding author)

110000, 115320

2020

The BGK approximation of kinetic models for traffic

Journal Article

Herty, Michael (Corresponding author)
Puppo, Gabriella
Roncoroni, Sebastiano
Visconti, Giuseppe

110000, 111400, 114620

2020

Statistical methods for the interpretation of recentrResults in neutrino physics

Diploma Thesis

Schoppmann, Stefan

110000, 116320

2020

Kinetic relaxation to entropy based coupling conditions for isentropic flow on networks

Journal Article

Holle, Yannick (Corresponding author)

110000, 111810, 114620

2020

Maximum observed likelihood prediction of future record values

Journal Article

Volovskiy, Grigoriy (Corresponding author)
Kamps, Udo

110000, 116410

2020

Degenerate Schubert Varieties in Type A

Journal Article

Chirivì, Rocco (Corresponding author)
Fang, Xin
Fourier, Ghislain Paul Thomas

110000, 114410

2020

Mathematische Module für Chemiker : Zielgruppenspezifische, interaktive Lehr-Lern-Einheiten

Dissertation / PhD Thesis

Hirshman, Markus

110000, 114220

2020

A Multigrid Method for Unfitted Finite Element Discretizations of Elliptic Interface Problems

Journal Article

Ludescher, Thomas (Corresponding author)
Gross, Sven (Corresponding author)
Reusken, Arnold (Corresponding author)

110000, 111400, 111710

2020

Tree tensor networks, associated singular values and high-dimensional approximation

Dissertation / PhD Thesis

Krämer, Sebastian

110000, 111410

2020

Quantifying uncertain system outputs via the multilevel Monte Carlo method — Part I: Central moment estimation

Journal Article

Krumscheid, Sebastian (Corresponding author)
Nobile, F.
Pisaroni, M.

110000, 118110, 119630

2020