Results 211 to 220 of about 2,051,356 (365)

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

Correction: Li et al. Extraction of Polysaccharides from Root of <i>Pseudostellaria heterophylla</i> (Miq.) Pax. and the Effects of Ultrasound Treatment on Its Properties and Antioxidant and Immune Activities. <i>Molecules</i> 2024, <i>29</i>, 142. [PDF]

Molecules
Li H, Liu Z, Liu Q, Zhang X, Li S, Tang F, Zhang L, Yang Q, Wang Q, Yang S, Huang L, Ba Y, Du X, Yang F, Feng H.   +14 more
europepmc   +1 more source

DRESS: Dynamic RESource-reservation Scheme for Congested Data-intensive Computing Platforms

, 2018
Ying Mao, Victoria Green, Jiayin Wang, Haoyi Xiong, Zhishan Guo   +4 more
openalex   +2 more sources

Aqueous Zinc‐Based Batteries: Active Materials, Device Design, and Future Perspectives

Advanced Energy Materials, EarlyView.
This review conducts a comprehensive analysis of aqueous zinc‐based batteries (AZBs) based on their intrinsic mechanisms, including redox reactions, ion intercalation reactions, alloying reactions, electrochemical double‐layer reactions, and mixed mechanisms, systematically discussing recent advancements in each type of AZBs.
Yan Ran, Fang Dong, Shuhui Sun, Yong Lei
wiley   +1 more source

Resources to reserves 2013

Veille énergie climat, 2013
openaire   +1 more source

Harnessing Solar Energy for Ammonia Synthesis from Nitrogen and Seawater Using Oxynitride Semiconductors

Advanced Energy Materials, EarlyView.
In this work, the challenging green ammonia evolution is addressed by developing a photothermal system that utilizes nitrogen and natural seawater under simulated solar irradiation, employing ruthenium‐doped barium tantalum oxynitride semiconductors.
Yiyang Li, Mengqi Duan, Simson Wu, Robert A. Taylor, Shik Chi Edman Tsang   +4 more
wiley   +1 more source

Reinforcement Learning-Based Resource Allocation Scheme of NR-V2X Sidelink for Joint Communication and Sensing. [PDF]

Sensors (Basel)
Li Z, Wang P, Shen Y, Li S.
europepmc   +1 more source

Resource ReSerVation Protocol (RSVP) -- Version 1 Applicability Statement Some Guidelines on Deployment [PDF]

, 1997
Fred Baker, B. Braden, S. Bradner, M. R. Odell, Allyn Romanow, A. Weinrib, Lili Zhang   +6 more
openalex   +1 more source

Battery‐Grade Lithium Materials: Virgin Production and Recycling, a Techno‐Economic Comparison

Advanced Energy Materials, EarlyView.
With this study a framework has been created to analyze new innovative lithium compound manufacturing processes for their cost and environmental competitiveness. This analysis includes details on virgin and recycled pathways to produce lithium carbonate or lithium hydroxide monohydrate.
Sabine M. Gallagher, Nighat A. Chowdhury, Qiang Dai, Jeffrey S. Spangenberger   +3 more
wiley   +1 more source

Using ChatGPT to assist in judging the indications for emergency ultrasound: an innovative exploration of optimizing medical resource allocation. [PDF]

Front Med (Lausanne)
Xu Z, Ye J, Chen J, Zhang X, Wang J.
europepmc   +1 more source