Semiring Provenance for Guarded Logics

Contribution to a book

Dannert, Katrin M. (Corresponding author)
Grädel, Erich (Corresponding author)

110000, 117220

2021

Semisimplicity and Indecomposable Objects in Interpolating Partition Categories

Journal Article

Flake, Johannes Matthias
Maaßen, Laura (Corresponding author)

110000, 114410, 114710, 115320

2021

Semismooth Newton method for affine differential variational inequalities

Journal Article

Steffensen, Sonja

110000, 114620

2013

Semi-Supervised Regression using Cluster Ensemble

Conference Presentation

Litvinenko, Alexander (Corresponding author)
Berikov, Vladimir

110000, 118110

2019

Semi-supervised regression using cluster ensemble and low-rank co-association matrix decomposition under uncertainties

Contribution to a book, Contribution to a conference proceedings

Berikov, Vladimir
Litvinenko, Alexander (Corresponding author)

110000, 118110

2019

Semi-symmetric origami waterbomb cell kinematics and tessellation for the design of thin-walled folded shells

Contribution to a conference proceedings

Robertz, Daniel (Corresponding author)
Spartali, Homam
Plesken, Wilhelm
Chudoba, Rostislav
Niemeyer, Alice Catherine

110000, 114410, 114710, 115320

2022

Senkrecht im n-Dimensionalen : Wie kann das sinnvoll gedeutet werden?

Contribution to a book, Journal Article

Heitzer, Johanna

110000, 112320, 114110

2014

Sensitivity analysis and optimization of sub-wavelength optical gratings using adjoints

Journal Article

Niederberger, Armand C. R. (Corresponding author)
Fattal, David A.
Gauger, Nicolas Ralph
Fan, Shanhui
Beausoleil, Raymond G.

110000, 115120, 115010

2014

Separable graphs, minors and the reconstruction conjecture

Dissertation / PhD Thesis

Annweiler, Benedikt

110000, 113210

2019

Separation logic and logics with team semantics

Contribution to a conference proceedings, Journal Article

Haase, Darion
Grädel, Erich (Corresponding author)
Wilke, Richard Marlon

110000, 117220

2021, 2022

Separation Logic and Logics with Team Semantics

Contribution to a conference proceedings

Grädel, Erich (Corresponding author)
Haase, Darion (Corresponding author)
Wilke, Richard Marlon (Corresponding author)

110000, 117220

2020

Separation of linear and nonlinear modes in a hyperbolic system describing electrophoresis

Journal Article

Freistühler, Heinrich

110000

1994

Sequences of symmetric polynomials and combinatorial properties of tableaux

Journal Article

Winkel, Rudolf

110000, 111110

1998

Sequential cross-validated bandwidth selection under dependence and Anscombe-type extensions to random time horizons

Journal Article

Steland, Ansgar

110000, 116110

2012

Sequential Data-Adaptive Bandwidth Selection by Cross-Validation for Nonparametric Prediction

Contribution to a conference proceedings, Journal Article

Steland, Ansgar

110000, 116110

2012

Sequential detection of three-dimensional signals under dependent noise

Journal Article

Prause, Annabel (Corresponding author)
Steland, Ansgar (Corresponding author)

110000, 116110

2017

Sequential k-out-of-n systems

Contribution to a book, Contribution to a conference proceedings

Cramer, Erhard
Kamps, Udo

116320, 116410, 110000

2001

Sequential k-out-of-n systems : model and estimation

Contribution to a conference proceedings

Beutner, Eric
Burkschat, Marco
Kamps, Udo

116220, 110000, 116410

2007

Sequential k-out-of-n systems with Weibull components

Journal Article

Cramer, Erhard
Kamps, Udo

116320, 116410, 110000

1998

Sequential Nonparametric Detection of High-Dimensional Signals under Dependent Noise

Dissertation / PhD Thesis

Prause, Annabel

116110, 110000

2015

Sequential order statistics

Contribution to a book

Cramer, Erhard

110000, 116320

2006

Sequential Order Statistics

Contribution to a book

Cramer, Erhard

110000, 116320

2014

Sequential order statistics and k-out-of-n systems with sequentially adjusted failure rates

Journal Article

Cramer, Erhard
Kamps, Udo

110000, 116320, 116410, 116110

1996

Sequential order statistics with an order statistics prior

Journal Article

Burkschat, Marco
Kamps, Udo
Kateri, Maria

116220, 110000, 116410

2010

Sequentially updated residuals and detection of stationary errors in polynomial regression models

Journal Article

Steland, Ansgar

116110, 110000

2008

Seven pivotal theorems of Fourier analysis, signal analysis, numerical analysis and number theory : their interconnections

Journal Article

Butzer, P. L.
Dodson, M. M.
Ferreira, P. J. S. G.
Higgins, J. R.
Schmeisser, G.
Stens, R. L. (Corresponding author)

114110, 110000

2014

S-extremal strongly modular lattices

Journal Article

