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)
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.