TY  - JOUR
A1  - Faßbender, Heinz
A1  - Maneth, Sebastian
T1  - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
JF  - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)
Y1  - 1996
SN  - 3-540-61735-3
N1  - (Lecture notes in computer science ; 1139)
SP  - 194
EP  - 208
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Reißel, Martin
A1  - Bitsch, G.
A1  - Stamm, H.
T1  - A Stern Door Slam Fatigue Calculation / Bitsch, G. ; Reißel, M. ; Stamm, H.
JF  - Proceedings of the 18. CAD-FEM Users Meeting
Y1  - 2000
ER  - 
TY  - JOUR
A1  - Clausnitzer, Julian
A1  - Kleefeld, Andreas
T1  - A spectral Galerkin exponential Euler time-stepping scheme for parabolic SPDEs on two-dimensional domains with a C²  boundary
JF  - Discrete and Continuous Dynamical Systems - Series B
N2  - We consider the numerical approximation of second-order semi-linear parabolic stochastic partial differential equations interpreted in the mild sense which we solve on general two-dimensional domains with a C² boundary with homogeneous Dirichlet boundary conditions. The equations are driven by Gaussian additive noise, and several Lipschitz-like conditions are imposed on the nonlinear function. We discretize in space with a spectral Galerkin method and in time using an explicit Euler-like scheme. For irregular shapes, the necessary Dirichlet eigenvalues and eigenfunctions are obtained from a boundary integral equation method. This yields a nonlinear eigenvalue problem, which is discretized using a boundary element collocation method and is solved with the Beyn contour integral algorithm. We present an error analysis as well as numerical results on an exemplary asymmetric shape, and point out limitations of the approach.
KW  - Nonlinear eigenvalue problems
KW  - Boundary integral equations,
KW  - Exponential Euler scheme,
KW  - Parabolic SPDEs
Y1  - 2024
U6  - https://doi.org/10.3934/dcdsb.2023148
SN  - 1531-3492
SN  - 1553-524X (eISSN)
VL  - 29
IS  - 4
SP  - 1624
EP  - 1651
PB  - AIMS
CY  - Springfield
ER  - 
TY  - JOUR
A1  - Weigand, Christoph
T1  - A Solution to the Scheduling Problem Taking into Account Quality
JF  - Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991 / [GMÖOR]. Peter Gritzmann ... (eds.)
Y1  - 1991
SN  - 3790806080
N1  - Symposium on Operations Research ; (16, 1991, Trier)
SP  - 373
EP  - 375
PB  - Physica-Verl.
CY  - Heidelberg
ER  - 
TY  - JOUR
A1  - Hillen, Walter
A1  - Alper Selver, M.
A1  - Fischer, Felix
A1  - Kuntalp, Mehmet
T1  - A software tool for interactive generation, representation, and systematical storage of transfer functions for 3D medical images / Alper Selver, M. ; Fischer, Felix ; Kuntalp, Mehmet ; Hillen, Walter
JF  - Computer Methods and Programs in Biomedicine. 86 (2007), H. 3
Y1  - 2007
SN  - 0169-2607
SP  - 270
EP  - 280
PB  - -
ER  - 
TY  - JOUR
A1  - Dachwald, Bernd
A1  - Ball, Andrew J.
A1  - Ulamec, Stephan
A1  - Price, Michael E.
T1  - A small mission for in situ exploration of a primitive binary near-Earth asteroid  / Ball, Andrew J. ; Ulamec, Stephan ; Dachwald, Bernd ; Price, Michael E. ; [u.a.]
JF  - Advances in Space Research. 43 (2009), H. 2
Y1  - 2009
SN  - 0273-1177
SP  - 317
EP  - 324
PB  - Elsevier
CY  - Amsterdam
ER  - 
TY  - JOUR
A1  - Ferrein, Alexander
A1  - Beck, Daniel
A1  - Lakemeyer, Gerhard
T1  - A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard
JF  - RoboCup 2007: Robot Soccer World Cup XI
Y1  - 2007
SN  - 978-3-540-68846-4
N1  - Lecture Notes in Computer Science ; 5001
SP  - 136
EP  - 147
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Prume, Klaus
A1  - Booij, W. E.
A1  - Vogl, A. H.
A1  - Wang, D. T.
T1  - A simple and powerful analytical model for MEMS piezoelectric multimorphs  / Booij, W. E. ; Vogl, A. H. ; Wang, D. T. ; Tyholdt, F. ; Ostbo, N. P. ; Raeder, H. ; Prume, K.
JF  - Journal of Electroceramics. 19 (2007), H. 4
Y1  - 2007
SN  - 1385-3449
SP  - 387
EP  - 393
ER  - 
TY  - JOUR
A1  - Pieper, Martin
A1  - Klein, Peter
T1  - A simple and accurate numerical network flow model for bionic micro heat exchangers
JF  - Heat mass transfer
Y1  - 2011
SN  - 0947-7411
VL  - 47
IS  - 5
SP  - 491
EP  - 503
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Schöning, Michael Josef
A1  - Weidenbrück, B.
A1  - Thust, M.
A1  - Kordos, P.
A1  - Lüth, H.
T1  - A silicon-based sensor array with capacitive EIS structures
JF  - Proceedings of the 11th European Conference on Solid-State Transducers / Eurosensors XI, September 21 - 24, 1997, Warsaw, Poland. [Organised by] Warsaw University of Technology. Vol 2.
Y1  - 1997
SN  - 83-908335-0-6
N1  - Eurosensors ; (11, 1997, Warszawa) ; Eurosensors - European Conference on Solid-State Transducers ; (11 : ; 1997.09.21-24 : ; Warsaw)
SP  - 871
EP  - 874
PB  - Sensor Lab Sp.
CY  - Warsaw
ER  -