Results 101 to 110 of about 92,095 (302)

THE I-CON MODEL IN CONSTRUCTING MATHEMATICAL PROOF

Jurnal Eduscience
Purpose-This research aims to analyze the role of the I-CON model in constructing mathematical proofs. Methodology-The research used is qualitative with a grounded theory approach.
Abdul Mujib, Firmansyah Firmansyah, Siti Shara Siagian, Devi Mathelinea   +3 more
doaj   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

Dual-Target CAR-Ts with On- and Off-Tumour Activity May Override Immune Suppression in Solid Cancers: A Mathematical Proof of Concept. [PDF]

Cancers (Basel), 2021
León-Triana O, Pérez-Martínez A, Ramírez-Orellana M, Pérez-García VM.   +3 more
europepmc   +1 more source

Helix Alignment, Chevrons, and Edge Dislocations in Twist‐Bend Ferroelectric Nematics

Advanced Science, EarlyView.
The recently discovered twist‐bend ferroelectric nematic (NTBF) is the new member of the multiferroic family, representing a fluid with an oblique helicoidal (heliconical) periodic structure of spontaneous electric polarization. The work presents a thorough exploration of the material properties of this phase, how the periodic modulation of ...
Bijaya Basnet, Priyanka Kumari, Sathyanarayana Paladugu, Damian Pociecha, Jakub Karcz, Przemysław Kula, Nataša Vaupotič, Ewa Górecka, Oleg D Lavrentovich   +8 more
wiley   +1 more source

Lower secondary school students’ understanding of algebraic proof [PDF]

, 2009
Secondary school students are known to face a range of difficulties in learning about proof and proving in mathematics. This paper reports on a study designed to address the issue of students’ cognitive needs for conviction and verification in algebraic ...
Kumakura, Hiroyuki, Kunimune, Susumu, Jones, Keith, Fujita, Taro   +3 more
core  

A Perspective on Interactive Theorem Provers in Physics

Advanced Science, EarlyView.
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Cooperating Reasoning Processes: More than Just the Sum of their Parts [PDF]

, 2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning process can achieve much more than they could if they only acted individually.
Bundy, Alan
core  

A proof-centric approach to mathematical assistants [PDF]

, 2006
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof ...
Jacques Fleuriot, Fleuriot, Jacques; id_orcid, Lucas Dixon, Dixon, Lucas, Fleuriot, Jacques   +4 more
core   +1 more source

Polychip‐A High‐Throughput Droplet Microfluidics Platform for Interrogating Microbial Interactions

Advanced Science, EarlyView.
Polychip, a fully integrated droplet microfluidics platform, enables high‐throughput, single‐cell resolution screening of polymicrobial interactions. By seamlessly combining six automated microfluidics operations on a single chip, the system accelerates antimicrobial discovery by 11 to 14 times compared to traditional robotic methods.
Jeong Jae Han, Adrian Ryan Guzman, Aifen Zhou, Han Zhang, Rohit Gupte, Haemin Jung, Kaylee Delgado, Sini Skariah, Ali Sultan, Arul Jayaraman, Paul de Figueiredo, Arum Han   +11 more
wiley   +1 more source