Results 251 to 260 of about 3,076,200 (369)

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

Mediterranean and MIND Dietary Patterns and Cognitive Performance in Multiple Sclerosis: A Cross-Sectional Analysis of the UK Multiple Sclerosis Register. [PDF]

Nutrients
Yu M, Simpson-Yap S, Lerede A, Nicholas R, Coe S, Tektonidis TG, Solsona EM, Middleton R, Probst Y, Hampshire A, Milanzi E, Cui G, Davenport RA, Neate S, Pisano M, Kirkland H, Reece J.   +16 more
europepmc   +1 more source

Research on Elementary School Teachers' perceptions about the Computation and Word Problem Solving Instruction for Students with Learning Disabilities

, 2008
최진오
openalex   +1 more source

Intelligent Sensing: The Emerging Integration of Machine Learning and Soft Sensors Based on Hydrogels and Ionogels

Advanced Science, EarlyView.
By integrating with machine learning (ML), hydrogel‐ and ionogel‐based soft sensors are gaining human brain‐like capabilities to perceive, learn, and predict. This review summarizes their advances, focusing on ML‐powered applications such as handwriting/gesture/object/motion/speech recognition, health monitoring, food detection, and beyond.
Wenqing He, Rumin Lin, Suixiu Kong, Mengyi Qiang, Lingqi Huang, Bing Dai, Xi Yao, Lei Su, Xueji Zhang   +8 more
wiley   +1 more source

Science Teachers' Perceptions and Cognitive Structures About Skill-Based Questions. [PDF]

Behav Sci (Basel)
İlhan N, Şan S.
europepmc   +1 more source

English Learners and Mathematical Word Problem Solving: A Systematic Review

, 2018
Virginia Clinton‐Lisell, Deni Basaraba, Candace Walkington   +2 more
openalex   +1 more source

Tunneling‐Controlled Fusion of Short‐ and Long‐Term Memory in SiO2/HfO2‐Based Neuromorphic Device for Time‐Series Prediction

Advanced Science, EarlyView.
Based on trap‐assisted tunneling, the devices can fuse STM/LTM, where the low switching energy of 1 pJ and stable low‐power retention (0.2 % loss ratio and 3.05 × 10−11 W) is achieved. Training in a long short‐term memory network it allows to analysis time‐series data and then makes precise long‐term predictions with an error ratio of 4.465 ...
Chengdong Yang, Lihua Xu, Linlin Su, Yue Wu   +3 more
wiley   +1 more source

The use of educational psychology-based STEAM education concept in the development of English curriculum resources. [PDF]

Sci Rep
Li Y.
europepmc   +1 more source

Stamping Lithography on Arbitrary Surfaces based on Self‐Assembly of Colloidal Particles

Advanced Science, EarlyView.
A new method called Stamping Lithography for three‐dimensional (3D) circuits manufacturing is proposed, which comprises a resist mask stamping process based on self‐assembly of colloidal particles and a subsequent etching process. It replaces the photoresist with self‐assembled particles and the exposure process with stamping, making it feasible to ...
Guoxu Yu, Heyang Zhang, Yiming Li, Lele Song, Jinglin Jia, Lei Chen, Ding Weng, Yuan Ma, Jiadao Wang   +8 more
wiley   +1 more source

BMWP: the first Bengali math word problems dataset for operation prediction and solving. [PDF]

Discov Artif Intell
Mondal S, Khatua D, Mandal S, Prasad DK, Sekh AA.   +4 more
europepmc   +1 more source