Results 81 to 90 of about 7,829 (255)
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
Ethical Precision in Nanoscale Brain Interfacing
As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley +1 more source
Adhesion‐Driven Removal of Microplastics From Aquatic Systems by Using Microgel Glues
Soft polymeric microgels function as “glues” that aggregate diverse microplastics through multivalent adhesion, promoting their interfacial deposition and co‐precipitation for efficient removal from water. Remarkably, this approach remains effective even for nanoscale plastic particles as small as 50 nm.
Jinmeng Zhang +5 more
wiley +1 more source
Quantitative Reasoning in the Contemporary World, 2: Focus Questions for the Numeracy Community
Numerous questions about student learning of quantitative reasoning arose as we developed, taught and assessed the Quantitative Reasoning in the Contemporary World course described in the companion paper in this issue of Numeracy.
Bernard L. Madison, Shannon W. Dingman
doaj +1 more source
A direct cascaded utilization strategy for spent LiFePO4 batteries efficiently extracts lithium from brine, embodying the “urban mining” concept. Phase fraction modulation revealed its significant impact on local bond lengths of crystal structure and the Li/Na diffusion energy barrier, identifying the best material (Li0.19FePO4) for lithium extraction.
Ruiqi Yin +7 more
wiley +1 more source
Through a systematic and comprehensive analysis of the environmental impacts for the emerging MXene synthesis pathways, this study presents process transformation and optimization opportunities for low‐carbon MXene production from laboratory to industrial scales.
Yushuai Huang +6 more
wiley +1 more source
Service Learning as a Pedagogy of Interruption
As a teacher, educator, and strong advocate for service learning, I became very interested in both the opportunities and the limitations of current approaches to service learning. This article begins to sketch an as yet unrealized relational approach to
doaj +2 more sources
Product recovery systems: Policy issues and disposition decisions [PDF]
In the last few decades, worseningenvironmental problems have attracted attention to sustainabledevelopment practices. In this respect, product recovery, which aimsto regain the value in end-of-life products and, thus can beregarded as an implementation towards sustainable development at thefirm level, has gained importance. This dissertation addresses
openaire +1 more source
A diluent‐free, customizable liquid–liquid phase separation (LLPS) platform enables highly efficient radioactive metal ion extraction and stripping. By encapsulating hydrophobic extractants into an ionic surfactant‐rich condensed phase, this LLPS system leverages synergistic electrostatic and coordination interactions.
Ruihan Yan +7 more
wiley +1 more source

