Results 91 to 100 of about 2,390,547 (338)
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
Impact of Rainfall on Coliform and Parasite Levels in Local Groundwater [PDF]
, 2019 Undergraduate ...
Arrasmith, Cara +4 more
core +1 more source
Advanced Science, EarlyView.A targeted in situ methylation strategy is developed to engineer cationic centers in a quinoline‐linked COF (NQ‐COFS1‐Me), creating a strong built‐in electric field, which effectively suppresses excitonic effects and promotes charge separation. The optimized material demonstrates powerful photocatalytic ROS generation for rapid bacterial inactivation ...
Xuewen Peng +7 more
wiley +1 more source
Bauhinia Rhapsody : the literary journal of Lingnan University 2018-2019
, 2019 Editor\u27s Note The Lingnan Literary Journal itself, the book you have now in your hands, is a work of Lingnan University students. That which we write and leave behind is how we communicate with the future, and it is in this way that the students of ...
LUONGO, Michael T. +1 more
core
Impact of Dietary Folate Deficiency on Behavioral and Genetic Outcomes [PDF]
, 2019 Undergraduate ...
Lenz, Abigail +2 more
core +1 more source
CBE - Life Sciences Education, 2019 Undergraduate research experiences in science, technology, engineering, and mathematics fields are championed for promoting students’ personal and professional development. Mentorship is an integral part of undergraduate research, as effective mentorship
Lisa B. Limeri +10 more
semanticscholar +1 more source
Advanced Science, EarlyView.The synergistic effect of fluorine doping and sulfur vacancies boosts the activity of the active sites without active‐site modulation, leading to enhanced CO2 photoreduction efficiency and a selectivity switch from CH4 to CO on tin disulfide continuous thin films. ABSTRACT Photocatalytic conversion of CO2 into value‐added fuels offers a viable approach
Tadios Tesfaye Mamo +15 more
wiley +1 more source
The Effect of Personality as Indicated by the Myers Briggs Type Indicator on an ASL to English/English to ASL Interpreted Product [PDF]
, 2018 Undergraduate ...
Groat, Madison
core +1 more source
BMC Nursing, 2019 BackgroundIn meeting the global standard of patient safety, quality care and nursing leadership, countries are urged by the World Health Organisation to have a greater proportion of nurses educated to degree level or higher.
C. Atakro +6 more
semanticscholar +1 more source
A General and Efficient Framework for the Rapid Design of Miniaturized, Wideband, and High‐Bit RIS
Advanced Electronic Materials, EarlyView.A general and efficient framework is proposed for the rapid design of high‐performance reconfigurable intelligent surfaces (RISs). This framework integrates advanced antenna design techniques and incorporates various load types, quantities, and values to achieve the design of high‐performance RISs.
Jun Wei Zhang +14 more
wiley +1 more source