@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} } @article{SchlosserSchothBurgeretal.2011, author = {Schlosser, Felix and Schoth, Mario and Burger, Sven and Schmidt, Frank and Knorr, Andreas and Mukamel, S. and Richter, Marten}, title = {Ultrafast nonlinear spectroscopy with spatially confined fields}, series = {AIP Conference Proceedings}, volume = {1398}, journal = {AIP Conference Proceedings}, publisher = {AIP}, doi = {10.1063/1.3644223}, pages = {94 -- 96}, year = {2011}, language = {en} } @inproceedings{SchlosserSchothBurgeretal.2012, author = {Schlosser, Felix and Schoth, Mario and Burger, Sven and Schmidt, Frank and Knorr, Andreas and Mukamel, Shaul and Richter, Marten}, title = {Coherent Nonlinear Spectroscopy with Spatiotemporally Controlled Fields}, series = {CLEO/QELS}, booktitle = {CLEO/QELS}, publisher = {Optical Society of America}, doi = {10.1364/QELS.2012.QF3D.6}, pages = {QF3D.6}, year = {2012}, language = {en} } @inproceedings{SchlosserSchothHiremathetal.2012, author = {Schlosser, Felix and Schoth, Mario and Hiremath, Kirankumar and Burger, Sven and Schmidt, Frank and Knorr, Andreas and Mukamel, Shaul and Richter, Marten}, title = {Combining nanooptical fields and coherent spectroscopy on systems with delocalized excitons}, series = {Proc. SPIE}, volume = {8260}, booktitle = {Proc. SPIE}, doi = {10.1117/12.906671}, pages = {82601V}, year = {2012}, language = {en} } @article{KoschekDurmazKrylovaetal., author = {Koschek, and Durmaz, Vedat and Krylova, and Wieczorek, and Gupta, Pooja and Richter, and Bujotzek, Alexander and Fischer, and Haag, Rainer and Freund, and Weber, Marcus and Rademann,}, title = {Peptide polymer ligands for a tandem WW-domain, a soft multivalent protein-protein interaction: lessons on the thermodynamic fitness of flexible ligands}, series = {Beilstein J. Org. Chem.}, volume = {11}, journal = {Beilstein J. Org. Chem.}, pages = {837 -- 847}, language = {en} } @article{GoetschelWeiserMaierhoferetal., author = {G{\"o}tschel, Sebastian and Weiser, Martin and Maierhofer, Christiane and Richter, Regina and R{\"o}llig, Mathias}, title = {Fast Defect Shape Reconstruction Based on the Travel Time in Pulse Thermography}, series = {Nondestructive Testing of Materials and Structures}, volume = {6}, journal = {Nondestructive Testing of Materials and Structures}, pages = {83 -- 89}, language = {en} } @misc{EgeFothBaumetal., author = {Ege, Yannic and Foth, Christian and Baum, Daniel and Wirkner, Christian S. and Richter, Stefan}, title = {Making spherical-harmonics-based Geometric Morphometrics (SPHARM) approachable for 3D images containing large cavity openings using Ambient Occlusion - a study using hermit crab claw shape variability}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-77744}, abstract = {An advantageous property of mesh-based geometric morphometrics (GM) towards landmark-based approaches, is the possibility of precisely examining highly irregular shapes and highly topographic surfaces. In case of spherical-harmonics-based GM the main requirement is a completely closed mesh surface, which often is not given, especially when dealing with natural objects. Here we present a methodological workflow to prepare 3D segmentations containing large cavity openings for the conduction of spherical-harmonics-based GM. This will be exemplified with a case study on claws of hermit crabs (Paguroidea, Decapoda, Crustacea), whereby joint openings - between manus and "movable finger" - typify the large-cavity-opening problem. We found a methodology including an ambient-occlusion-based segmentation algorithm leading to results precise and suitable to study the inter- and intraspecific differences in shape of hermit crab claws. Statistical analyses showed a significant separation between all examined diogenid and pagurid claws, whereas the separation between all left and right claws did not show significance. Additionally, the procedure offers other benefits. It is easy to reproduce and creates sparse variance in the data, closures integrate smoothly into the total structures and the algorithm saves a significant amount of time.}, language = {en} } @article{EgeFothBaumetal., author = {Ege, Yannic and Foth, Christian and Baum, Daniel and Wirkner, Christian S. and Richter, Stefan}, title = {Making spherical-harmonics-based Geometric Morphometrics (SPHARM) approachable for 3D images containing large cavity openings using Ambient Occlusion - a study using hermit crab claw shape variability}, series = {Zoomorphology}, volume = {139}, journal = {Zoomorphology}, doi = {10.1007/s00435-020-00488-z}, pages = {421 -- 432}, abstract = {An advantageous property of mesh-based geometric morphometrics (GM) towards landmark-based approaches, is the possibility of precisely examining highly irregular shapes and highly topographic surfaces. In case of spherical-harmonics-based GM the main requirement is a completely closed mesh surface, which often is not given, especially when dealing with natural objects. Here we present a methodological workflow to prepare 3D segmentations containing large cavity openings for the conduction of spherical-harmonics-based GM. This will be exemplified with a case study on claws of hermit crabs (Paguroidea, Decapoda, Crustacea), whereby joint openings - between manus and "movable finger" - typify the large-cavity-opening problem. We found a methodology including an ambient-occlusion-based segmentation algorithm leading to results precise and suitable to study the inter- and intraspecific differences in shape of hermit crab claws. Statistical analyses showed a significant separation between all examined diogenid and pagurid claws, whereas the separation between all left and right claws did not show significance. Additionally, the procedure offers other benefits. It is easy to reproduce and creates sparse variance in the data, closures integrate smoothly into the total structures and the algorithm saves a significant amount of time.}, language = {en} } @inproceedings{RichterBerner, author = {Richter, Lorenz and Berner, Julius}, title = {Robust SDE-Based Variational Formulations for Solving Linear PDEs via Deep Learning}, series = {Proceedings of the 39th International Conference on Machine Learning, PMLR}, volume = {162}, booktitle = {Proceedings of the 39th International Conference on Machine Learning, PMLR}, pages = {18649 -- 18666}, abstract = {The combination of Monte Carlo methods and deep learning has recently led to efficient algorithms for solving partial differential equations (PDEs) in high dimensions. Related learning problems are often stated as variational formulations based on associated stochastic differential equations (SDEs), which allow the minimization of corresponding losses using gradient-based optimization methods. In respective numerical implementations it is therefore crucial to rely on adequate gradient estimators that exhibit low variance in order to reach convergence accurately and swiftly. In this article, we rigorously investigate corresponding numerical aspects that appear in the context of linear Kolmogorov PDEs. In particular, we systematically compare existing deep learning approaches and provide theoretical explanations for their performances. Subsequently, we suggest novel methods that can be shown to be more robust both theoretically and numerically, leading to substantial performance improvements.}, language = {en} } @inproceedings{BernerRichterUllrich, author = {Berner, Julius and Richter, Lorenz and Ullrich, Karen}, title = {An optimal control perspective on diffusion-based generative modeling}, series = {NeurIPS 2022 Workshop on Score-Based Methods}, booktitle = {NeurIPS 2022 Workshop on Score-Based Methods}, abstract = {We establish a connection between stochastic optimal control and generative models based on stochastic differential equations (SDEs) such as recently developed diffusion probabilistic models. In particular, we derive a Hamilton-Jacobi-Bellman equation that governs the evolution of the log-densities of the underlying SDE marginals. This perspective allows to transfer methods from optimal control theory to generative modeling. First, we show that the evidence lower bound is a direct consequence of the well-known verification theorem from control theory. Further, we develop a novel diffusion-based method for sampling from unnormalized densities -- a problem frequently occurring in statistics and computational sciences.}, language = {en} } @misc{RaharinirinaWeberBirketal., author = {Raharinirina, N. Alexia and Weber, Marcus and Birk, Ralph and Fackeldey, Konstantin and Klasse, Sarah M. and Richter, Tonio Sebastian}, title = {Different Tools and Results for Correspondence Analysis}, doi = {10.12752/8257}, abstract = {This is a list of codes generated from ancient egyptian texts. The codes are used for a correspondence analysis (CA). Codes and CA software are available from the linked webpage.}, language = {en} }