Results 51 to 60 of about 1,132,691 (252)

Natural Inductive Theorems for Higher-Order Rewriting [PDF]

, 2011
The notion of inductive theorems is well-established in first-order term rewriting. In higher-order term rewriting, in contrast, it is not straightforward to extend this notion because of extensionality (Meinke, 1992).
Chiba, Yuki, Yamada, Toshiyuki, Aoto, Takahito   +2 more
core   +1 more source

Designing Vanadium‐Based Oxide Electrocatalysts for Water Splitting: Experimental and Mechanistic Insights with Machine Learning

Advanced Functional Materials, EarlyView.
This review establishes structure‐property‐mechanism relationships across six modification strategies for V‐based oxide water‐splitting electrocatalysts: lattice engineering, heteroatom doping, interface engineering, carbon‐based hybridization, morphology engineering, and surface reconstruction and pre‐catalyst design, where dissolution is reframed as ...
Youness El Issmaeli, Amina Lahrichi, Hoje Chun, Rafael Gómez‐Bombarelli, Bruno G. Pollet   +4 more
wiley   +1 more source

An NFC on Two-Coil WPT Link for Implantable Biomedical Sensors under Ultra-Weak Coupling

Sensors, 2017
The inductive link is widely used in implantable biomedical sensor systems to achieve near-field communication (NFC) and wireless power transfer (WPT). However, it is tough to achieve reliable NFC on an inductive WPT link when the coupling coefficient is
Chen Gong, Dake Liu, Zhidong Miao, Wei Wang, Min Li   +4 more
doaj   +1 more source

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures [PDF]

, 2004
Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party protocols may not be able to model a group protocol, or its intended security ...
Graham Steel, Bundy, Alan, Maidl, M., Monika Maidl, Steel, G., Alan Bundy   +5 more
core   +1 more source

Self‐Assembled Crystalline Peptoid Nanomaterials as Metal‐Free Enzyme Mimics for Enhanced Carbon Dioxide Hydration and Precipitation

Advanced Functional Materials, EarlyView.
Inspired by metal‐free carbonic anhydrases (CAs) that achieve efficient catalysis without metal cofactors, we herein report a sequence‐defined supramolecular peptoid platform that mimics metal‐free CAs and exhibits hydrolytic activity via a supramolecular assembly‐mediated proton‐transfer mechanism.
Progyateg Chakma, Ying Chen, Thi Kim Hoang Trinh, Anthony R. Perez, Jonathan Gil, Maria Casco Hidalgo, Botao Hao, Kyle Whitaker, Chun‐Long Chen   +8 more
wiley   +1 more source

An Adaptive Inhibitory WSe2 Transistor for Retinomorphic In‐Sensor Image Processing

Advanced Functional Materials, EarlyView.
Conventional retinomorphic devices typically require deliberate gate‐bias tuning for each illumination condition. In this paper, we demonstrate an adaptive inhibitory WSe2 transistor that uses photo‐induced regime shift between the subthreshold and accumulation modes to achieve decision‐free, intensity‐adaptive image processing within a single pixel ...
Juhwan Baek, Junhwa Oh, Hyeonjung Kim, Minsik Park, Haein Cho, Jin Young Park, Hyeonchang Son, Taeyun Kim, Sung‐Un An, Yamin Zhang, Hyeon‐Jin Shin, Seyong Oh, Dong‐Ho Kang   +12 more
wiley   +1 more source

Dynamic Inductive Coupling Based Wireless Rotor Monitoring System

, 2023
The paper presents a new technology and design methodology of dynamic inductive coupling based wireless power transmission intended for the real-time measurement of rotor characteristics of electrical machines.
Vladimir Kindl, Pavel Turjanica, Lukas Pusman, Ludek Elis, Kavalír, Tomáš, Elis, Luděk, Pušman, Lukáš, Peroutka, Zdeněk, Kindl, Vladimír, Zdenek Peroutka, Tomas Kavalir, Zavřel, Martin, Martin Zavrel, Turjanica, Pavel   +13 more
core   +1 more source

Charge‐Polarized Ni─S4 Single‐Atom Sites Drive Selective Photoreforming of Poly(lactic acid) to Lactate and Hydrogen

Advanced Functional Materials, EarlyView.
Atomically dispersed Ni–S4 sites on CdS nanorods induce interfacial charge polarization, directing photogenerated electrons to H2 evolution and holes to selective ester‐bond cleavage of poly(lactic acid). Without sacrificial reagents, this charge‐coupled system produces lactate while suppressing overoxidation, achieving an H2 evolution rate of 41.74 ...
Yu Yao, Panpan Zhang, Jinqiang Zhang, Xi‐lin Wu, Tara Pukala, Yifei Wang, Bernt Johannessen, Shaobin Wang, Xiaoguang Duan   +8 more
wiley   +1 more source

Simulation of Electromagnetic Coupling on Pipelines close to Overhead Transmission Lines: A Parametric Study

Journal of Communications Software and Systems, 2005
Electromagnetic interference effects caused by electric power lines on neighboring metallic utilities such as water, gas or oil pipelines became a major concern due tosignificant increase in the load and short circuit current levels needed to satisfy the
A. H. Al-Badi, H. M. Al-Rizzo
doaj  

Oxygen Evolution Electrocatalysts with Trinuclear, Mixed‐Valence Iron Motifs on Electronically Aligned Carbon Dots

Advanced Functional Materials, EarlyView.
Trinuclear iron oxo‐bridged catalytic ensembles stabilized by aspartic‐acid‐derived carbon dots provide an effective platform for alkaline oxygen evolution. Mixed‐valence charge balancing, inner‐sphere charge transport, and work‐function alignment within the N/O‐rich carbon framework promote cooperative Fe‐site chemistry and efficient OER ...
Megha A. Deshmukh, Giorgio Zoppellaro, Emiliano Fonda, Lukáš Zdražil, Shounik Paul, David Panáček, Hanuman Thorat, Zdeněk Badura, Michele Melchionna, Manuela Bevilacqua, Paolo Fornasiero, Klaus Müllen, Radek Zbořil, Aristides Bakandritsos   +13 more
wiley   +1 more source