Results 211 to 220 of about 40,948 (337)

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

Cognitive load scale for AI-assisted L2 writing: scale development and validation. [PDF]

Front Psychol
Yao G, Fan L.
europepmc   +1 more source

Coupled Above‐ and Belowground Ecosystem Stability Worldwide

Advanced Science, EarlyView.
Are the worlds above and below our feet in sync? This global exploration reveals an entangled fate between above‐ and belowground ecosystem stability. It identifies arid regions as hotspots for this coupling and highlights temperature stability as a vital safeguard for maintaining ecosystem balance across our warming planet.
Zexin Meng, Huiwen Li, Yiping Wu, Peter B. Reich, Nico Eisenhauer, Diego Abalos, Daniel Revillini, Shuguang Liu, Wende Yan, Ji Chen, Alexey Voinov, Zhifeng Yang, Ying‐Ping Wang, Fubo Zhao, Linjing Qiu, Jingfeng Xiao, Shantao An, Guopeng Liang, Manuel Delgado‐Baquerizo   +18 more
wiley   +1 more source

Neural Networks or Linguistic Features? - Comparing Different Machine-Learning Approaches for Automated Assessment of Text Quality Traits Among L1- and L2-Learners' Argumentative Essays. [PDF]

Int J Artif Intell Educ
Lohmann JF, Junge F, Möller J, Fleckenstein J, Trüb R, Keller S, Jansen T, Horbach A.   +7 more
europepmc   +2 more sources

A benchmark dataset of narrative student essays with multi-competency grades for automatic essay scoring in Brazilian Portuguese. [PDF]

Data Brief
Oliveira H, Mello RF, Miranda P, Batista H, Filho MWDS, Cordeiro T, Bittencourt II, Isotani S.   +7 more
europepmc   +1 more source

Dialogic literary argumentation and close reading: effects on high school students' literature-related argumentative writing and motivational beliefs. [PDF]

Front Psychol, 2023
Fulton K, Lin TJ, Newell G.
europepmc   +1 more source

Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths

Advanced Science, EarlyView.
Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears, Kerrianne Harrington, Jonathan C. Knight, William J. Wadsworth, James M. Stone, Tim A. Birks   +5 more
wiley   +1 more source

A scaffolding intervention to improve self-efficacy in source-based argumentative writing. [PDF]

Front Psychol
Allagui B.
europepmc   +1 more source

Intracellular Aβ42 Sequestration by a Serine Protease Mitigates Neurotoxicity in a Drosophila Alzheimer's Disease Model

Advanced Science, EarlyView.
Emerging evidence suggests that intraneuronal Aβ accumulation represents an early pathogenic event in Alzheimer's disease (AD). Using Drosophila AD model, this study shows that a nonsecreted serine protease Yip7 physically interacts with Aβ. This causes intraneuronal Aβ accumulation but surprisingly reduces the associated neurotoxicity, arguing that ...
Jingyun Su, Meng Yang, Xinfeng Wang, Pa Wu, Zongzhao Zhai   +4 more
wiley   +1 more source

Enhancing college English writing through self-efficacy-based instruction. [PDF]

Front Psychol
Jiang H.
europepmc   +1 more source