Publikationen pro Jahr
Publikationen pro Jahr
- 1 – 50 von 65 Ergebnissen
Suchergebnisse
-
2024
Artificial Intelligence of Neuromorphic Systems: From Digital, Analogue, Quantum, and Brain-Oriented Computing to Hybrid AI
Mainzer, K., 1 Jan. 2024, World Scientific Publishing Co. 425 S.Publikation: Buch/Bericht › Buch › Begutachtung
-
Digital Sovereignty with „Living Guidelines for Responsible Use of Generative AI“
Mainzer, K., 2024, INFORMATIK 2024 - Lock-in or log out? Wie digitale Souveranitat gelingt. Klein, M., Krupka, D., Winter, C., Gergeleit, M. & Martin, L. (Hrsg.). Gesellschaft fur Informatik (GI), S. 665-676 12 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band 352).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
The emergence of symmetries in classical physics
Mainzer, K., 2024, in: Journal of Physics: Conference Series. 2877, 1, 012100.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung
Open Access -
2023
Zukunft durch hybride IT-und KI-Innovationen
Mainzer, K., 2023, INFORMATIK 2023 - Designing Futures: Zukunfte gestalten, Proceedings. Klein, M., Krupka, D., Winter, C. & Wohlgemuth, V. (Hrsg.). Gesellschaft fur Informatik (GI), S. 735-748 14 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-337).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
2022
Konzeptionelle Grundlagen der Künstlichen Intelligenz: KI und Naturwissenschaften
Mainzer, K., 2022, INFORMATIK 2022 - Informatik in den Naturwissenschaften. Demmler, D., Krupka, D. & Federrath, H. (Hrsg.). Gesellschaft fur Informatik (GI), S. 427-455 29 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-326).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Renewable Energy and Sustainable Digitalisation: Challenges for Europe
Mainzer, K., 1 Dez. 2022, in: Chemistry, Didactics, Ecology, Metrology. 27, 1-2, S. 5-23 19 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access6 Zitate (Scopus) -
The TUM Senior Excellence Faculty of the Technical University of Munich – A 15-Year Success Story
Molls, M., Herbst-Gaebel, B., Eberspächer, J., Auernhammer, H., Färber, G., Mainzer, K., Petry, W., Reichwald, R., Reiss, K., Wilderer, P. & Hofmann, T. F., 1 Okt. 2022, in: Proceedings of the European Academy of Sciences & Arts. 1, 1, S. 1-7 7 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2021
Künstliche Intelligenz und Nachhaltigkeit
Mainzer, K., 2021, INFORMATIK 2021 - Die 51. Jahrestagung der Gesellschaft fur Informatikin: Computer Science and Sustainability. Gesellschaft fur Informatik (GI), S. 1153-1162 10 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-314).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Preface
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2021, Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific Publishing Co., S. v-viPublikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort
2 Zitate (Scopus) -
Proof and Computation: Perspectives for Mathematics, Computer Science, and Philosophy
Mainzer, K., 1 Jan. 2021, Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific Publishing Co., S. 1-32 32 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2021, World Scientific Publishing Co. 408 S.Publikation: Buch/Bericht › Buch › Begutachtung
2 Zitate (Scopus) -
Science, Reason & Responsibiliy: Forward Thinking for the Post-Corona Era
Molls, M. (Herausgeber), Eberspächer, J. (Herausgeber), Auernhammer, H. (Herausgeber), Färber, G. (Herausgeber), Herbst-Gaebel, B. (Herausgeber), Lindemann, U. (Herausgeber), Mainzer, K. (Herausgeber), Petry, W. (Herausgeber), Reichwald, R. (Herausgeber), Scheurle, J. (Herausgeber), van Hemmen, J. L. (Herausgeber) & Wilderer, P. A. (Herausgeber), 1 Feb. 2021, TUM.University press. 305 S. (TUM Forum Sustainability)Publikation: Buch/Bericht › Buch
Open Access -
2020
Konzeptionelle Herausforderungen für die KI Workshop auf der INFORMATIK2020: Back to the Future – 50. Jahrestagung der Gesellschaft für Informatik
Kahle, R. & Mainzer, K., 2020, 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Reussner, R. H., Koziolek, A. & Heinrich, R. (Hrsg.). Gesellschaft fur Informatik (GI), S. 693-694 2 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-307).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
Technology foresight and sustainable innovation development in the complex dynamical systems view
Mainzer, K., 2020, in: Foresight and STI Governance. 14, 4, S. 10-19 10 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access13 Zitate (Scopus) -
Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz
Mainzer, K., 2020, 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Reussner, R. H., Koziolek, A. & Heinrich, R. (Hrsg.). Gesellschaft fur Informatik (GI), S. 695-718 24 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-307).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
2019
From Mathesis Universalis to Provability, Computability, and Constructivity
Mainzer, K., 2019, Synthese Library. Springer Science and Business Media B.V., S. 203-234 32 S. (Synthese Library; Band 412).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
The digital and the real universe. Foundations of natural philosophy and computational physics
Mainzer, K., März 2019, in: Philosophies. 4, 1, 3.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access1 Zitat (Scopus) -
2018
Manifest for Europe
Unger, F., Feldmann, E., Mainzer, K., Schmale, W. & Weidenfeld, W., Dez. 2018, in: Informatologia. 51, 3-4, S. 221-224 4 S.Publikation: Beitrag in Fachzeitschrift › Kommentar/Debatte
-
Preface
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., S. v-viPublikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort
4 Zitate (Scopus) -
Proof and computation: Digitization in mathematics, computer science, and philosophy
Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan. 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., S. 1-291 291 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
Proof and computation: Perspectives beyond turing computability
Mainzer, K., 1 Jan. 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., S. 1-52 52 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
1 Zitat (Scopus) -
2017
From Augmented Reality to the Internet of Things: Paradigm Shifts in Digital Innovation Dynamics
Mainzer, K., 1 Jan. 2017, Augmented Reality: Reflections on Its Contribution to Knowledge Formation. De Gruyter, S. 25-40 16 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
Open Access3 Zitate (Scopus) -
The Digital and the real world: Computational foundations of mathematics, science, technology, and philosophy
Mainzer, K., 1 Jan. 2017, World Scientific Publishing Co. 460 S.Publikation: Buch/Bericht › Buch › Begutachtung
4 Zitate (Scopus) -
2016
Toward a Theory of Intelligent Complex Systems: From Symbolic AI to Embodied and Evolutionary AI
Mainzer, K., 2016, Synthese Library. Springer Science and Business Media B.V., S. 241-259 19 S. (Synthese Library; Band 376).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
2 Zitate (Scopus) -
2015
Contribution to the UN Post-2015 development Agenda based on the concept of resilience
Bloesch, J., von Hauff, M., Mainzer, K., Venkata Mohan, S., Renn, O., Risse, V., Song, Y., Takeuchi, K. & Wilderer, P. A., 2 Juli 2015, in: Problemy Ekorozwoju. 10, 2, S. 7-13 7 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
10 Zitate (Scopus) -
Sustainable development integrated in the concept of resilence
Bloesch, J., von Hauff, M., Mainzer, K., Mohan, S. V., Renn, O., Risse, V., Song, Y., Takeuchi, K. & Wilderer, P. A., 2015, in: Problemy Ekorozwoju. 10, 1, S. 7-14 8 S.Publikation: Beitrag in Fachzeitschrift › Leitartikel
5 Zitate (Scopus) -
The emergence of self-conscious systems: From symbolic ai to embodied robotics
Mainzer, K., 6 Okt. 2015, Philosophy, Computing and Information Science. Taylor and Francis, S. 57-66 10 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
1 Zitat (Scopus) -
2014
Basic ideas in science: The concept of law in science
Mainzer, K., Mai 2014, in: European Review. 22, SUPPL. 1, S. S1Publikation: Beitrag in Fachzeitschrift › Leitartikel
Open Access -
The concept of law in natural, technical and social systems
Mainzer, K., Mai 2014, in: European Review. 22, SUPPL. 1, S. S2-S25Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
The direction of time in dynamical systems
Mainzer, K., 1 Jan. 2014, Direction of Time. Springer International Publishing, S. 157-164 8 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
The new role of mathematical risk modeling and its importance for society
Mainzer, K., 1 Jan. 2014, Risk - A Multidisciplinary Introduction. Springer International Publishing, S. 95-129 35 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
4 Zitate (Scopus) -
2013
Local activity principle
Mainzer, K. & Chua, L., 1 Jan. 2013, Imperial College Press. 443 S.Publikation: Buch/Bericht › Buch › Begutachtung
70 Zitate (Scopus) -
Local activity principle: The cause of complexity and symmetry breaking
Mainzer, K., 1 Jan. 2013, Chaos, CNN, Memristors and Beyond: A Festschrift for Leon Chua. World Scientific Publishing Co., S. 146-159 14 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
4 Zitate (Scopus) -
Symmetries of nature: A handbook for philosophy of nature and science
Mainzer, K., 2 Dez. 2013, De Gruyter Mouton. 681 S.Publikation: Buch/Bericht › Buch › Begutachtung
7 Zitate (Scopus) -
2012
Challenges of complexity in chemistry and beyond
Mainzer, K., 2012, Complexity in Chemistry and Beyond: Interplay Theory and Experiment: New and Old Aspects of Complexity in Modern Research. Springer Verlag, S. 1-28 28 S. (NATO Science for Peace and Security Series B: Physics and Biophysics).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
2 Zitate (Scopus) -
The cause of complexity in nature: An analytical and computational approach
Mainzer, K., 2012, Numerical Analysis and Applied Mathematics, ICNAAM 2012 - International Conference of Numerical Analysis and Applied Mathematics. 1 Aufl. S. 631-633 3 S. (AIP Conference Proceedings; Band 1479, Nr. 1).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
2011
Interdisciplinarity and innovation dynamics. On convergence of research, technology, economy, and society
Mainzer, K., Juni 2011, in: Poiesis und Praxis. 7, 4, S. 275-289 15 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access13 Zitate (Scopus) -
2010
Causality in natural, technical, and social systems
Mainzer, K., Okt. 2010, in: European Review. 18, 4, S. 433-454 22 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
3 Zitate (Scopus) -
Challenges of complex systems in cognitive and complex systems
Mainzer, K., 2010, Thinking Machines and the Philosophy of Computer Science: Concepts and Principles. IGI Global, S. 367-384 18 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
-
The Emergence of Temporal Structures in Dynamical Systems
Mainzer, K., 2010, in: Foundations of Physics. 40, 9, S. 1638-1650 13 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
-
2009
Challenges of complexity in the 21st century. An interdisciplinary introduction
Mainzer, K., 2009, in: European Review. 17, 2, S. 219-236 18 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access19 Zitate (Scopus) -
From embodied mind to embodied robotics: Humanities and system theoretical aspects
Mainzer, K., Sept. 2009, in: Journal of Physiology Paris. 103, 3-5, S. 296-304 9 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
16 Zitate (Scopus) -
2008
Organic computing and complex dynamical systems - Conceptual foundations and interdisciplinary perspectives
Mainzer, K., 2008, Organic Computing. Wurtz, R. (Hrsg.). S. 105-122 18 S. (Understanding Complex Systems; Band 2008).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
4 Zitate (Scopus) -
System: An Introduction to Systems Science
Mainzer, K., 1 Jan. 2008, The Blackwell Guide to the Philosophy of Computing and Information. wiley, S. 28-39 12 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
5 Zitate (Scopus) -
2007
The emergence of mind and brain: an evolutionary, computational, and philosophical approach
Mainzer, K., 2007, Models of Brain and Mind Physical, Computational and Psychological Approaches. Banerjee, R. & Chakrabarti, B. (Hrsg.). S. 115-132 18 S. (Progress in Brain Research; Band 168).Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
11 Zitate (Scopus) -
2006
COMPLEXITY IN NATURE AND SOCIETY: Complexity Management in the Age of Globalization
Mainzer, K., 1 Jan. 2006, Complexus Mundi: Emergent Patterns in Nature. World Scientific Publishing Co., S. 113-133 21 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung
1 Zitat (Scopus) -
The emergence of self-conscious systems from symbolic AI to embodied robotics
Mainzer, K., 2006, Human Implications of Human-Robot Interaction - Papers from the AAAI Workshop, Technical Report. S. 1-6 6 S. (AAAI Workshop - Technical Report; Band WS-06-09).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
-
2005
Knowledge representation and the embodied mind: Towards a philosophy and technology of personalized informatics
Balke, W. T. & Mainzer, K., 2005, in: CEUR Workshop Proceedings. 130Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung
-
Knowledge representation and the embodied mind: Towards a philosophy and technology of personalized informatics
Balke, W. T. & Mainzer, K., 2005, Professional Knowledge Management - Third Biennial Conference, WM 2005, Revised Selected Papers. Springer Verlag, S. 586-597 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3782 LNAI).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
10 Zitate (Scopus) -
NLOMJ-Natural language object model in Java
Jia, J., Ye, Y. & Mainzer, K., 2005, Intelligent Information Processing II - IFIP TC12/WG12.3 International Conference on Intelligent Information Processing, IIP 2004. Springer New York LLC, S. 201-209 9 S. (IFIP Advances in Information and Communication Technology; Band 163).Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung
Open Access8 Zitate (Scopus)