Results 141 to 150 of about 2,054,397 (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

Seismic constraints on glacier density. [PDF]

Sci Rep
Lanteri A, Keating S, Gebraad L, Klaasen S, Pienkowska-Côte M, Eisen O, Zunino A, Jónsdóttir K, Hofstede C, Zigone D, Fichtner A.   +10 more
europepmc   +1 more source

Rib‐Reinforced Ultralight and Ultra‐Strong Shell Lattices

Advanced Science, EarlyView.
This study thoroughly reveals the relation between the curvature and stress direction of triply periodic minimal surface (TPMS) thin shell lattices and proposes a novel rib reinforcement design strategy to incorporate ribs along the line of asymptotes (LOA) and the line of principal curvatures (LOC) to enhance the strength of ultralight TPMS shell ...
Winston Wai Shing Ma, Lei Zhang, Junhao Ding, Shuo Qu, Michael Yu Wang, Xu Song, Ming Wang Fu   +6 more
wiley   +1 more source

Canonicalizing Zeta Generators: Genus Zero and Genus One. [PDF]

Commun Math Phys
Dorigoni D, Doroudiani M, Drewitt J, Hidding M, Kleinschmidt A, Schlotterer O, Schneps L, Verbeek B.   +7 more
europepmc   +1 more source

Microscale Mapping of Fiber Strain and Damage in Composite Wrinkled Laminates Using Computed Tomography Assisted Wide‐Angle X‐Ray Scattering

Advanced Science, EarlyView.
This study combines full‐field tomography with diffraction mapping to quantify radial (ε002$\varepsilon _{002}$) and axial (ε100$\varepsilon _{100}$) lattice strain in wrinkled carbon‐fiber specimens for the first time. Radial microstrain gradients (−14.5 µεMPa$\varepsilon \mathrm{MPa}$−1) are found to signal damage‐prone zones ahead of failure, which ...
Hoang Minh Luong, James Trevarthen, Igor Dolbnya, Wadwan Singhapong, Nicholas Pilato, Richard Butler, Jiraphant Srisuriyachot, Alexander J. G. Lunt   +7 more
wiley   +1 more source

Global health should be trans-disciplinary. [PDF]

BMC Glob Public Health
Lawrence RJ.
europepmc   +1 more source

Photonic Time Crystals and Time‐Varying Electromagnetic Metamatter: A New Direction for Ultrafast Tunable Photonic and Microwave Materials and Devices

Advanced Science, EarlyView.
Photonic time crystals (PTCs) are systems in which electromagnetic parameters are modulated periodically in time, producing momentum bandgaps via temporal scattering rather than spatial Bragg processes. This review examines the theoretical frameworks, modeling, and computational tools for time‐varying media, and summarizes experimental demonstrations ...
Ranjan Kumar Patel, Shriram Ramanathan, Ronald P. Jenkins, Michael J. Carter   +3 more
wiley   +1 more source

Between commerce and care: intimate personalization, authenticity, and the ambivalences of outsourcing funeral work. [PDF]

Front Sociol
Sassatelli R, Ghigi R, Boni F, Arfini EAG.   +3 more
europepmc   +1 more source

Semiconducting THO‐C3N Monolayers for Ultrahigh Anisotropic Carrier Mobility

Advanced Science, EarlyView.
A precise site‐specific N‐doping strategy that drives a secondary electronic transition in net W is proposed, enabling the electronic properties transition from metal to Dirac semimetal and ultimately to semiconductor. The obtained THO‐C3N‐2 and THO‐C3N‐3 semiconductors exhibit high carrier mobilities and pronounced mobility anisotropy, with THO‐C3N‐2 ...
Rui Tan, Xueqing Chen, Jifeng Luo, Zhe Xue, Zehou Li, Xiaolin Wei, Zhenkun Tang, Gaokuo Zhong   +7 more
wiley   +1 more source

Decoding Naturalistic Episodic Memory with Artificial Intelligence and Brain‐Machine Interface

Advanced Science, EarlyView.
Episodic memory weaves together what, where, and when of experience into a personal narrative. Cutting‐edge AI models may decode this intricate process in real‐life settings, revealing how neural activity encodes naturalistic memories. By merging AI with brain–machine interfaces, researchers are edging closer to mapping and even engineering memory ...
Dong Song
wiley   +1 more source