Results 51 to 60 of about 111,717 (295)
A Perspective on Interactive Theorem Provers in Physics
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
Time-resolved stagnation temperature measurements in hypersonic flows using surface junction thermocouples [PDF]
Fast-response coaxial surface junction thermocouples have been used to measure time-resolved stagnation temperature of the Mach 6 flow produced by the University of Southern Queensland’s hypersonic wind tunnel, TUSQ. The piston compression and the nozzle
Zander, Fabian +2 more
core +1 more source
Making Sweat Measurable: Induction, Sampling, and Refreshment in Wearable Biofluid Sensing
Wearable sweat sensing relies not only on chemical detection but also on controlled biofluid management. This Review integrates sweat physiology, induction strategies, and microfluidic sampling architectures, demonstrating how flux, transport, and refreshment shape measurement reliability.
Soyoung Shin, Wei Gao
wiley +1 more source
Economic Situation in the Far Eastern Federal District in 2015 [PDF]
On the basis of the official statistics for 2015 the study analyzes the main trends of socio- economic development of the Far Eastern Federal District (FEFD).
Olga Mikhailovna Prokapalo +2 more
doaj +1 more source
Physics‐Informed Neural Network‐Enabled Forward Prediction and Inverse Design of Ring Origami
This work presents a KRT‐PINN framework that integrates Kirchhoff rod theory with physics‐informed neural networks for the forward prediction and inverse design of ring origami consisting of closed‐loop rods. The framework predicts stable states of segmented rings with prescribed natural‐curvature profiles and determines the natural‐curvature profiles ...
Luyuan Ning +3 more
wiley +1 more source
Ethnopharmacological relevanceBaicalin, an extract derived from the dried root of Scutellaria baicalensis Georgi (Huang Qin), has demonstrated neuroprotective properties.
Jiali Yang +23 more
doaj +1 more source
High bandwidth stagnation temperature measurements in a Mach 6 gun tunnel flow [PDF]
Temperature is an important parameter in most high speed flow experiments, but it is sometimes a difficult parameter to measure, particularly in short-duration facilities.
T.V. Jones +3 more
core +1 more source
Atomistic Kinetics of Dislocation‐Mediated Grain Growth in Monolayer MoS2
Atomic‐resolution in‐situ heating microscopy directly visualizes dislocation‐mediated grain boundary migration and grain growth in monolayer MoS2. Mobile grain boundaries migrate through collective motion of Mo 5|7 dislocations, whereas S 5|7 defects remain largely immobile.
Chang‐Won Choi +11 more
wiley +1 more source
This work designed an injectable metal‐drug supramolecular condensate formed from hafnium ions and alendronate (Hf‐ALN) and loaded with the COX‐2 inhibitor celecoxib (CXB) for synergistic radioimmunotherapy of postoperative osteosarcoma. Mechanistically, upon X‐ray irradiation, Hf enhances radiation energy deposition, ROS generation, and DNA damage ...
Tianhua Xiao +12 more
wiley +1 more source
The book analyses the main factors of European integration crises, taking into account eight major cases from the early 1950s to recent times. The author pays special attention to constitutional crises, the euro crisis and the migration crisis, thus ...
Vahram Petrosyan, Lusine Harutyunyan
doaj +1 more source

