Results 71 to 80 of about 482,181 (288)

Photoswitching Conduction in Framework Materials

Advanced Functional Materials, EarlyView.
This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez, Stefan Hecht, Wolfgang Wenzel, Lars Heinke, Mariana Kozlowska   +4 more
wiley   +1 more source

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source

DNA logic programming: From concept to construction

View
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj   +1 more source

In Situ Study of Resistive Switching in a Nitride‐Based Memristive Device

Advanced Functional Materials, EarlyView.
In situ TEM biasing experiment demonstrates the volatile I‐V characteristic of MIM lamella device. In situ STEM‐EELS Ti L2/L3 ratio maps provide direct evidence of the oxygen vacancies migrations under positive/negative electrical bias, which is critical for revealing the RS mechanism for the MIM lamella device.
Di Zhang, Rohan Dhall, Matthew M. Schneider, Cun Li, Chengyu Song, Sundar Kunwar, Hongyi Dou, Natanii R. Yazzie, Henry Tran, Daniel Appuing, Jim Ciston, Nicholas G. Cucciniello, Pinku Roy, Michael T. Pettes, John Watt, Winson Kuo, Haiyan Wang, Ye Cao, Rodney J. McCabe, Aiping Chen   +19 more
wiley   +1 more source

Implementing Default and Autoepistemic Logics via the Logic of GK [PDF]

, 2014
The logic of knowledge and justified assumptions, also known as logic of grounded knowledge (GK), was proposed by Lin and Shoham as a general logic for nonmonotonic reasoning.
Ji, Jianmin, Strass, Hannes
core  

An Improved Proof-Theoretic Compilation of Logic Programs

, 2012
In prior work, we showed that logic programming compilation can be given a proof-theoretic justification for generic abstract logic programming languages, and demonstrated this technique in the case of hereditary Harrop formulas and their linear variant.
Cervesato, Iliano
core   +1 more source

Parallel defeasible argumentation

Journal of Computer Science and Technology, 2000
Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García, Guillermo Ricardo Simari   +1 more
doaj  

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic

Computers and Education: Artificial Intelligence
This study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel, Solomon Sunday Oyelere, Jarkko Suhonen, Matti Tedre   +3 more
doaj   +1 more source

Electroactive Liquid Crystal Elastomers as Soft Actuators

Advanced Functional Materials, EarlyView.
Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley   +1 more source

Joint Control of Radiated and Surface Waves via Space‐Time Coding Metasurfaces

Advanced Functional Materials, EarlyView.
A unified space‐time coding metasurface platform enables simultaneous control of radiated and surface‐confined waves across multiple harmonics. Demonstrated functionalities include multi‐frequency beam shaping; surface‐wave excitation, and hybrid multiplexing.
Zihao Dai, Yi Ning Zheng, Lei Zhang, Xiao Qing Chen, Giuseppe Castaldi, Tie Jun Cui, Vincenzo Galdi   +6 more
wiley   +1 more source