@misc{RichterGebert, author = {Richter-Gebert, J{\"u}rgen}, title = {Mechanical Theorem Proving in Projective Geometry.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1013}, number = {SC-93-05}, abstract = {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.}}, language = {en} } @misc{RichterGebertZiegler, author = {Richter-Gebert, J{\"u}rgen and Ziegler, G{\"u}nter M.}, title = {Zonotopal Tilings and the Bohne-Dress Theorem.}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-1212}, number = {SC-93-25}, abstract = {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.}, language = {en} } @misc{GoetschelWeiserMaierhoferetal., author = {G{\"o}tschel, Sebastian and Weiser, Martin and Maierhofer, Christiane and Richter, Regina}, title = {Data Enhancement for Active Thermography}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-15243}, abstract = {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.}, language = {en} } @inproceedings{PetracekMaesBurgeretal.2012, author = {Petracek, Jiri and Maes, Bjorn and Burger, Sven and Luksch, Jaroslav and Kwiecien, Pavel and Richter, Ivan}, title = {Simulation of high-Q nanocavities with 1D photonic gap}, series = {Transparent Optical Networks (ICTON)}, booktitle = {Transparent Optical Networks (ICTON)}, publisher = {IEEE}, doi = {10.1109/ICTON.2012.6253762}, pages = {1 -- 4}, year = {2012}, language = {en} } @inproceedings{PetracekLukschMaesetal.2012, author = {Petracek, Jiri and Luksch, Jaroslav and Maes, Bjorn and Burger, Sven and Kwiecien, Pavel and Richter, Ivan}, title = {Simulation of photonic crystal nanocavities using a bidirectional eigenmode propagation algorithm: a comparative study}, series = {Micro- and nanophotonic materials and devices}, booktitle = {Micro- and nanophotonic materials and devices}, editor = {Ferrari, M. and Marciniak, M. and Righini, G. and Szoplik, T. and Varas, S.}, publisher = {IFN-CNR, Trento, Italy}, isbn = {9788377980200}, pages = {109 -- 112}, year = {2012}, language = {en} } @article{RichterSchlosserSchothetal.2012, author = {Richter, Marten and Schlosser, Felix and Schoth, Mario and Burger, Sven and Schmidt, Frank and Knorr, Andreas and Mukamel, Shaul}, title = {Reconstruction of the wave functions of coupled nanoscopic emitters using a coherent optical technique}, series = {Phys. Rev. B}, volume = {86}, journal = {Phys. Rev. B}, doi = {10.1103/PhysRevB.86.085308}, pages = {085308}, year = {2012}, language = {en} } @article{MaesPetračekBurgeretal.2013, author = {Maes, Bjorn and Petr{\´a}ček, Jiř{\´i} and Burger, Sven and Kwiecien, Pavel and Luksch, Jaroslav and Richter, Ivan}, title = {Simulations of high-Q optical nanocavities with a gradual 1D bandgap}, series = {Opt. Express}, volume = {21}, journal = {Opt. Express}, publisher = {OSA}, doi = {10.1364/OE.21.006794}, pages = {6794 -- 6806}, year = {2013}, language = {en} } @article{ArellanoMingaleevKoltchanovetal.2013, author = {Arellano, Cristina and Mingaleev, Sergei F. and Koltchanov, Igor and Richter, Andre and Pomplun, Jan and Burger, Sven and Schmidt, Frank}, title = {Efficient design of photonic integrated circuits (PICs) by combining device- and circuit- level simulation tools}, series = {Proc. SPIE}, volume = {8627}, journal = {Proc. SPIE}, doi = {10.1117/12.2004378}, pages = {862711}, year = {2013}, language = {en} } @misc{GoetschelWeiserMaierhoferetal., author = {G{\"o}tschel, Sebastian and Weiser, Martin and Maierhofer, Christiane and Richter, Regina}, title = {Data Enhancement for Active Thermography}, series = {E-book Proceedings, 11th International Conference on Quantitative Infrared Thermography, Naples}, journal = {E-book Proceedings, 11th International Conference on Quantitative Infrared Thermography, Naples}, editor = {Cardone, Gennaro}, abstract = {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.}, language = {en} } @masterthesis{Richter, type = {Bachelor Thesis}, author = {Richter, Stephanie}, title = {Mathematische Behandlung von Dienstreihenfolgeregeln in der Wochenschemaoptimierung}, language = {de} }