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 Ferdinand (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 (Corresponding author)
Melcher, Christof
Venakides, Stephanos

110000, 113110

2021

Computing near-equilibrium solutions for hyperbolic balance laws on networks

Dissertation / PhD Thesis

Mantri, Yogiraj

110000, 111410

2021

Hemocompatibility Evaluation of Biomaterials—The Crucial Impact of Analyzed Area

Journal Article

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

110000, 111410, 112430

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 Maria Katharina
Comis, Martin (Corresponding author)
Schmidt, Eva
Streicher, Manuel

110000, 113210, 113320, 119530

2021

Large‐sample approximations and change testing for high‐dimensional covariance matrices of multivariate linear time series and factor models

Contribution to a book, Contribution to a conference proceedings, Journal Article

Bours, Monika
Steland, Ansgar (Corresponding author)

110000, 116110

2021

Boundary value problems for a special Helfrich functional for surfaces of revolution: existence and asymptotic behaviour

Journal Article

Deckelnick, Klaus
Doemeland, Marco (Corresponding author)
Grunau, Hans-Christoph

110000, 111810

2021

Analysis and computation of equilibria in multilevel games with finitely and infinitely many players

Dissertation / PhD Thesis

Thünen, Anna

110000, 114620

2021

Parallel Hierarchical Matrix Technique to Approximate Large Covariance Matrices, Likelihood Functions and Parameter Identification

Conference Presentation

Litvinenko, Alexander (Corresponding author)
Berikov, V.
Genton, M.
Keyes, D.
Kriemann, R.
Sun, Y.

110000, 118110

2021

Cones from quantum groups to tropical flag varieties

Journal Article

Fang, Xin (Corresponding author)
Fourier, Ghislain Paul Thomas
Reineke, Markus

110000, 114410

2021

On free elementary ZpCp-lattices

Journal Article

Nebe, Gabriele (Corresponding author)

110000, 114820

2021

Well-balanced discontinuous Galerkin scheme for 2 × 2 hyperbolic balance law

Journal Article

Mantri, Yogiraj (Corresponding author)
Noelle, Sebastian

110000, 111400, 111520

2021

Horizontal and vertical log-concavity

Journal Article

Heim, Bernhard (Corresponding author)
Neuhauser, Markus

110000, 111920, 114110, 114320

2021

Sharp systolic inequalities for Riemannian and Finsler spheres of revolution

Journal Article

Abbondandolo, Alberto (Corresponding author)
Bramham, Barney
Hryniewicz, Umberto L.
Salomão, Pedro A. S.

110000, 112710

2021

PBW Degenerations of Lie Superalgebras and their Typical Representations

Journal Article

Fourier, Ghislain Paul Thomas (Corresponding author)
Kus, Deniz

110000, 114410

2021

On particles and splines in bounded domains

Contribution to a book, Journal Article

Kirchhart, Matthias (Corresponding author)

110000, 115010

2021

A note on tools for prediction under uncertainty and identifiability of SIR-like dynamical systems for epidemiology

Journal Article

Piazzola, Chiara
Tamellini, Lorenzo (Corresponding author)
Tempone, Raúl

110000, 118110

2021

An integral equation formulation of the N -body dielectric spheres problem. - Part II: complexity analysis

Journal Article

Bramas, Bérenger
Hassan, Muhammad (Corresponding author)
Stamm, Benjamin

110000, 115120

2021

Entropic Fokker-Planck kinetic model

Journal Article

Gorji, M. Hossein (Corresponding author)
Torrilhon, Manuel

110000, 115010

2021

A class of gradient flows of differential forms in negative homogeneous Sobolev spaces

Dissertation / PhD Thesis

Doemeland, Marco

110000, 113110

2021

Second-Order Traffic Flow Models on Networks

Journal Article

Göttlich, Simone (Corresponding author)
Herty, Michael
Moutari, Salissou
Weissen, Jennifer

110000, 111920, 114620

2021

Zero Set Structure of Real Analytic Beltrami Fields

Journal Article

Gerner, Wadim (Corresponding author)

110000, 111810, 112120, 113110

2021

Typical field lines of Beltrami flows and boundary field line behaviour of Beltrami flows on simply connected, compact, smooth manifolds with boundary

Journal Article

Gerner, Wadim (Corresponding author)

110000, 111810, 112120, 113110

2021

Mathematical modeling, simulation and optimization for power engineering and management / Simone Göttlich, Michael Herty, Anja Milde, editors

Book

Göttlich, Simone
Herty, Michael
Milde, Anja

110000, 114620

2021

High-dimensional variable selection via low-dimensional adaptive learning

Journal Article

Staerk, Christian (Corresponding author)
Kateri, Maria (Corresponding author)
Ntzoufras, Ioannis (Corresponding author)

110000, 116510

2021

A new general class of RC association models : Estimation and main properties

Journal Article

Forcina, Antonio (Corresponding author)
Kateri, Maria

110000, 116510

2021

Discrete Projections : A Step Towards Particle Methods on Bounded Domains without Remeshing

Journal Article

Kirchhart, Matthias (Corresponding author)
Rieger, Christian (Corresponding author)

110000, 115010

2021

Polynomial differential equations over the quaternions

Journal Article

Walcher, Sebastian
Zhang, Xiang (Corresponding author)

110000, 114110, 114220

2021

Nordhaus-Gaddum type results for connected and total domination

Contribution to a book, Journal Article

Khoeilar, Rana (Corresponding author)
Karami, Hossein
Chellali, Mustapha
Sheikholeslami, Seyed Mahmoud
Volkmann, Lutz

110000, 113210

2021

Inf-sup stability of the trace $ \mathbf{P}_2$-$ P_1$ Taylor-Hood elements for surface PDEs

Journal Article

Olshanskii, Maxim A. (Corresponding author)
Reusken, Arnold (Corresponding author)
Zhiliakov, Alexander (Corresponding author)

110000, 111710

2021

Sufficient Conditions for Graphs to Be $\textit{k}$-Connected, Maximally Connected, and Super-Connected

Journal Article

Hong, Zhen-Mu (Corresponding author)
Xia, Zheng-Jiang
Chen, Fuyuan
Volkmann, Lutz

110000, 113210

2021

On the optimality of the rock-salt structure among lattices with charge distributions

Journal Article

Bétermin, Laurent (Corresponding author)
Faulhuber, Markus
Knüpfer, Hans

110000, 114510

2021

High-confidence nonparametric fixed-width uncertainty intervals and applications to projected high-dimensional data and common mean estimation

Journal Article

Steland, Ansgar (Corresponding author)
Chang, Yuan-Tsung

110000, 116110

2021

Bending laminations on convex hulls of anti‐de Sitter quasi‐circles

Journal Article

Merlin, Louis (Corresponding author)
Schlenker, Jean-Marc (Corresponding author)

110000, 112710

2021

Congruence subgroups and orthogonal groups

Journal Article

Hauffe-Waschbüsch, Adrian
Krieg, Aloys (Corresponding author)

110000, 114110

2021

Polynomization of the Chern-Fu-Tang conjecture

Journal Article

Heim, Bernhard (Corresponding author)
Neuhauser, Markus

110000, 111920, 114110

2021

Sparse recovery in bounded Riesz systems with applications to numerical methods for PDEs

Journal Article

Brugiapaglia, Simone
Dirksen, Sjoerd
Jung, Hans Christian
Rauhut, Holger (Corresponding author)

110000, 114510

2021

On the geometry of polytopes generated by heavy-tailed random vectors

Journal Article

Guedon, Olivier
Krahmer, Felix (Corresponding author)
Kummerle, Christian
Mendelson, Shahar
Rauhut, Holger

110000, 114510

2021

Learning deep linear neural networks : Riemannian gradient flows and convergence to global minimizers

Journal Article

Bah, Bubacarr
Rauhut, Holger (Corresponding author)
Terstiege, Ulrich
Westdickenberg, Michael

110000, 111810, 114510, 114510

2021

Remarks on the outer-independent double Italian domination number

Journal Article

Volkmann, Lutz (Corresponding author)

110000, 113210

2021

Moment method for the Boltzmann equation of reactive quaternary gaseous mixture

Journal Article

Sarna, Neeraj (Corresponding author)
Oblapenko, Georgii
Torrilhon, Manuel

110000, 111810, 115010

2021

On Recovery Guarantees for One-Bit Compressed Sensing on Manifolds

Journal Article

Iwen, Mark A.
Krahmer, Felix
Krause-Solberg, Sara
Maly, Johannes (Corresponding author)

110000, 114510

2021

Computational approaches to non-convex, sparsity-inducing multi-penalty regularization

Journal Article

Kereta, Željko (Corresponding author)
Maly, Johannes
Naumova, Valeriya

110000, 114510

2021