Results 41 to 50 of about 2,419,527 (287)

Investigation of the Mathematical Proof Ability of Prospective Teacher Students Through Cooperative Learning Approach

Edumatica: Jurnal Pendidikan Matematika
The research investigates pre-service teachers’ ability to create mathematical proofs through cooperative learning, as this skill becomes essential in university mathematics education. The research used a mixed-methods survey design to study 24 students
Nila Kesumawati, Lusiana Lusiana, Nyiayu Fahriza Fuadiah   +2 more
doaj   +1 more source

dynoGP: Deep Gaussian Processes for Dynamic System Identification

International Journal of Adaptive Control and Signal Processing, EarlyView.
This work introduces a novel class of deep models for system identification, dynamical deep Gaussian processes, which combine the strengths of data‐driven methods, such as those based on neural network architectures, with the ability to output a probability distribution for uncertainty representation.
Alessio Benavoli, Marco Forgione, Dario Piga, Marco Zaffalon   +3 more
wiley   +1 more source

A Novel Approach to Estimate the Transition Temperature via Dynamic Nanoindentation

Advanced Engineering Materials, EarlyView.
A new dynamic nanoindentation‐based method was developed that uses the stiffness ratio as an indicator of the elastic–plastic deformation contributions at different temperatures. The approach successfully identified transition temperatures in ferritic steel and distinguished them from continuously ductile austenitic steel.
Stefan Zeiler, Nikolaus Kostwein, Ronald Schnitzer, Christian Mitterer, Verena Maier‐Kiener   +4 more
wiley   +1 more source

Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]

, 2017
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational ...

core   +2 more sources

Mathematical Logic: Proof theory, Constructive Mathematics [PDF]

, 2014
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...

core   +1 more source

Mathematical Proof Between Generations [PDF]

, 2022
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may
David, Marco, Matiyasevich, Yuri, Schleicher, Dierk, Bayer, Jonas, Lamport, Leslie, Benzmüller, Christoph, Buzzard, Kevin, Zelmanov, Efim, Paulson, Lawrence, Stock, Benedikt, Paulsen, Lawrence, Lampert, Leslie   +11 more
core   +1 more source

Rotary 3D Printing With Integrated Electroplating

Advanced Engineering Materials, EarlyView.
A rotary material extrusion platform integrates localized copper electroplating with printing and encapsulation to fabricate cylindrical polymer–metal structures containing fully embedded, low‐resistance conductive pathways that enable internal Joule heating and thermally activated shape‐memory responses.
Antonio Zagaria, Nicola Larovere, Moslem Mohammadi, Gianluca Percoco, Ali Zolfagharian, Gianni Stano   +5 more
wiley   +1 more source

Enhancing mathematical proof skills in teacher education through etymology-based learning approaches

Indonesian Journal of Science and Mathematics Education
This study aims to enhance students' understanding of mathematical proof through the etymology-based learning method. The research employs a descriptive approach to observe and analyze students' mathematical proof patterns in various contexts.
Mohamad Rifat, Sudiansyah Sudiansyah, Septian Peterianus   +2 more
doaj   +1 more source

Configural reasoning as coordination of visualisation process

Enseñanza de las Ciencias, 2011
This study identifies visualisation processes in student primary teachers when they solve geometry problems requiring mathematical proof, in a pencil-and-paper environment.
Germán Torregrosa-Gironés, H. Quesada Vilella, M.C. Penalva Martínez   +2 more
doaj   +1 more source

Advances in Sustainable and Wearable Textile Based Soft Robotics

Advanced Functional Materials, EarlyView.
This Review examines advances in wearable textile‐based soft robotics, focusing on sustainable materials, integrated sensing, and scalable actuation. It discusses manufacturing and system integration across healthcare, assistive robotics, prosthetics, and human–machine interfaces, and highlights key challenges in circular design, including life‐cycle ...
Zahir Abbas, Marzia Dulal, Sophia K. Novoselov, Victoria K. Novoselov, Kostya S. Novoselov, Shaila Afroj, Nazmul Karim   +6 more
wiley   +1 more source