Results 111 to 120 of about 1,309,863 (280)
Probabilistic-Input, Noisy Conjunctive Models for Cognitive Diagnosis
Frontiers in Psychology, 2018 Existing cognitive diagnosis models conceptualize attribute mastery status discretely as either mastery or non-mastery. This study proposes a different conceptualization of attribute mastery as a probabilistic concept, i.e., the probability of mastering ...
Peida Zhan +3 more
doaj +1 more source
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
Advanced Materials, EarlyView.A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley +1 more source
Formalization of Function Matrix Theory in HOL
Journal of Applied Mathematics, 2014 Function matrices, in which elements are functions rather than numbers, are widely used in model analysis of dynamic systems such as control systems and robotics.
Zhiping Shi +5 more
doaj +1 more source
Advanced Materials, EarlyView.The perspective presents an integrated view of neuromorphic technologies, from device physics to real‐time applicability, while highlighting the necessity of full‐stack co‐optimization. By outlining practical hardware‐level strategies to exploit device behavior and mitigate non‐idealities, it shows pathways for building efficient, scalable, and ...
Kapil Bhardwaj +8 more
wiley +1 more source
Hardware verification using higher-order logic
, 1986 The Hardware Verification Group at the University of Cambridge is investigating how various kinds of digital systems can be verified by mechanised formal proof. This paper explains our approach to representing behaviour and structure using higher order logic.
Camilleri, A, Gordon, M, Melham, T
openaire +3 more sources
, 2017 We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order ...
Bacon, Andrew, Russell, Jeffrey Sanford
core
Orientation Engineering of MXene Flakes
Advanced Materials, EarlyView.Orientation engineering of MXene flakes refers to the transformation of disordered MXene flakes into ordered architectures with optimized multiphysical transport properties. Focusing on this topic, this review outlines key principles, characterization, fabrication strategies, and advanced applications of oriented MXene structures.
Yizhou Wang +7 more
wiley +1 more source
Higher-Order Computational Logic
, 2002 This paper presents a case for the use of higher-order logic as a foundation for computational logic. A suitable polymorphically-typed, higher-order logic is introduced and its syntax and proof theory briefly described. In addition, a metric space of closed terms suitable for knowledge representation purposes is presented.
openaire +1 more source
Advanced Materials, EarlyView.ABSTRACT Dynamic surface reconstruction critically governs the performance and durability of oxide‐based electrocatalysts for the oxygen evolution reaction (OER), yet controlling this process under operating conditions remains challenging. Here, we demonstrate that lattice strain regulates the extent of surface reconstruction in perovskite oxides by ...
Yong Beom Kim +5 more
wiley +1 more source
Two‐Dimensional Reconfigurable Photodiode for In‐Sensor Color Filtering and Spectral Logic
Advanced Materials, EarlyView.By harnessing the photodoping of different aggregates, the device exhibits wavelength‐dependent volatile‐to‐nonvolatile photoresponses that can be reconfigured via bias modulation. This enables in‐sensor color filtering and spectral‐encrypted information processing, eliminating reliance on external optical filters or post‐processing algorithms ...
Xiaokun Guo +7 more
wiley +1 more source