Results 141 to 150 of about 4,798,915 (301)

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

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

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

Atomic Defects in Layered Transition Metal Dichalcogenides for Sustainable Energy Storage and the Intelligent Trends in Data Analytics

Advanced Science, EarlyView.
This review comprehensively summarizes the atomic defects in TMDs for their applications in sustainable energy storage devices, along with the latest progress in ML methodologies for high‐throughput TEM data analysis, offering insights on how ML‐empowered microscopy facilitates bridging structure–property correlation and inspires knowledge for precise ...
Zheng Luo, Ying Yang, Zizhen Fu, Fengqi Liu, Susu Fang, Kele Xu, Shanshan Wang   +6 more
wiley   +1 more source

The myth of Leibniz’s proof of the fundamental theorem of calculus [PDF]

, 2015
Fundamental mathematics, Sub Fundamental Mathematics, Blasjo, Viktor   +2 more
core  

The Importance of Metal‐Organic Framework Linker Atoms for CO2 Reduction: A DFT Study

Advanced Science, EarlyView.
Using DFT, we examine the role of linker atoms in CO2 reduction on copper‐based metal organic frameworks (Cu MOFs). Our calculations reveal that linker atoms may serve as both CO2 and H‐shuttling sites and suggest linker electrostatics as a descriptor for linker activity. ABSTRACT Although the metal within the secondary building unit of a metal‐organic
Ugochukwu Nwosu, Samira Siahrostami
wiley   +1 more source

Polynomially Quasi-mth-Helton class of Hilbert spaces operators. [PDF]

PLoS One
Al Rwaily A.
europepmc   +1 more source

Stable pair invariants of surfaces and Seiberg-Witten invariants [PDF]

, 2016
Kool, M., Fundamental mathematics, Sub Fundamental Mathematics   +2 more
core   +3 more sources

Release: Name Change Signals Emphasis on External Relations

, 2005
The University Relations department - which manages alumni relations, communications and development activities for the University of Regina - is changing its name to External Relations effective immediately. The department reports to a newly established
External Relations, University of Regina
core  

Synergistic Spin‐Polarization and Single‐Atom Engineering in Magnetic Heterojunctions for Efficient Solar Water Splitting

Advanced Science, EarlyView.
High‐throughput screening led to the identification of 67 Z‐scheme heterojunctions (comprising 2D magnetic transition metal halides and non‐magnetic transition metal chalcogenides). For CrI3/MoTe2 and CrI3/WTe2, electronic structure analysis demonstrated that synergistic crystallographic point group and built‐in electric field effects generate a ...
Hongyang Ren, Zhenzhou Guo, Huirong Wu, Peilin Huang, Jie Yang, Jie Zhang, Guangqian Ding, Hongkuan Yuan, Biao Wang   +8 more
wiley   +1 more source