Results 141 to 150 of about 135,870 (298)

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

Automated vetting of radiology referrals: exploring natural language processing and traditional machine learning approaches. [PDF]

Insights Imaging, 2022
Potočnik J, Thomas E, Killeen R, Foley S, Lawlor A, Stowe J.   +5 more
europepmc   +1 more source

Dental spell checker [PDF]

British Dental Journal, 2006
openaire   +1 more source

Phase Diagrams and Piezoelectric Properties of Wurtzite Al1−x−yScxGdyN Heterostructural Alloys

Advanced Science, EarlyView.
This study demonstrates ferroelectricity and piezoelectric properties improvement of quaternary wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films, guided by density functional theory calculations. Wurtzite Al1−x−yScxGdyN${\rm Al}_{1-x-y}{\rm Sc}_x{\rm Gd}_y{\rm N}$ films have a high optical bandgap, enhanced piezoelectric ...
Julia L. Martin, Cheng‐Wei Lee, Nate S.P. Bernstein, Thi Nguyen, Ande Bryan, Eli Cooper, John S. Mangum, Sage R. Bauers, Andriy Zakutayev, Keisuke Yazawa, Prashun Gorai, Rebecca W. Smaha   +11 more
wiley   +1 more source

ChatGPT and Artificial Intelligence in Medical Writing: Concerns and Ethical Considerations. [PDF]

Cureus, 2023
Doyal AS, Sender D, Nanda M, Serrano RA.
europepmc   +1 more source

Iron‐Mediated Release of Aged Dissolved Organic Carbon From Waterlogged Peatland Under Warming

Advanced Science, EarlyView.
This study conducts a five‐year in situ warming experiment in high‐altitude peatlands to examine dissolved organic carbon (DOC) release. The study shows that warming promotes the release of plant‐derived modern DOC in drained peatlands, but amplifies aquatic export of century‐old DOC from waterlogged peatlands via Fe‐mediated DOC mobilization—a ...
Guohua Dai, Zhiying Yang, Zongguang Liu, Wanjia Hu, Lixiao Ma, Enze Kang, Wanqing Luo, Yunpeng Zhao, Chengzhu Liu, Juan Jia, Ting Liu, Chen He, Quan Shi, Jianliang Liu, Yongheng Gao, Huai Chen, Hailong Zhang, Meixun Zhao, Xiaojuan Feng   +18 more
wiley   +1 more source

Integrating Machine Learning With Constant‐Potential Simulation to Unravel Charge‐Transfer Mechanisms in Electrochemical Nitrogen Fixation

Advanced Science, EarlyView.
Integrating interpretable machine learning with the fixed‐potential method reveals a novel mechanism: the catalytic activity of the electrochemical nitrogen reduction reaction is governed by partial charge transfer, induced by variations in the intermediate potential of zero charge under constant potential.
Yufei Xue, Dushuo Feng, Yuefei Zhang, Yang Zhang, Yalong Jiao, Aijun Du, Guoping Gao   +6 more
wiley   +1 more source

Jere Nash Interview with Bill Spell

, 2004
Interview conducted by author Jere Nash with Bill Spell in the process of writing Mississippi Politics: The Struggle for Power, 1976-2006. Topics covered include Spell\u27s career background; Daily News editor Fred Sullins; Godwin Advertising Agency ...
Nash, Jere, Spell, Bill
core   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

Inside the peer-review process at JVDI. [PDF]

J Vet Diagn Invest
Maxie G.
europepmc   +1 more source