Refine
Year of publication
Document Type
- Article (14)
- In Proceedings (7)
- ZIB-Report (6)
- Bachelor's Thesis (1)
- Book chapter (1)
- In Collection (1)
- Research data (1)
Is part of the Bibliography
- no (31)
Keywords
- importance sampling (2)
- metadynamics (2)
- metastability (2)
- neural networks (2)
- rare event simulation (2)
- stochastic optimal control (2)
- Donsker-Varadhan principle (1)
- Green's functions (1)
- Importance sampling (1)
- active thermography (1)
Institute
- Numerical Mathematics (15)
- Modeling and Simulation of Complex Processes (12)
- Computational Nano Optics (8)
- Computational Medicine (3)
- Visual Data Analysis (2)
- Visual and Data-centric Computing (2)
- ZIB Allgemein (2)
- Computational Molecular Design (1)
- Image Analysis in Biology and Materials Science (1)
- Mathematical Optimization (1)
- Mathematics for Life and Materials Science (1)
We present an algorithm that is able to confirm projective incidence statements by carrying out calculations in the ring of all formal determinants (brackets) of a configuration. We will describe an implementation of this power and present a series of examples treated by the prover, including {\it Pappos' and Desargues' Theorems,} the {\it Sixteen Point Theorem, Saam's Theorem, }the {\it Bundle Condition,} the uniqueness of a harmonic Point and {\it Pascal's Theorem.}
Pulse thermography is a non-destructive testing method based on infrared imaging of transient thermal patterns. Heating the surface of the structure under test for a short period of time generates a non-stationary temperature distribution and thus a thermal contrast between the defect and the sound material. Due to measurement noise, preprocessing of the experimental data is necessary, before reconstruction algorithms can be applied. We propose a decomposition of the measured temperature into Green's function solutions to eliminate noise.
Pulse thermography is a non-destructive testing method based on infrared imaging of transient thermal patterns. Heating the surface of the structure under test for a short period of time generates a non-stationary temperature distribution and thus a thermal contrast between the defect and the sound material. Due to measurement noise, preprocessing of the experimental data is necessary, before reconstruction algorithms can be applied. We propose a decomposition of the measured temperature into Green's function solutions to eliminate noise.