Results 171 to 180 of about 3,412,246 (356)

From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures

, 2008
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub   +2 more
openalex   +2 more sources

Proof and Argumentation in Mathematics Education Research [PDF]

, 2016
Andreas J. Stylianides, Kristen N. Bieda, Francesca Morselli   +2 more
openalex   +1 more source

Harnessing Nonidealities in Analog In‐Memory Computing Circuits: A Physical Modeling Approach for Neuromorphic Systems

Advanced Intelligent Systems, EarlyView.
This work harnesses nonidealities in analog in‐memory computing (IMC) by training physical neural networks modeled with ordinary differential equations. A differentiable spike‐time discretization accelerates training by 20× and reduces memory usage by 100×, enabling large IMC‐equivalent models to learn the CIFAR‐10 dataset.
Yusuke Sakemi, Yuji Okamoto, Takashi Morie, Sou Nobukawa, Takeo Hosomi, Kazuyuki Aihara   +5 more
wiley   +1 more source

Topic Study Group No. 18: Reasoning and Proof in Mathematics Education [PDF]

, 2017
Guershon Harel, Andreas J. Stylianides, Paolo Boero, Mikio Miyazaki, David A. Reid   +4 more
openalex   +1 more source

INTERNALIZATION PROCESS OF REASONING AND PROOF STANDARDS FOR ELEMENTARY SCHOOL TEACHERS IN MATHEMATICS LEARNING [PDF]

, 2021
Awal Nur Kholifatur Rosyidah, Umar Umar, Iva Nurmawanti, Vivi Rachmatul Hidayati, Mohammad Archi Maulyda   +4 more
openalex   +1 more source

Is Computing with Light All You Need? A Perspective on Codesign for Optical Artificial Intelligence and Scientific Computing

Advanced Intelligent Systems, EarlyView.
This perspective article considers what computations optical computing can and should enable. Focusing upon free‐space optical computing, it argues that a codesign approach whereby materials, devices, architectures, and algorithms are simultaneously optimized is needed.
Prasad P. Iyer, Gaurang R. Bhatt, Saaketh Desai, Elliot J. Fuller, Corinne M. Teeter, François Léonard, Craig M. Vineyard   +6 more
wiley   +1 more source

Revisiting Bevacizumab + Cytotoxics Scheduling Using Mathematical Modeling: Proof of Concept Study in Experimental Non-Small Cell Lung Carcinoma [PDF]

, 2017
D Imbs, Raouf El Cheikh, Arnaud Boyer, Joseph Ciccolini, Céline Mascaux, Bruno Lacarelle, Fabrice Barlési, Dominique Barbolosi, Sébastien Benzekry   +8 more
openalex   +1 more source

Robotic Needle Steering for Percutaneous Interventions: Sensing, Modeling, and Control

Advanced Intelligent Systems, EarlyView.
This review examines recent advances in robotic needle steering for percutaneous interventions, highlighting closed‐loop sensing, physics‐informed tissue‐needle interaction modeling, and real‐time trajectory planning and control. It synthesizes innovations in deep learning, fiber‐optic feedback, and adaptive control strategies, and outlines emerging ...
Fangjiao Zhao, Ruixue Xu, Wujun Zhao, Xi‐Ming Sun, Yu Sun, Changsheng Dai   +5 more
wiley   +1 more source

Visual Considerations in the Presentation of Mathematical Proofs

, 2010
Lara Alcock, Matthew Inglis
openalex   +2 more sources

BeeRootBot: A Bioinspired Robotic Probe Exhibiting Apical Growth through In Situ Soil Binding

Advanced Intelligent Systems, EarlyView.
This study introduces a novel method for consolidating subterranean exploration pathways in plant‐inspired robots by binding in‐situ soil with beeswax, a biobased material. This simultaneous advancement and wall‐lining process reduces penetration resistance, enhances exploration efficiency, enables communication and resource sharing, and promotes ...
Sachin Sachin, Alessio Mondini, Stefano Mariani, Emanuela Del Dottore, Barbara Mazzolai   +4 more
wiley   +1 more source