Results 131 to 140 of about 3,082 (288)

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

Ultrafast Optoacoustics Reveals Intricate 3D Anisotropic Elasticity in Nanocrystalline Membranes

Advanced Science, EarlyView.
Ultrafast optoacoustic spectroscopy combined with a Sagnac interferometer enables non‐contact, simultaneous characterization of thickness and the full three‐dimensional anisotropic elastic constants in freestanding nanocrystalline copper membranes. By capturing gigahertz Lamb waves and zero‐group‐velocity resonances followed by SAFE‐GA inversion, the ...
Shuchang Zhang, Yi He, Guojie Luo, Jie Huang, Pak San Yip, Haoyu Cui, Wanglinhan Zhang, Zijian Wang, Lin Ye, Yang Lu, Zhongqing Su, Yehai Li   +11 more
wiley   +1 more source

Demented patients and the quandaries of identity: setting the problem, advancing a proposal. [PDF]

Hist Philos Life Sci, 2021
Boniolo G.
europepmc   +1 more source

Multiscale Modelling of the Electrocatalysis of Microenzymes: Insights Into the Performance of Microperoxidase at an Aqueous/Graphene Interface and Their Exploitation to Improve Performance

Advanced Science, EarlyView.
A novel multiscale MD/DFT framework to elucidate microenzyme adsorption and electron transfer is reported. This method reveals distinct configurations for microperoxidase‐11 on graphene and those best suited for electron transfer. Rate constants align with the limited experimental data, establishing this framework as a tool for optimizing microenzyme ...
Milan Mijajlovic, Cheng Hu, Yuhui Sun, Matthew J. Penna, Meisam V. Kiamahalleh, Wenrong Yang, Mark J. Biggs   +6 more
wiley   +1 more source

Targeting the Wnt Signaling Pathway in Liver Fibrosis for Drug Options: An Update. [PDF]

J Clin Transl Hepatol, 2021
Duspara K, Bojanic K, Pejic JI, Kuna L, Kolaric TO, Nincevic V, Smolic R, Vcev A, Glasnovic M, Curcic IB, Smolic M.   +10 more
europepmc   +1 more source

Curat (Hervé). La locution verbale en français moderne. Essai d'explication psycho-systématique

, 1984
Pierrard Michel. Curat (Hervé). La locution verbale en français moderne. Essai d'explication psycho-systématique. In: Revue belge de philologie et d'histoire, tome 62, fasc. 3, 1984. Langues et littératures modernes — Moderne taal- en letterkunde.
Pierrard, Michel
core  

Plaid‐Like Spin Splitting and Chirality of Magnon Bands in Antiferromagnetic MnTe2

Advanced Science, EarlyView.
Helicity‐ and angle‐resolved Raman spectroscopy reveals chiral magnons in the non‐coplanar antiferromagnet MnTe 2. Combined with first‐principles calculations and spin‐wave theory, the results establish its altermagnetic character through circular Raman dichroism, reduced rotational symmetry, and a distinctive plaid‐like momentum‐space magnon spin ...
Dirk Wulferding, Daehyeon An, Jiwon Choi, Dongmin Moon, Youngsu Choi, Sivasakthi Kuppusamy, Sritharan Krishnamoorthi, Raman Sankar, Myung Joon Han, Se Kwon Kim, Kwang‐Yong Choi   +10 more
wiley   +1 more source

Clear, easy, plain, and simple as keywords for text simplification. [PDF]

Front Artif Intell, 2022
Vecchiato S.
europepmc   +1 more source

Absorption of Broadband Low‐Frequency Sound Beyond the Thermodynamics Limit: An Acoustic Resonator With Magnetic Bearing

Advanced Science, EarlyView.
This work presents a magnetic‐bearing acoustic resonator that overcomes the thermodynamics limit of sound absorption. By introducing tunable negative stiffness, it achieves broadband low‐frequency absorption within a compact cavity, far exceeding the performance achievable by classic mass‐tuned designs.
Ying Hu, Zhe Zhang, Bohua Huang, Xue Han, Hallam Bastin Kilcoyne, Lixi Huang   +5 more
wiley   +1 more source

Gap‐Free Information Transfer in 4D‐STEM via Fusion of Complementary Scattering Channels

Advanced Science, EarlyView.
Fused Full‐Field STEM (FF‐STEM) is introduced as a 4D‐STEM imaging modality that combines direct ptychography with tilt‐corrected dark‐field reconstruction in a single acquisition. Fourier‐space fusion using Wiener‐type spectral weighting closes the low‐frequency contrast gap inherent to bright‐field methods, delivering gap‐free, dose‐efficient, near ...
Shengbo You, Georgios Varnavides, Sagar Khavnekar, Nikita Palatkin, Sihan Shao, Mingjian Wu, Daniel Stroppa, Darya Chernikova, Baixu Zhu, Ricardo Egoavil, Stefano Vespucci, Dileep Krishnan, Xingchen Ye, Florian K. M. Schur, Erdmann Spiecker, Philipp Pelz   +15 more
wiley   +1 more source