TY - GEN A1 - Richter-Gebert, Jürgen T1 - Mechanical Theorem Proving in Projective Geometry. N2 - 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.} T3 - ZIB-Report - SC-93-05 Y1 - 1993 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1013 ER - TY - GEN A1 - Richter-Gebert, Jürgen A1 - Ziegler, Günter M. T1 - Zonotopal Tilings and the Bohne-Dress Theorem. N2 - We prove a natural bijection between the polytopal tilings of a zonotope $Z$ by zonotopes, and the one-element-liftings of the oriented matroid ${\cal M}(Z)$ associated with $Z$. This yields a simple proof and a strengthening of the Bohne-Dress Theorem on zonotopal tilings. T3 - ZIB-Report - SC-93-25 Y1 - 1993 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-1212 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Maierhofer, Christiane A1 - Richter, Regina T1 - Data Enhancement for Active Thermography N2 - 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. T3 - ZIB-Report - 12-20 KW - data enhancement KW - active thermography KW - quantitative reconstruction KW - Green's functions Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-15243 UR - http://qirt.gel.ulaval.ca/archives/qirt2012/papers/QIRT-2012-167.pdf SN - 1438-0064 ER - TY - CHAP A1 - Petracek, Jiri A1 - Maes, Bjorn A1 - Burger, Sven A1 - Luksch, Jaroslav A1 - Kwiecien, Pavel A1 - Richter, Ivan T1 - Simulation of high-Q nanocavities with 1D photonic gap T2 - Transparent Optical Networks (ICTON) Y1 - 2012 U6 - https://doi.org/10.1109/ICTON.2012.6253762 SP - 1 EP - 4 PB - IEEE ER - TY - CHAP A1 - Petracek, Jiri A1 - Luksch, Jaroslav A1 - Maes, Bjorn A1 - Burger, Sven A1 - Kwiecien, Pavel A1 - Richter, Ivan ED - Ferrari, M. ED - Marciniak, M. ED - Righini, G. ED - Szoplik, T. ED - Varas, S. T1 - Simulation of photonic crystal nanocavities using a bidirectional eigenmode propagation algorithm: a comparative study T2 - Micro- and nanophotonic materials and devices Y1 - 2012 SN - 9788377980200 SP - 109 EP - 112 PB - IFN-CNR, Trento, Italy ER - TY - JOUR A1 - Richter, Marten A1 - Schlosser, Felix A1 - Schoth, Mario A1 - Burger, Sven A1 - Schmidt, Frank A1 - Knorr, Andreas A1 - Mukamel, Shaul T1 - Reconstruction of the wave functions of coupled nanoscopic emitters using a coherent optical technique JF - Phys. Rev. B Y1 - 2012 U6 - https://doi.org/10.1103/PhysRevB.86.085308 VL - 86 SP - 085308 ER - TY - JOUR A1 - Maes, Bjorn A1 - Petráček, Jiří A1 - Burger, Sven A1 - Kwiecien, Pavel A1 - Luksch, Jaroslav A1 - Richter, Ivan T1 - Simulations of high-Q optical nanocavities with a gradual 1D bandgap JF - Opt. Express Y1 - 2013 U6 - https://doi.org/10.1364/OE.21.006794 VL - 21 SP - 6794 EP - 6806 PB - OSA ER - TY - JOUR A1 - Arellano, Cristina A1 - Mingaleev, Sergei F. A1 - Koltchanov, Igor A1 - Richter, Andre A1 - Pomplun, Jan A1 - Burger, Sven A1 - Schmidt, Frank T1 - Efficient design of photonic integrated circuits (PICs) by combining device- and circuit- level simulation tools JF - Proc. SPIE Y1 - 2013 U6 - https://doi.org/10.1117/12.2004378 VL - 8627 SP - 862711 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Maierhofer, Christiane A1 - Richter, Regina ED - Cardone, Gennaro T1 - Data Enhancement for Active Thermography T2 - E-book Proceedings, 11th International Conference on Quantitative Infrared Thermography, Naples N2 - 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. Y1 - 2012 ER - TY - THES A1 - Richter, Stephanie T1 - Mathematische Behandlung von Dienstreihenfolgeregeln in der Wochenschemaoptimierung Y1 - 2013 ER -