Results 201 to 210 of about 17,975 (292)

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

Brief behaviour change counselling in the South African context. [PDF]

S Afr Fam Pract (2004)
Malan Z, Mash R.
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

On Determination Method for Resolution of Secondary Electron Images in Scanning Electron Microscopy

Advanced Science, EarlyView.
An idealized SEM, termed Rayleigh's microscope, is constructed by Monte Carlo simulation to represent imaging conditions that just satisfy the Rayleigh criterion. Based on this physically defined model, sharpness–resolution conversion curves are established and combined with the Rose criterion, enabling automated resolution evaluation from practical ...
Tongfang Yang, Yanbo Zou, Zejun Ding
wiley   +1 more source

Capturing Argument in Agent-Based Models. [PDF]

Topoi (Dordr)
Assaad L, Fuchs R, Phillips K, Schöppl K, Hahn U.   +4 more
europepmc   +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

UCHL3 Regulates Subgenomic Flaviviral RNA Condensates to Promote Virus Propagation

Advanced Science, EarlyView.
ABSTRACT Flavivirus subgenomic RNAs (sfRNAs) antagonise antiviral defences, yet how sfRNAs are organized and maintained in cells remains poorly understood. Here we identify ubiquitin C‐terminal hydrolase L3 (UCHL3) as a post‐translational regulator of flavivirus sfRNA stability and function.
Oscar Trejo‐Cerro, Anna Beekmayer‐Dhillon, Qi Wen Teo, Lewis Siu, Ming Yuan Li, Kate J. Heesom, Adán Pinto‐Fernández, Sumana Sanyal   +7 more
wiley   +1 more source

Exact-Factorization Framework for Electron-Nuclear Dynamics in Electromagnetic Fields. [PDF]

J Chem Theory Comput
Nazarov VU, Gross EKU.
europepmc   +1 more source

Enhancing Maturation of Human Neuromuscular Organoids via Electrical Stimulation

Advanced Science, EarlyView.
A framework for on‐demand and non‐invasive exposure of human neuromuscular organoids (NMOs) to electrical stimuli is established to promote their maturation. The robustness and effectiveness of different stimulation regimes are evaluated via thorough characterization of organoid tissue structure and contraction capacity. Chronic electrical stimulation,
Chrysanthi‐Maria Moysidou, Inês Afonso Martins, Ismail Amr El‐Shimy, Iacopo Bicci, Donatella Cea, Christina Bukas, Isra Mekki, Mara‐Camelia Rusu, Aylin Nebol, Ines Lahmann, Marie Piraud, Enrico Klotzsch, Mina Gouti   +12 more
wiley   +1 more source

Network psychometrics in practice: A practical framework for designing empirical studies that utilize a psychological network approach. [PDF]

Behav Res Methods
Chambon M, Dalege J, Elberse JE, van Harreveld F.   +3 more
europepmc   +1 more source