Results 81 to 90 of about 6,500,790 (324)

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  

Steep‐Switching Memory FET for Noise‐Resistant Reservoir Computing System

Advanced Functional Materials, EarlyView.
We demonstrate the steep‐switching memory FET with CuInP2S6/h‐BN/α‐In2Se3 heterostructure for application in noise‐resistant reservoir computing systems. The proposed device achieves steep switching characteristics (SSPGM = 19 mV/dec and SSERS = 23 mV/dec) through stabilization between CuInP2S6 and h‐BN.
Seongkweon Kang, Jaerok Kim, Sang‐Min Lee, Sungpyo Baek, Saeroonter Oh, Yoonmyung Lee, Sungjoo Lee   +6 more
wiley   +1 more source

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

A logical foundation for logic programming II: Semantics of general logic programs

The Journal of Logic Programming, 1998
Summary: We suggested in Part I [ibid. 35, No. 2, 151-170 (1998; Zbl 0905.68032)] of this study a general logical formalism for logic programming based on a four-valued inference. In this paper, we give a uniform representation of various semantics for logic programs based on this formalism.
openaire   +3 more sources

Abductive Logic Programming

Journal of Logic and Computation, 1992
The paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as
Kakas, Antonis C., Kowalski, R. A., Toni, F., Kakas, Antonis C., Kowalski, R. A., Toni, F.   +5 more
openaire   +5 more sources

Tailored Reconstruction of Polycrystalline CuO Nanorods Promotes C─C Coupling in CO2 Electroreduction

Advanced Functional Materials, EarlyView.
Controlling the polycrystallinity of CuO nanorods enables directional reconstruction into rod‐like structures that stabilize Cu(OH)2 and increase Cu+ ratios, while modulating interfacial water dynamics to enhance C─C coupling and boost C2+ product formation in CO2 electroreduction.
Hyeon‐Seok Bang, Young‐Jin Ko, Hyo Sang Jeon, Eugene Huh, Eung Dab Kim, Min Gwan Ha, Chulwan Lim, Jiho Jeon, Seohyeon Ka, Dogyeong Kim, Xiaojie Zhang, Yeongjin Kim, Kyeongsu Kim, Woong Hee Lee, Jae‐Young Choi, Hyung‐Suk Oh   +15 more
wiley   +1 more source

Using the Fuzzy Logic in Assessing the Programming Performance of Students

International Journal of Assessment Tools in Education, 2018
The overall objective of this study is to understandhow the fuzzy logic theory can be used in measuring the programming performanceof the undergraduate students, as well as proving the advantages of using fuzzylogic in evaluation of students’ performance.
Ozan Şenkal, Nihan Arslan Namlı
doaj   +1 more source

Encapsulating Zinc Powder in MXene/Silk Scaffolds with Zincophilic‐Hydrophobic Polymer for Flexible Zinc‐Ion Batteries

Advanced Functional Materials, EarlyView.
This work develops flexible zinc‐ion batteries (FZIBs) using a zincophilic/hydrophobic polymer (thermoplastic polycarbonate‐based polyurethane, TPCU) to protect Zn powder anodes and MXene/Silk (MXS) as flexible current collectors. The designed TPCU‐ZnP@MXS structure enables uniform Zn deposition, yielding dendrite‐free anodes with stable cycling ...
Zixuan Yang, Zhiyu Wang, Junlun Cao, Han Wang, Weiwei Lei, Jingliang Li, Joselito M. Razal, Xungai Wang, Dan Liu   +8 more
wiley   +1 more source

Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells

Advanced Functional Materials, EarlyView.
Selective photopolymerization in the presence of a controlled voltage defines permanent director walls that lock‐in metastable bend and twist configurations within nematic liquid crystal Pi cells. Q‐tensor simulations corroborate the experiments, demonstrating the topological state stabilization.
Adithya Pradeep, Urban Mur, Junseok Ma, Nathan Spiller, Yihan Jin, Waqas Kamal, Steve J. Elston, Stephen M. Morris   +7 more
wiley   +1 more source

Complementary Logic Driven by Dielectrophoretic Assembly of 2D Semiconductors

Advanced Functional Materials, EarlyView.
Scalable, parallel fabrication of complementary logic gates is demonstrated using electric‐field‐driven deterministic assembly of electrochemically exfoliated 2D n‐type MoS2 and p‐type WSe2 nanosheets. This strategy yields MoS2 and WSe2 transistors featuring average mobilities of 4.3 and 3.0 cm2 V−1 s−1, respectively, and on/off ratios of > 104 ...
Dongjoon Rhee, Okin Song, Ji Yun Park, Yonghyun Albert Kwon, Jae Hyung Kim, In Soo Kim, Zdeněk Sofer, Jeong Ho Cho, Deep Jariwala, Hyesung Park, Joohoon Kang   +10 more
wiley   +1 more source