Anzahl der Publikationen auf dieser Ebene: 845
2024
Scholl, Philipp; Iskandar, Maged; Wolf, Sebastian ORCID: https://orcid.org/0000-0001-5298-8901; Lee, Jinoh; Bacho, Aras; Dietrich, Alexander; Albu-Schäffer, Alin und Kutyniok, Gitta
(2024):
Learning-based adaption of robotic friction models.
In: Robotics and Computer-Integrated Manufacturing, Bd. 89, 102780
[PDF, 4MB]
2023
Berner, Julius; Grohs, Philipp; Kutyniok, Gitta und Petersen, Philipp
(2023):
The Modern Mathematics of Deep Learning.
In: Grohs, Philipp und Kutyniok, Gitta (Hrsg.):
Mathematical Aspects of Deep Learning. Cambridge: Cambridge University Press. S. 1-111
Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
4_03_Bedeutung-kognitive-Aktivierung. DigitUS Präsentation.
[Microsoft PowerPoint, 3MB]
Grohs, Philipp und Kutyniok, Gitta
(2023):
Preface.
In: Grohs, Philipp und Kutyniok, Gitta (Hrsg.):
Mathematical Aspects of Deep Learning. Cambridge: Cambridge University Press.
XV-XVIII
Gühring, Ingo; Raslan, Mones und Kutyniok, Gitta
(2023):
Expressivity of Deep Neural Networks.
In: Grohs, Philipp und Kutyniok, Gitta (Hrsg.):
Mathematical Aspects of Deep Learning. Cambridge: Cambridge University Press. S. 149-199
Landthaler, Markus; Nikolaus, Thomas und Schlichting, Marco
(2023):
L-theory of C*-algebras.
In: Proceedings of the London Mathematical Society, Bd. 127, Nr. 5: S. 1451-1506
[PDF, 570kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
2_02_StatusQuo. DigitUS Präsentation.
[PDF, 1MB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
2_03_Leitlinien. DigitUS Präsentation.
[PDF, 803kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
2_07_Reflexion-DigitaleMedien. DigitUS Präsentation.
[PDF, 654kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
2_09_Arbeitsauftrag. DigitUS Präsentation.
[PDF, 417kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
2_10_Abschluss. DigitUS Präsentation.
[PDF, 812kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
3_03_Einfuehrung-Konzeptorientierung. DigitUS Präsentation.
[PDF, 1MB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
3_04_Bedeutung-Konzeptorientierung. DigitUS Präsentation.
[PDF, 3MB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
3_11_Reflexion-Konzeptorientierung. DigitUS Präsentation.
[PDF, 1MB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
3_13_Arbeitsauftrag. DigitUS Präsentation.
[PDF, 424kB]
Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
3_14_Abschluss. DigitUS Präsentation.
[PDF, 1MB]
Scholl, Philipp; Dietrich, Felix; Otte, Clemens und Udluft, Steffen
(2023):
Safe Policy Improvement Approaches and Their Limitations.
14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Virtual Event, February 3–5, 2022.
In: Agents and Artificial Intelligence. 14th International Conference, ICAART 2022, Virtual Event, February 3–5, 2022, Revised Selected Papers, Lecture Notes in Computer Science
Bd. 13786
Cham: Springer. S. 74-98
Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
4_02_Einführung-kognitive-Aktivierung. DigitUS Präsentation.
[Microsoft PowerPoint, 7MB]
Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
4_07_Reflexion-Kognitive-Aktivierung. DigitUS Präsentation.
[PDF, 441kB]
Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
4_09_Arbeitsauftrag. DigitUS Präsentation.
[PDF, 404kB]
Ufer, Stefan ORCID: https://orcid.org/0000-0002-3187-3459; Förtsch, Christian ORCID: https://orcid.org/0000-0002-3625-6791; Kosiol, Timo ORCID: https://orcid.org/0000-0002-8386-5151; Traub, Dagmar ORCID: https://orcid.org/0000-0001-6618-1084; Mohr, Matthias ORCID: https://orcid.org/0000-0003-2828-6939; Aufleger, Monika ORCID: https://orcid.org/0000-0003-3051-7329; Rutkowski, Annemarie ORCID: https://orcid.org/0000-0002-7235-5391; Neuhaus, Birgit ORCID: https://orcid.org/0000-0001-6031-9660; Lindermayer, Christian ORCID: https://orcid.org/0000-0002-4017-3534 und Spangler, Michael ORCID: https://orcid.org/0000-0001-9345-8149
(3. Mai 2023):
4_10_Abschluss. DigitUS Präsentation.
[PDF, 734kB]
2022
Büchter, Theresa; Steib, Nicole; Böcherer-Linder, Katharina; Eichler, Andreas; Krauss, Stefan; Binder, Karin und Vogel, Markus
(25. Oktober 2022):
Designing Visualisations for Bayesian Problems According to Multimedia Principles.
In: Education Sciences, Bd. 12, Nr. 11
[PDF, 14MB]
Jakubassa-Amundsen, Doris H.; Haque, Abul Kalam Fazlul; Haque, Md Monirul; Billah, Md Masum; Basak, Arun Kumar; Saha, Bidhan Chandra und Uddin, Md Alfaz
(2022):
Electron and Positron Scattering from Precious Metal Atoms in the eV to MeV Energy Range.
In: Atoms, Bd. 10, Nr. 3, 82
Kolek, Stefan; Nguyen, Duc Anh; Levie, Ron; Bruna, Joan und Kutyniok, Gitta
(2022):
Cartoon Explanations of Image Classifiers.
17th European Conference on Computer Vision (ECCV 2022), Tel Aviv, Israel, October 23–27, 2022.
Avidan, Shai; Brostow, Gabriel; Cissé, Moustapha; Farinella, Giovanni Maria und Hassner, Tal (Hrsg.):
In: Computer Vision – ECCV 2022, Lecture Notes in Computer Science
Bd. 13672
Cham: Springer. S. 443-458
Kron, Stephanie; Sommerhoff, Daniel; Achtner, Maike; Stürmer, Kathleen; Wecker, Christof; Siebeck, Matthias und Ufer, Stefan
(2022):
Cognitive and Motivational Person Characteristics as Predictors of Diagnostic Performance: Combined Effects on Pre-Service Teachers' Diagnostic Task Selection and Accuracy.
In: Journal für Mathematik-Didaktik, Bd. 43, Nr. 1: S. 135-172
[PDF, 798kB]
LI, Jing; Stadlbauer, Andrea; Heller, Anton; Song, Zhiyang; Petermichl, Walter; Foltan, Maik; Schmid, Christof und Schopka, Simon
(2022):
Impact of fluid balance and blood transfusion during extracorporeal circulation on outcome for acute type A aortic dissection surgery.
In: Journal of Cardiovascular Surgery, Bd. 63, Nr. 6: S. 734-741
Scholl, Philipp; Dietrich, Felix; Otte, Clemens und Udluft, Steffen
(2022):
Safe Policy Improvement Approaches on Discrete Markov Decision Processes.
14th International Conference on Agents and Artificial Intelligence, Online, 3-5 February, 2022.
Rocha, Ana Paula; Steels, Luc und Herik, Jaap van den (Hrsg.):
In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence. Vol. II,
Setúbal: SciTePress - Science and Technology Publications, Lda.. S. 142-151
Yapar, Cagkan; Levie, Ron; Kutyniok, Gitta und Caire, Giuseppe
(2022):
LocUNet: Fast Urban Positioning Using Radio Maps and Deep Learning.
2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Singapore, Singapore, 7-13 May 2022 Virtual, 22-27 May 2022 (Main Venue).
In: 2022 IEEE International Conference on Acoustics, Speech, and Signal Processing: Proceedings,
Piscataway, NJ: IEEE. S. 4063-4067
2021
Borovoi, Mikhail; Semenov, Nikita und Zhykhovich, Maksim
(2021):
Hasse Principle for Rost Motives.
In: International Mathematics Research Notices, Bd. 2021, Nr. 6: S. 4231-4254
Das, Siddhant und Nöth, Markus
(2021):
Times of arrival and gauge invariance.
In: Proceedings of the Royal Society A-Mathematical Physical and Engineering Sciences, Bd. 477, Nr. 2250, 20210101
König, Gunnar; Molnar, Christoph; Bischl, Bernd und Grosse-Wentrup, Moritz
(2021):
Relative Feature Importance.
2020 25th International Conference on Pattern Recognition (ICPR), Milan, Italy, 10-15 January 2021.
In: 2020 25th International Conference on Pattern Recognition (ICPR),
New York: IEEE. S. 9318-9325
Mangiarotti, A.; Lauth, W.; Jakubassa-Amundsen, D. H.; Klag, P.; Malafronte, A. A.; Martins, M. N.; Nielsen, C. F. und Uggerhoj, U.
(2021):
Spectral distribution and Coulomb correction for nuclear bremsstrahlung induced by heavy targets.
In: Physics Letters B, Bd. 815, 136113
2020
Afroz, Sanjida; Haque, M. M.; Haque, A. K. Fazlul; Jakubassa-Amundsen, D. H.; Patoary, M. Atiqur R.; Shorifuddoza, M.; Khandker, Mahmudul H. und Uddin, M. Alfaz
(2020):
Elastic scattering of electrons and positrons from In-115 atoms over the energy range 1 eV-0.5 GeV.
In: Results in Physics, Bd. 18, 103179
[PDF, 4MB]
Hinz, Andreas M. und Movarraei, Nazanin
(2020):
THE HANOI GRAPH H-4(3).
In: Discussiones Mathematicae Graph Theory, Bd. 40, Nr. 4: S. 1095-1109
2019
Bousch, Thierry; Hinz, Andreas M.; Klavzar, Sandi; Parisse, Daniele; Petr, Ciril und Stockmeyer, Paul K.
(2019):
A note on the Frame-Stewart conjecture.
In: Discrete Mathematics Algorithms and Applications, Bd. 11, Nr. 4, 1950049
Einarsson, Hafsteinn; Lengler, Johannes; Mousset, Frank; Panagiotou, Konstantinos und Steger, Angelika
(2019):
Bootstrap percolation with inhibition.
In: Random Structures & Algorithms, Bd. 55, Nr. 4: S. 881-925
2018
Herppich, Stephanie; Praetorius, Anna-Katharina; Förster, Natalie; Glogger-Frey, Inga; Karst, Karina; Leutner, Detlev; Behrmann, Lars; Böhmer, Matthias; Ufer, Stefan; Klug, Julia; Hetmanek, Andreas; Ohle, Annika; Böhmer, Ines; Karing, Constance; Kaiser, Johanna und Suedkamp, Anna
(2018):
Teachers' assessment competence: Integrating knowledge-, process-, and product-oriented approaches into a competence-oriented conceptual model.
In: Teaching and Teacher Education, Bd. 76: S. 181-193
Karádais, Basil A.
(16. April 2018):
Nonflatness and totality.
In: Mathematical Structures in Computer Science, Bd. 29, Nr. 2: S. 309-338
[PDF, 276kB]
Münchhoff, Maximilian; Healy, Michael; Singh, Ravesh; Roider, Julia; Groll, Andreas; Kindra, Chirjeev; Sibaya, Thobekile; Moonsamy, Angeline; McGregor, Callum; Phan, Michelle Q.; Palma, Alejandro; Kloverpris, Henrik; Leslie, Alasdair; Bobat, Raziya; LaRussa, Philip; Ndung'u, Thumbi; Goulder, Philip; Sobieszczyk, Magdalena E. und Archary, Mohendran
(2018):
Malnutrition in HIV-Infected Children Is an Indicator of Severe Disease with an Impaired Response to Antiretroviral Therapy.
In: Aids Research and Human Retroviruses, Bd. 34, Nr. 1: S. 46-55
2017
Pucken, Valerie-Beau; Knubben-Schweizer, Gabriela; Döpfer, Dörte; Groll, Andreas; Hafner-Marx, Angela; Hörmansdorfer, Stefan; Sauter-Louis, Carola; Straubinger, Reinhard K.; Zimmermann, Pia und Hartnack, Sonja
(2017):
Evaluating diagnostic tests for bovine tuberculosis in the southern part of Germany: A latent class analysis.
In: PLOS One
12(6), e0179847
[PDF, 1MB]
Schwaighofer, Matthias; Vogel, Freydis; Kollar, Ingo; Ufer, Stefan; Strohmaier, Anselm; Terwedow, Ilka; Ottinger, Sarah; Reiss, Kristina und Fischer, Frank
(2017):
How to combine collaboration scripts and heuristic worked examples to foster mathematical argumentation - when working memory matters.
In: International Journal of Computer-Supported Collaborative Learning, Bd. 12, Nr. 3: S. 281-305
2016
Berger, Ulrich; Miyamoto, Kenji; Schwichtenberg, Helmut und Tsuiki, Hideki
(2016):
Logic for Gray-code Computation.
In: Probst, Dieter (Hrsg.):
Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic, Bd. 6. Berlin: Walter De Gruyter. S. 69-110
Meid, Andreas D.; Quinzler, Renate; Groll, Andreas; Wild, Beate; Saum, Kai-Uwe; Schöttker, Ben; Heider, Dirk; König, Hans-Helmut; Brenner, Hermann und Haefeli, Walter E.
(2016):
Longitudinal evaluation of medication underuse in older outpatients and its association with quality of life.
In: European Journal of Clinical Pharmacology, Bd. 72, Nr. 7: S. 877-885
Petrakis, Iosif
(2016):
The Urysohn Extension Theorem for Bishop Spaces.
In:
Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Lecture Notes in Computer Science, Bd. 9537. Cham: Springer. S. 299-316
Petrakis, Iosif
(2016):
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.
In: Beckmann, Arnold; Bienvenu, Laurent und Jonoska, Nataša (Hrsg.):
Pursuit of the Universal. 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9709. Cham: Springer. S. 364-374
Ramos-Cuevas, Carlos
(2016):
Convexity is a local property in CATκ(kappa) spaces.
In: Bárcenas, Noé; Galaz-García, Fernando und Moreno Rocha, Mónica (Hrsg.):
Mexican mathematicians abroad : recent contributions : First Workshop Matemáticos Mexicanos Jóvenes en el Mundo, August 22-24, 2012, Centro de Investigación en Matemáticas, A.C., Guanajuato, Mexico. Contemporary mathematics : CONM, Bd. 657. American Mathematical Society. S. 189-196
Schwichtenberg, Helmut; Seisenberger, Monika und Wiesnet, Franziskus
(2016):
Higman's Lemma and Its Computational Content.
In:
Advances in Proof Theory. Progress in Computer Science and Applied Logic, Bd. 28. Cham: Birkhäuser. S. 353-375
2015
2014
2013
Lötscher, Roland; MacDonald, Mark; Meyer, Aurel und Reichstein, Zinovy
(2013):
Essential dimension of algebraic tori.
In: Journal für die reine und angewandte Mathematik (Crelle's Journal), Nr. 677: S. 1-13
[PDF, 155kB]
2012
2011
2010
2009
2008
2003
2002
2001
Beidar, Konstantin I. und Kasch, Friedrich
(2001):
Good Conditions for the Total.
Third Korea-China-Japan International Symposium on Ring Theory, Kyongju, Korea, 28.6. - 3.7.1999.
Birkenmeier, Gary F. (Hrsg.):
In: International Symposium on Ring Theory, Trends in mathematics
Basel u.a.: Birkhäuser. S. 43-65
2000
Beidar, Konstantin I. und Kasch, Friedrich
(2000):
TOTO-Modules.
Algebra-Berichte, Bd. 76. München: R. Fischer.
[PDF, 981kB]
1998
1997
Kasch, Friedrich und Schneider, W.
(1997):
Exchanges in Ring Theory and the Total.
In: Jain, Surender K. (Hrsg.):
Advances in ring theory. Trends in mathematics, Basel u.a.: Birkhäuser. S. 163-174
1996
Kasch, Friedrich
(1996):
Regularity in Hom.
Algebra-Berichte, Bd. 75. München: Fischer.
[PDF, 544kB]
1995
1994
Brinkhoff, Thomas; Kriegel, Hans-Peter; Schneider, Ralf und Seeger, Bernhard
(1994):
GENESYS: A System for Efficient Spacial Query Processing.
ACM SIGMOD Interantional Conference on Managment of Data, Minneapolis, 1994.
In: Proceedings of ACM SIGMOD Interantional Conference on Managment of Data,
S. 519
[PDF, 16kB]
Brinkhoff, Thomas; Kriegel, Hans-Peter; Schneider, Ralf und Seeger, Bernhard
(1994):
Multi-Step Processing of Spatial Joins.
ACM SIGMOD International Conference on Management of Data, Minneapolis, 1994.
In: Proceedings of ACM SIGMOD International Conference on Management of Data,
S. 197-208
[PDF, 210kB]
Fritsch, Rudolf
(1994):
Albert Daniel Mercklein.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 162-163
[PDF, 6MB]
Fritsch, Rudolf
(1994):
August Ferdinand Möbius.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 600-603
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Franz Meyer.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 336-337
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Herbert Meschkowski.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 207-209
[PDF, 6MB]
Fritsch, Rudolf
(1994):
Karl Menger.
In:
Bayerische Akademie der Wissenschaften <München> / Historische Kommission (Hrsg.),
Neue deutsche Biographie. Bd. 17. Berlin: Duncker & Humblot. S. 74-75
[PDF, 6MB]
Fritsch, Rudolf
(1994):
An optimization oddity.
In: The college mathematics journal, Nr. 25: S. 227-229
[PDF, 170kB]
Kuzel, M.; DuBois, R. D.; Maier, R.; Heil, O.; Jakubaßa-Amundsen, Doris H.; Lucas, M. W. und Groeneveld, K. O.
(1994):
Elastic scattering of quasi-free electrons in strongly asymmetric collisions.
In: Journal of Physics, Bd. B, Nr. 27: S. 1993-2008
[PDF, 678kB]
1993
Brinkhoff, Thomas; Horn, H.; Kriegel, Hans-Peter und Schneider, Ralf
(1993):
Eine Speicher- und Zugriffsarchitektur für effiziente Anfragebearbeitung in Geo-Datenbankensystemen.
Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft, Braunschweig, 1993.
5. Fachtagung Datenbanksysteme in Büro, Technik und Wissenschaft (Hrsg.),
In: Datenbanksysteme in Büro, Technik und Wissenschaft,
Berlin: Springer. S. 356-374
[PDF, 2MB]
Brinkhoff, Thomas; Kriegel, Hans-Peter und Seeger, Bernhard
(1993):
Efficient Processing of Spatial Joins Using R-Trees.
ACM SIGMOD International Conference on Management of Data (SIGMOD'93), Washington DC, 1993.
In: Proceedings of ACM SIGMOD International Conference on Management of Data (SIGMOD'93),
S. 237-246
[PDF, 1MB]
Keim, Daniel A.; Kriegel, Hans-Peter und Miethsam, Andreas
(1993):
Object-oriented querying of existing relational databases.
4th International Conference on Database and Expert Systems Applications (DEXA'93) 6-8 Sept., Prag, 1993.
In: Proceedings of the 4th International Conference on Database and Expert Systems Applications (DEXA'93),
Berlin: Springer. S. 325-336
[PDF, 2MB]
Keim, Daniel A.; Kriegel, Hans-Peter und Miethsam, Andreas
(1993):
Visual feedback in querying large databases.
Visualization '93 Conference, San Jose, CA, 1993.
Visualization '93 Conference (Hrsg.),
In: Proceedings of Visualization '93 Conference,
S. 158-165
[PDF, 45kB]
Kriegel, Hans-Peter; Heep, S.; Fahldiek, A. und Mysliwietz, N.
(1993):
Handling Geometric Objects with Free Form Surfaces in Spatial Databases.
2nd ACM IEEE Symposium Solid Modeling '93, Montreal, Canada, 1993.
2nd ACM IEEE Symposium Solid Modeling '93 (Hrsg.),
In: Proceedings on 2nd ACM IEEE Symposium Solid Modeling '93,
[PDF, 16kB]
Schwichtenberg, Helmut
(1993):
Proofs as programs.
In: Aczel, P.; Simmons, H. und Wainer, S.S. (Hrsg.):
Proof Theory. Cambridge: Cambridge University Press. S. 81-113
[PDF, 2MB]
1992
Kuzel, M.; Heil, O.; Maier, R.; Lucas, M. W.; Jakubaßa-Amundsen, Doris H.; Farmery, B. W. und Groeneveld, K. O.
(1992):
The doubly inelastic contribution to electron loss: H0 and He0 (0,5 MeV u-1) in collision with Ar.
In: Journal of Physics, Bd. B, Nr. 25: S. 1839-1851
[PDF, 646kB]
Schneider, Ralf und Kriegel, Hans-Peter
(1992):
Indexing the spatiotemporal monitoring of a polygonal object.
5th International Symposium on Spatial Data Handling, Charlston, SC, 1991.
5th International Symposium on Spatial Data Handling (Hrsg.),
In: Proceedings of the 5th International Symposium on Spatial Data Handling,
S. 200-209
[PDF, 1MB]
Schwichtenberg, Helmut
(1992):
Minimal from classical proofs.
In: Börger, E.; Jäger, G.; Kleine-Büning, H. und Richter, M.M. (Hrsg.):
Computer Science Logic. Bd. 626. Berlin, Heidelberg, New York: Springer. S. 326-328
[PDF, 394kB]
1991
Berger, Ulrich und Schwichtenberg, Helmut
(1991):
An inverse of the evaluation functional for typed Lambda-calculus.
6th Annual IEE Symposium on Logic in Computer Science (LICS'91), Amsterdam, 15. - 18. Juli 1991.
Vermuri, R. (Hrsg.):
In: Proceedings of the 6th Symposium on Logic in Computer Science (LICS'91),
IEEE Computer Society Press, Los Alamitos. S. 203-211
[PDF, 1MB]
Schwichtenberg, Helmut
(1991):
Minimal logic for computable functions.
NATO Advanced Study Institute, International Summer School held in Marktoberdorf, Marktoberdorf, Germany, 23.Juli 1991 - 04. August 1991.
Bauer, Friedrich L. (Hrsg.):
In: Logic and algebra of specification,
Berlin, Heidelberg, New York: Springer. S. 290-320
[PDF, 2MB]
1990
Beckmann, Norbert; Kriegel, Hans-Peter; Schneider, Ralf und Seeger, Bernhard
(1990):
The R*-Tree: An efficient and robust access method for points an rectangles.
ACM SIGMOD International Conference on Management of Data (SIGMOD'90), Atlantic City, NJ, 1990.
ACM SIGMOD International Conference on Management of Data (SIGMOD'90) (Hrsg.),
In: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD'90),
S. 322-331
[PDF, 1MB]
Fritsch, Rudolf
(1990):
Hans von Mangoldt.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (Hrsg.),
Neue deutsche Biographie. Bd. 16. Berlin: Duncker und Humblot. S. 30-32
[PDF, 388kB]
Fritsch, Rudolf
(1990):
Rudolf Mehmke.
In:
Historischen Kommission bei der Bayerischen Akademie der Wissenschaften (Hrsg.),
Neue deutsche Biographie. Bd. 16. Berlin: Duncker & Humblot. S. 621-623
[PDF, 327kB]
Kasch, Friedrich
(1990):
The total in the category of modules.
General Algebra 1988, Krems, Österreich, 21. - 27.08 1988.
Mlitz, Rainer (Hrsg.):
In: General Algebra 1988 : Proceedings of the International Conference held in memory of Wilfried Nöbauer,
Amsterdam u.a.: North Holland Publishing Company. S. 129-137
[PDF, 789kB]
Kriegel, Hans-Peter; Schiwietz, M.; Schneider, Ralf und Seeger, B.
(1990):
Performance comparison of point and spatial access methods.
1st Smposium on the Design and Implementation of Large Spatial Databases, Santa Barabara, CA, 17-18 Juli 1989.
Goos, G. und Hartmanis, J. (Hrsg.):
In: Lecture Notes in Computer Science. Proceedings of the 1st Smposium on the Design and Implementation of Large Spatial Databases,
Bd. 409
Berlin: Springer. S. 89-114
[PDF, 2MB]
Schütte, Kurt und Schwichtenberg, Helmut
(1990):
Mathematische Logik.
In: Scharlau, W.; Fischer, G.; Hirzebruch, F. und Törnig, W. (Hrsg.):
Ein Jahrhundert Mathematik 1890 - 1990. Dokumente zur Geschichte der Mathematik, Bd. 6. Braunschweig: Vieweg. S. 717-740
[PDF, 4MB]
Zöschinger, Helmut
(1990):
Moduln mit Komprimärzerlegung.
In:
Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (Hrsg.),
Sitzungsberichte. Bd. 2. München: C. H. Beck. S. 5-25
[PDF, 1MB]
1989
Pareigis, Bodo
(1989):
Twisted Group Rings.
In: Communications in Algebra, Bd. 17: S. 2923-2939
[PDF, 159kB]
Schwichtenberg, Helmut
(1989):
Normalization.
International Summer School Marktoberdorf, Marktoberdorf, Germany, 25. Juli 1989 - 26. August 1989.
Bauer, F. L. (Hrsg.):
In: Logic, Algebra and Computation. Proceedings of the International Summer School of Marktoberdorf,
Berlin: Springer. S. 201-234
[PDF, 2MB]
1988
1987
Pareigis, Bodo
(1987):
Eigenschaften des leeren Raumes. Was denkbar ist.
In: Albers, Gerd und Schubert, Venanz (Hrsg.):
Der Raum - Raum des Menschen - Raum der Wissenschaft. Wissenschaft und Philosophie, Bd. 4. St. Ottilien: EOS Verlag. S. 183-202
[PDF, 1MB]
Schwichtenberg, Helmut
(1987):
Mathematische Logik.
In:
TU Berlin (Hrsg.),
Mathematik. Bd. 10. Berlin: TU Berlin. S. 39-42
[PDF, 1MB]
1986
Zöschinger, Helmut
(1986):
Minimax-Moduln.
In: Journal of Algebra, Nr. 102: S. 1-32
[PDF, 1MB]
1985
Fritsch, Rudolf
(1985):
Bourbaki in Kulmbach.
In: Folkerts, Menso und Lindgren, Uta (Hrsg.):
Mathemata - Festschrift für Helmuth Gericke. Bd. 12. Stuttgart: Steiner. S. 607-611
[PDF, 632kB]
Fritsch, Rudolf
(1985):
Ein geometrisches Beispiel für die Macht und Ohnmacht des Differentialkalküls.
19. Bundestagung für Didaktik der Mathematik, Giessen, Deutschland, 5. - 8.3.1985.
Franzbecker, B. (Hrsg.):
In: Beiträge zum Mathematikunterricht 1985 - Vorträge auf der 19. Bundestagung für Didaktik der Mathematik vom 5. 3. bis 8. 3. 1985 in Giessen,
Bad Salzdetfurth: Franzbecker. S. 115-118
[PDF, 621kB]
1984
Fritsch, Rudolf
(1984):
Energietetraeder?
In: Mitteilungen aus dem mathematischen Seminar Gießen, Nr. 163: S. 151-177
[PDF, 1MB]
1983
1982
Fritsch, Rudolf
(1982):
Geometrie im Grundkurs.
8. Tagung der Fachleiter für Mathematik an den Studienseminaren in der Bundesrepublik Deutschland und in West-Berlin, Fuldatal/Kassel, Deutschland, 27. September - 1. Oktober 1982.
Barth, Friedrich (Hrsg.):
In: Bericht über die 8. Tagung der Fachleiter für Mathematik an den Studienseminaren für Lehrerausbildung in der Bundesrepublik Deutschland einschließlich des Landes Berlin: Mathematikunterricht in Grundkursen - und in der Sekundarstufe I, unverzichtbarer ...,
Bd. 30
S. 8-20
[PDF, 933kB]
Schwichtenberg, Helmut
(1982):
Complexity of normalization in the pure typed Lambda-calculus.
The L.E.J. Browner Centenary Symposium, Noordwijkerhout, Niederlande, 08. - 13. Juni 1981.
Troelstra, A.S. und Dalen, D. van (Hrsg.):
In: Studies in Logic and the Foundations of Mathematics. The L.E.J. Browner Centenary Symposium. Proceedings of the Conference hald in Noordwijkerhout,
Bd. 110
Amsterdam: North Holland Publishing Company. S. 453-458
[PDF, 437kB]
Zöschinger, Helmut
(1982):
Gelfandringe und koabgeschlossene Untermoduln.
In:
Bayerische Akademie der Wissenschaften, Mathematische-Naturwissenschaftliche Klasse (Hrsg.),
Sitzungsberichte. Bd. 3. München: Verlag der Bayerischen Akademie der Wissenschaften. S. 43-70
[PDF, 2MB]
1981
1980
Zöschinger, Helmut
(1980):
Koatomare Moduln.
In: Mathematische Zeitschrift, Nr. 170: S. 221-232
[PDF, 708kB]
1979
1978
Fritsch, Rudolf
(1978):
Stammliste der masurischen Lehrerfamilie Gollub.
In:
Verein für Familienforschung in Ost- und Westpreußen (Hrsg.),
Altpreußische Geschlechterkunde. Bd. 8. Hamburg: Verein für Familienforschung in Ost- und Westpreußen. S. 141-144
[PDF, 421kB]
Schwichtenberg, Helmut
(1978):
Logic and the axiom of choice.
Logic Colloquium, Mons, Belgien, August 1978.
Boffa, M. (Hrsg.):
In: STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS. Logic Colloquium '78, Studies in logic and the foundations of mathematics
Bd. 97
Amsterdam: North Holland Publishing Company. S. 351-356
[PDF, 618kB]
1977
Fritsch, Rudolf
(1977):
Response to query 111.
In: Notices of the American Mathematical Society, Nr. 24: S. 222
[PDF, 232kB]
Pareigis, Bodo
(1977):
On Curves in Formal Groups.
In: Transactions of the American Mathematical Society, Bd. 233: S. 309-319
[PDF, 1MB]
Schwichtenberg, Helmut
(1977):
Proof Theorie: Some applications of cut-elimination.
In: Barwise, J. (Hrsg.):
Handbook of Mathematical Logic. Studies in logic and the foundations of mathematics, Bd. 90. Amsterdam: North Holland Publishing Company. S. 867-895
[PDF, 2MB]
1976
Buchholz, Wilfried
(1976):
Über Teilsysteme von _.
In: Archiv für mathematische Logik und Grundlagenforschung, Bd. 18: S. 85-98
[PDF, 886kB]
Fritsch, Rudolf; Brinkmann, Hans-Berndt; Kamps, Klaus Heiner und Wolff, Gerhard
(1976):
Werner Bos 1924-1973.
In: Jahresbericht der Deutschen Mathematiker-Vereinigung, Nr. 78: S. 67-77
[PDF, 1MB]
1975
Fritsch, Rudolf
(1975):
Zum Feuerbachschen Kreis.
Konstanzer Universitätsreden, Bd. 72. Konstanz: Universitätsverlag Konstanz.
[PDF, 2MB]
Fritsch, Rudolf
(1975):
Einbettung affiner Räume.
In: Mathematisch - Physikalische Semesterberichte, Nr. 22: S. 146-157
[PDF, 844kB]
Schwichtenberg, Helmut und Wainer, Stanley S.
(1975):
Infinite terms and recursion in higher types.
In: Diller, J. und Müller, G.H. (Hrsg.):
Proof Theory Symposium Kiel 1974. Bd. 500. Berlin, Heidelberg, New York: Springer. S. 341-364
[PDF, 843kB]
1974
Fritsch, Rudolf
(1974):
Werner Bos.
In: Didaktik der Mathematik, Nr. 2: S. 61
[PDF, 478kB]
1973
1972
Fritsch, Rudolf
(1972):
Simpliziale und semisimpliziale Mengen.
In: Bulletin de l`Acadèmie Polonaise des Sciences, Sèrie des Sciences Mathèmatiques, Astronomiques et Physiques, Bd. 20, Nr. 2: S. 159-168
[PDF, 814kB]
Pareigis, Bodo
(1972):
Algebraische Kategorien.
In: Laugwitz, Detlef (Hrsg.):
Überblicke Mathematik. Überblicke Mathematik, Bd. 5. Mannheim: Bibliographisches Institut. S. 111-144
[PDF, 2MB]
Pareigis, Bodo und Kasch, Friedrich
(1972):
Einfache Untermoduln von Kogeneratoren.
In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, Nr. 2: S. 45-76
[PDF, 2MB]
Rödding, Dieter und Schwichtenberg, Helmut
(1972):
Bemerkungen zum Spektralproblem.
In: Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Nr. 18: S. 1-12
[PDF, 653kB]
1971
1970
Kasch, Friedrich und Oberst, Ulrich
(1970):
Das Zentrum von Ringen mit Kettenbedingungen.
In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, Bd. 1970: S. 161-179
[PDF, 1MB]
Pareigis, Bodo
(1970):
Categories and Functors.
Pure and applied mathematics, Bd. 39. New York: Academic Press.
[PDF, 19MB]
1969
Fritsch, Rudolf
(1969):
On subdivision of semisimplicial sets.
In: Kurepa, Duro R. (Hrsg.):
Proceedings of the International Symposium on Topology and its Applications. Beograd: Savez Drustava Mat., Fiz. i Astronoma Jugoslavije. S. 156-163
[PDF, 1MB]
1968
1967
1966
Pareigis, Bodo und Rentschler, R.
(1966):
Reduktive Gruppen vom halbeinfachen Rang 1.
Seminaire Heidelberg-Strasbourg 1965/66, Heidelberg.
Seminaire Heidelberg - Strasbourg (Hrsg.),
In: Seminaire Heidelberg-Strasbourg 1965/66 : groupes algébriques linéaires,
S. 1-13
[PDF, 938kB]
1965
Pareigis, Bodo
(1965):
Radikale und kleine Moduln.
In: Sitzungsberichte / Bayerische Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, Nr. 14: S. 185-199
[PDF, 1MB]
1964
1962
1961
Kasch, Friedrich
(1961):
Projektive Frobenius-Erweiterungen.
Sitzungsberichte der Heidelberger Akademie der Wissenschaften / Mathematisch-Naturwissenschaftliche Klasse, Bd. 61. Heidelberg: Springer.
[PDF, 1MB]
1960
1958
1957
1956
1955
1954
1953
1952
Diese Liste wurde am
Thu Dec 19 18:30:49 2024 CET
erstellt.