Results 91 to 100 of about 16,392 (251)
Meta-Mathematics of Computational Complexity Theory
Electron. Colloquium Comput. Complex.We survey results on the formalization and independence of mathematical statements related to major open problems in computational complexity theory. Our primary focus is on recent findings concerning the (un)provability of complexity bounds within theories of bounded arithmetic.
openaire +4 more sources
Agent based cooperative theory formation in pure mathematics [PDF]
, 2000 The HR program, Colton et al. (1999), performs theory formation in domains of pure mathematics. Given only minimal information about a domain, it invents concepts, make conjectures, proves theorems and finds counterexamples to false conjectures.
Bundy, Alan +5 more
core
Advanced Robotics Research, EarlyView.This review maps the methods to monitor robots’ health by fusing vibration, sound, control signals, vision, force, and oil information with artificial intelligence. It identifies deep learning, transfer learning, digital twins, and physics‐informed models as key methodological pathways enabling earlier diagnosis, safer human–robot collaboration, and ...
Yuting Qiao +6 more
wiley +1 more source
Continuum Robots in Surgery: From Engineering Design to Clinical Practice
Advanced Robotics Research, EarlyView.The hyper‐redundant nature of continuum robot structures enables near‐infinite degrees of freedom leading to immense potential for medical applications. This review provides a historical background of continuum robots and novel ideas shaping their progress to current structural design, sensing technology, modeling techniques, and control methods.
Griffin Smith +6 more
wiley +1 more source
Toward Mechanical Intelligence in Robotics
Advanced Robotics Research, EarlyView.Robots can use their physical bodies to perform functions usually assigned to electronic sensors and controllers. This perspective defines mechanical intelligence through three core operations: filtering inputs, routing mechanical signals, and switching between states.
Xinyi Yang +5 more
wiley +1 more source
Fostering students’ computational thinking: Student worksheets on integer material
InfinityComputational thinking (CT) is a critical 21st-century competency, yet its integration into mathematics education remains underdeveloped. At the same time, previous research has focused on identifying CT difficulties.
Hapizah Hapizah +2 more
doaj +1 more source
Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics
, 2012 In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics.
Peter Verdée, Verdée, Peter
core +1 more source
Consensus Formation and Change are Enhanced by Neutrality
Advanced Science, EarlyView.Neutral agents are shown to enhance both the formation and overturning of consensus in collective decision‐making. A general mathematical model and experiments with locusts and humans reveal that neutrality enables robust consensus via simple interactions and accelerates consensus change by reducing effective population size.
Andrei Sontag +3 more
wiley +1 more source
Theory of quantum computation and philosophy of mathematics. Part I
Logic and Logical Philosophy, 2010 In the article, the philosophical significance of quantum computation theory for philosophy of mathematics is discussed. In particular, I examine the notion of “quantum-assisted proof” (QAP); the discussion sheds light on the problem of the nature of mathematical proof; the potential empirical aspects of mathematics and the realism-antirealism debate ...
openaire +5 more sources
Student Teachers as Learners and Teachers: Praxeological Perspectives on Programming in Mathematics
Education SciencesThis study investigates how master’s student teachers (MSTs) conceptualize and integrate programming and computational thinking within mathematics education.
Odd Tore Kaufmann +3 more
doaj +1 more source