Results 81 to 90 of about 484,155 (286)

An interactive semantics of logic programming

, 2001
We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational machinery of such a ...
Bruni, Roberto, Montanari, Ugo, Rossi, Francesca   +2 more
core   +3 more sources

Auxeticity‐by‐Assembly: Interlocking Modular Auxetic Metamaterials with Selectively Activatable AgNW–Graphene Oxide‐EGaIn Composite Interconnects for Scalable Freeform Photovoltaic Modules

Advanced Functional Materials, EarlyView.
Auxeticity‑by‑Assembly converts freeform photovoltaics from cut‑defined layouts to assembly‑defined systems. Standardized interlocking units generate negative‑Poisson‑ratio, reconfigurable architectures, while hinge regions are wired by selectively activatable AgNW–GO@EGaIn composite interconnects and a folding‑enabled interconnector layer. A decimeter‑
Seok Joon Hwang, Jiwon Ryu, Dae‐Hee Cho, YoungHoi Cho, Yewon Hwang, Haram Lee, Dong Hoe Kim, Byeong‐Kwon Ju, Seok Chung, Deokjae Choi, Gee Yeong Kim, Heesuk Jung, Taehee Kim, Hyeonggeun Yu, Gabseok Seo, Phillip Lee   +15 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

Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor

Advanced Functional Materials, EarlyView.
Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben, Nicolas Gauquelin, Arno Annys, Zhaoliang Liao, Jo Verbeeck, Guus Rijnders, Gertjan Koster   +6 more
wiley   +1 more source

Multi‐Scale Interface Engineering of MXenes for Multifunctional Sensory Systems

Advanced Functional Materials, EarlyView.
MXenes, as two‐dimensional transition metal carbides and nitrides, demonstrate remarkable capabilities for multifunctional sensing applications. This review systematically examines multi‐scale interface engineering approaches that enhance sensing performance, enable diverse detection functionalities, and improve system‐level compatibility in MXene ...
Jiaying Liao, Sin‐Yi Pang, Jianhua Hao
wiley   +1 more source

Thermally Engineered Sodium‐Embedded Alumina with Programmable Synaptic Plasticity for Neuromorphic Transistors

Advanced Functional Materials, EarlyView.
A fully transparent, all‐metal‐oxide neuromorphic transistor using a sodium‐embedded alumina (SEA) electrolyte is demonstrated. By precisely tuning the thermal annealing process, the chemical composition of the SEA layer is controlled, allowing for the deterministic realization of both short‐term and long‐term synaptic plasticity within the same device
Yonghyun Albert Kwon, Jaeyeon Kim, Dong Yeon Won, Saeyoun Park, Youngjae Yoo, Seongchan Kim, Dong‐Hwan Kim, Jeong Ho Cho   +7 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

Program Logic Foundations: Putting the Logic Back into Program Logic

Journal of MultiDisciplinary Evaluation, 2020
Background: Program logic is one of the most used tools by the public policy evaluator. There is, however, little explanation in the evaluation literature about the logical foundations of program logic or discussion of how it may be determined if a program is logical.
openaire   +2 more sources

Atomic Layer Deposition in Transistors and Monolithic 3D Integration

Advanced Functional Materials, EarlyView.
Transistors are fundamental building blocks of modern electronics. This review summarizes recent progress in atomic layer deposition (ALD) for the synthesis of two‐dimensional (2D) metal oxides and transition‐metal dichalcogenides (TMDCs), with particular emphasis on their enabling role in monolithic three‐dimensional (M3D) integration for next ...
Yue Liu, Taoyu Zou, Cheng‐Yan Xu, Liang Zhen, Yang Li, Yong‐Young Noh   +5 more
wiley   +1 more source

Research on formal description and verification of automated trust negotiation

Tongxin xuebao, 2011
First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1   +3 more
doaj   +2 more sources