Results 161 to 170 of about 3,444,656 (301)

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

ArabiCCR: A commercial Arabic ruling court cases dataset with judicial decisions. [PDF]

Data Brief
Alharbi T, Alshammari T, Almutairi N, Alahmadi M.   +3 more
europepmc   +1 more source

Wavy‐Interlocked Stretchable Triboelectric Nanogenerators Enhanced by Liquid Metal Microflowers for Self‐Powered Wearable Motion Monitoring

Advanced Science, EarlyView.
Schematic showing a stretchable triboelectric nanogenerator based on interlocked wavy architectures that uses EGaIn microflower‐embedded PVDF‐TrFE and Nylon‐6 nanofiber membranes. The multi‐petaled, electron‐rich EGaIn microflowers enhance interfacial polarization and capacitance, while the interlocked wavy architecture enlarges the effective contact ...
Qianqian Xu, Huimin Li, Hanmin Zeng, Yahui Meng, Yimeng He, Xinke Hu, Senfeng Zhao, Jianxun Zhang, Peiqiong Zhou, Kechao Zhou, Dou Zhang, Chris Bowen, Yan Zhang   +12 more
wiley   +1 more source

Bibliography of Personal Names, 1967

Names, 1968
Elsdon C. Smith
doaj   +1 more source

A relational tool supporting identity, inclusivity and impact in the intensive care unit: a qualitative study of the Footprints Project. [PDF]

BMJ Open
Clarke FJ, Swinton M, Rudkowski J, Overington J, Younger J, Toledo F, Harkness G, Ouwendyk K, Hoad N, Hanmiah P, Gain J, Obrovac K, Kho M, Urqhart B, Culhane P, Perri D, Love K, John A, Soth M, Duan EH, Lewis KA, Carayannopoulos KL, Chaudhuri D, Ligori T, Jaeschke R, Healey A, Bell M, Pellizzari J, Piatek S, Heels-Ansdell D, Cook DJ.   +30 more
europepmc   +1 more source

Synergistic Spin‐Polarization and Single‐Atom Engineering in Magnetic Heterojunctions for Efficient Solar Water Splitting

Advanced Science, EarlyView.
High‐throughput screening led to the identification of 67 Z‐scheme heterojunctions (comprising 2D magnetic transition metal halides and non‐magnetic transition metal chalcogenides). For CrI3/MoTe2 and CrI3/WTe2, electronic structure analysis demonstrated that synergistic crystallographic point group and built‐in electric field effects generate a ...
Hongyang Ren, Zhenzhou Guo, Huirong Wu, Peilin Huang, Jie Yang, Jie Zhang, Guangqian Ding, Hongkuan Yuan, Biao Wang   +8 more
wiley   +1 more source

Bibliography of Personal Names, 1957

Names, 1958
Elsdon C. Smith
doaj   +1 more source

Halls of Fame across cultures: The figurative meaning of personal names in light of conceptual integration theory

ExELL (Explorations in English Language and Linguistics)
In recent years, a number of cognitive linguistic studies (Barcelona 2003, 2004, Brdar and Brdar-Szabó 2007, Brdar 2007) have focused on the construction of the figurative meaning of personal names as accompanied by their “irregular” morpho-syntactic ...
Sanja Berberović, Nihada Delibegović Džanić   +1 more
doaj  

Ethical Precision in Nanoscale Brain Interfacing

Advanced Science, EarlyView.
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

Organoid Brain‐Machine‐Interface Devices for Central Nervous System Repair

Advanced Science, EarlyView.
We envision organoid brain‐machine‐interface (Organoid‐BMI) devices as new biohybrid bidirectional communication pathways to connect the human CNS and the external world for personalized CNS repair and regeneration. ABSTRACT Central nervous system (CNS) repair and regeneration suffer from tremendous clinical challenges due to current limitations in ...
Yantao Xing, Yang Yang, Zichen Hong, Chunhui Tian, Huiyu Chu, Susanne Clara Prokop, Hongwei Cai, Mingxia Gu, Jason Tchieu, Ken Mackie, Feng Guo   +10 more
wiley   +1 more source