Nebe, Gabriele
Schindelar, Kristina

110000, 114820

2007

Shadowing with multidimensional time in Banach spaces

Journal Article

Maczynska, Zofia
Tabor, Jacek

111810, 110000

2007

Shannon sampling theorem

Contribution to a book

Butzer, Paul L.

114110, 110000

2000

Shannon's Sampling Theorem for Bandlimited Signals and Their Hilbert Transform, Boas-Type Formulae for Higher Order Derivatives-The Aliasing Error Involved by Their Extensions from Bandlimited to Non-Bandlimited Signals

Journal Article

Butzer, Paul L.
Schmeisser, Gerhard
Stens, Rudolf Leonhard (Corresponding author)

110000, 114110

2012

Shape identification of geophysical objects with level set methods

Contribution to a conference proceedings

Papadopoulos, Dimitrios
Herty, Michael
Behr, Marek

114620, 110000

2010

Shape optimization for an elliptic operator with infinitely many positive and negative eigenvalues

Journal Article

Bandle, Catherine (Corresponding author)
Wagner, Alfred (Corresponding author)

110000, 111810

2016, 2018

Shape optimization methods locating layer interfaces in geothermal reservoirs

Abstract, Contribution to a conference proceedings, Journal Article

Simin, Huang (Corresponding author)
Wellmann, Jan Florian
Marquart, Gabriele
Clauser, Christoph
Herty, Michael

110000, 114620

2015

Shape Optimization Methods Locating Layer Interfaces in Geothermal Reservoirs

Contribution to a book, Contribution to a conference proceedings

Huang, Simin (Corresponding author)
Wellmann, Jan Florian
Marquart, Gabriele
Herty, Michael
Clauser, Christoph

110000, 114620

2015

Shape optimization of a floating body

Dissertation / PhD Thesis

Franken, Norbert

111810, 110000

2010

Sharp error bounds for the Crank-Nicolson and Saulyev difference scheme in connection with an initial boundary value problem for the inhomogeneous heat equation

Journal Article

Esser, H.
Goebbels, S. J.
Lüttgens, G.
Nessel, Rolf Joachim

114110, 111710, 110000

1995

Sharp error estimates for the numerical solution of boundary value problems of ordinary differential equations by finite difference schemes

Journal Article

Büttgenbach, B.
Esser, H.
Nessel, Rolf Joachim

111920, 114110, 110000

1993

Sharp inequalities for quantiles of system lifetime distributions from failure-dependent proportional hazard model

Journal Article

Burkschat, Marco (Corresponding author)
Rychlik, Tomasz

110000, 116220

2017, 2018

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

Sharp systolic inequalities for rotationally symmetric 2-orbifolds

Journal Article

Lange, Christian (Corresponding author)
Soethe, Tobias

110000

2023

Sharpness almost everywhere of equivalence assertions for the best approximation by algebraic polynomials

Journal Article

Imhof, Lorens
Nessel, Rolf Joachim

114110, 110000

1996

Shock capturing and front tracking methods for granular avalanches

Journal Article

Tai, Yih-Chin
Noelle, Sebastian
Gray, Nico
Hutter, Kolumban

111520, 110000

2002

Shock structure simulation using hyperbolic moment models in partially-conservative form

Contribution to a book, Contribution to a conference proceedings

Köllermeier, Julian (Corresponding author)
Torrilhon, Manuel

110000, 115010

2016

Shock waves, dead-zones and particle-free regions in rapid granular free surface flows

Journal Article

Gray, Nico
Tai, Yih-Chin
Noelle, Sebastian

111520, 110000

2003

Short-term growth: Evidence, for chaotic series of mini growth spurts in rat growth

Journal Article

Hermanussen, M.
de Lama, M. D. R.
Tresguerres, J. A. F.
Grasedyck, Lars
Burmeister, J.

111620, 110000

1998

Short-time dynamics in laser material processing

Contribution to a book, Contribution to a conference proceedings

Kostrykin, Vadim
Schulz, Wolfgang
Nießen, Markus
Michel, Jan

111110, 110000

2004

Shrinkage estimation in parametric families of distributions based on divergence measures

Dissertation / PhD Thesis

Dick, Artur

110000, 116410

2018

Shrinkage for covariance estimation: asymptotics, confidence intervals, bounds and applications in sensor monitoring and finance

Contribution to a book, Journal Article

Steland, Ansgar (Corresponding author)

110000, 116110

2018

Side Conditions for Ordinary Differential Equations

Journal Article

Cicogna, Giampaolo (Corresponding author)
Gaeta, Giuseppe (Corresponding author)
Walcher, Sebastian (Corresponding author)

114110, 110000, 114220

2015

Side peak suppression in responses of an across-frequency integration model to stimuli of varying bandwidth as demonstrated analytically and by implementation

Journal Article

Goeckel, Tom (Corresponding author)
Führ, Hartmut
Lakemeyer, Gerhard
Wagner, Hermann

110000, 114320

2013, 2014