output
20022026
most citedTheory of Core-Collapse Supernovae

900 citations

Showing 2019Show all

99 papers · 1 filter

math.NA2019

On the structure preserving high-order approximation of quasistatic poroelasticity

Herbert Egger, Mania Sabouri

We consider the systematic numerical approximation of Biot's quasistatic model for the consolidation of a poroelastic medium. Various discretization schemes have been analysed for…

cs.HC20194 cited

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Eduard Kamburjan, Jonas Stromberg

Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to…

math.FA20193 cited

Quantitative results on the multi-parameters Proximal Point Algorithm

Bruno Dinis, Pedro Pinto

We give a quantitative analysis of a theorem due to Fenghui Wang and Huanhuan Cui concerning the convergence of a multi-parametric version of the proximal point algorithm. Wang and…

nucl-ex201951 cited

Shell evolution of isotones towards Ca: First spectroscopy of Ti

M. L. Cortés, W. Rodriguez, P. Doornenbal +81

Excited states in the isotone Ti were populated via the VTi reaction at 200~MeV/u at the Radioactive Isotope Beam Factory and studied usin…

cs.CE201915 cited

Robust Adaptive Least Squares Polynomial Chaos Expansions in High-Frequency Applications

Dimitrios Loukrezis, Armin Galetzka, Herbert De Gersem

We present an algorithm for computing sparse, least squares-based polynomial chaos expansions, incorporating both adaptive polynomial bases and sequential experimental designs. The…

math.NA2019

A second order finite element method with mass lumping for wave equations in

Herbert Egger, Bogdan Radu

We consider the efficient numerical approximation of acoustic wave propagation in time domain by a finite element method with mass lumping. In the presence of internal damping, the…