Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “klaus mainzer”
Skip side bar filters

  • Complex Systems, Artificial Intelligence, and Emerging Technologies

    Innovation in the 21st Century

    by Klaus Mainzer ...
    Series Book 1 - Complex Systems, Artificial Intelligence, and Emerging Technologies
    This book is the opening volume of an interdisciplinary series exploring the dynamic intersection of complex systems, artificial intelligence (AI), and emerging technologies. As AI-driven solutions become essential for handling vast and ever-growing data sets, innovation in computing technologies is crucial. At the same time, sustainability and resource limitations must be addressed.Bringing ... Read more

    $55.79 USD

  • Limits of AI - theoretical, practical, ethical

    by Klaus Mainzer, Reinhard Kahle ...
    Series series Engineering (R0)
    Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase of symbolic AI, AI focused on formal programs (e.g., expert systems), in which rule-based knowledge ... Read more

    $28.49 USD

  • Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

    by Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg ...
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive ... Read more

    $106.19 USD

  • Temporal Logic

    From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

    by Stefania Centrone, Klaus Mainzer ...
    Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of ... Read more

    $55.79 USD

  • The Universe as Automaton

    From Simplicity and Symmetry to Complexity

    by Klaus Mainzer, Leon Chua ...
    Series series Physics and Astronomy (R0)
    This Brief is an essay at the interface of philosophy and complexity research, trying to inspire the reader with new ideas and new conceptual developments of cellular automata. Going beyond the numerical experiments of Steven Wolfram, it is argued that cellular automata must be considered complex dynamical systems in their own right, requiring appropriate analytical models in order to find precise ... Read more

    $58.49 USD

  • Artificial intelligence - When do machines take over?

    by Klaus Mainzer ...
    Series series Engineering (R0)
    Everybody knows them. Smartphones that talk to us, wristwatches that record our health data, workflows that organize themselves automatically, cars, airplanes and drones that control themselves, traffic and energy systems with autonomous logistics or robots that explore distant planets are technical examples of a networked world of intelligent systems. Machine learning is dramatically changing our ... Read more

    $29.69 USD

  • Digital And The Real World, The: Computational Foundations Of Mathematics, Science, Technology, And Philosophy

    by Klaus Mainzer ...
    In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, ... Read more

    $113.39 USD

  • Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

    by Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg ...
    This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the ... Read more

    $70.19 USD

  • The Little Book of Time

    Translated by J. Eisinger ...
    by Klaus Mainzer ...
    Series series Physics and Astronomy (R0)
    chapter 1 Time in the Classical and Medieval Worldviews From the Beginnings to the Pre-Socratic School Zeno's Time Arrow and Aristotle's Continuum 6 Time and Creation According to Saint Augustine 15 Time and Medieval Astronomy 18 20 Calendars and Clocks chapter 2 Time in the Worldview of Classical Physics 25 Absolute Time According to Newton 26 Relational Time According to Leibniz 30 Time in ... Read more

    $23.79 USD

  • Local Activity Principle: The Cause Of Complexity And Symmetry Breaking

    by Klaus Mainzer, Leon O Chua ...
    The principle of local activity explains the emergence of complex patterns in a homogeneous medium. At first defined in the theory of nonlinear electronic circuits in a mathematically rigorous way, it can be generalized and proven at least for the class of nonlinear reaction-diffusion systems in physics, chemistry, biology, and brain research. Recently, it was realized by memristors for ... Read more

    $53.99 USD

  • Sustainable Risk Management

    Edited by Peter A. Wilderer, Ortwin Renn, Martin Grambow, Michael Molls, Klaus Mainzer ...
    Series series Earth and Environmental Science (R0)
    Here, expert authors delineate approaches that can support both decision makers as well as their concerned populations in overcoming unwarranted fears and in elaborating policies based on scientific evidence. Four exemplary focus areas were chosen for in-depth review, namely:- The scientific basis of risk management- Risk management in the area of environmental and ecological policy- Risk ... Read more

    $170.09 USD

  • Artificial Intelligence of Neuromorphic Systems

    From Digital, Analogue, Quantum, and Brain-Oriented Computing to Hybrid AI

    by Klaus Mainzer ...
    Series Book 99 - World Scientific Series on Nonlinear Science Series A
    This book argues for neuromorphic systems as a technology of the future, which are oriented towards the energy efficiency of natural brains. Energy efficiency is a dramatic claim in times of environmental and climate challenges which should consider the sustainability goals of the United Nations (UN). Mathematically, neuromorphic computing is connected to analogue ('real') computing, which ... Read more

    $106.19 USD