Results 131 to 140 of about 693,680 (247)
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
Benefit-Cost Analysis of FEMA Hazard Mitigation Grants [PDF]
Mitigation ameliorates the impact of natural hazards on communities by reducing loss of life and injury, property and environmental damage, and social and economic disruption.
John C. Whitehead +15 more
core
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 +5 more
wiley +1 more source
Advanced Science, EarlyView.Single‐cell longitudinal profiling reveals that androgen‐deprivation therapy induces a DPT+ fibroblast‐complement axis that suppresses macrophage inflammation and drives CD8+ T cell exhaustion in prostate cancer. Concurrently, resistant epithelial subpopulations persist and engage TSPAN1‐ and NRXN1‐mediated programs promoting CRPC and neuroendocrine ...
Yang Chen +19 more
wiley +1 more source
Adaptation, Mitigation and Risk-Taking in Climate Policy [PDF]
The future consequences of climate change are highly uncertain. Today, the exact size of possible future damages are widely unknown. Governments try to cope with these risks by investing in mitigation and adaptation measures.
Kai A. Konrad +2 more
core
Smart grid inverter control: integrating RNN, model predictive, and adaptive sliding mode controller for optimal harmonic mitigation. [PDF]
Sci RepZeb O +5 more
europepmc +1 more source
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
The harmonic map heat flow from surfaces [PDF]
We present a study of the harmonic map heat flow of Eells and Sampson in the case that the domain manifold is a surface. Particular emphasis has been placed on the singularities which may occur, as described by Struwe, and the analysis of the flow ...
Topping, Peter
core
SVPWM based active filtering control of dual inverter fed open-end winding induction motor drive for harmonic mitigation. [PDF]
Sci RepLatha SN, Egeriose SK, Gopinathan S.
europepmc +1 more source
Advanced Science, EarlyView.Glaucoma, a major cause of blindness, involves retinal ganglion cell (RGC) degeneration. This study shows growth hormone‐releasing hormone receptor (GHRHR) deficiency preserves RGC survival and restores vision, unlike activation which only aids survival.
Yan Tong +24 more
wiley +1 more source