Results 111 to 120 of about 3,682,520 (371)
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 +15 more
wiley +1 more source
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 +4 more
wiley +1 more source
A Characterization Theorem for a Modal Description Logic
, 2017 Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents.
Schröder, Lutz, Wild, Paul
core +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 +7 more
wiley +1 more source
, 2003 We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of de Bruijn's notation for lambda calculus, an encoding of first-order logic ...
Kuncak, Viktor, Rinard, Martin
core +5 more sources
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) [PDF]
, 2023 Oliver Görlitz +5 more
openalex +1 more source
Fuzzy Description Logics – A Survey [PDF]
, 2017 Mathematical Fuzzy Logics [51, 60] have a long tradition with roots going back to the many-valued logics of Łukasiewicz, Godel, and Kleene [57, 68, 73] and the Fuzzy Set Theory of Zadeh [111]. Their purpose is to model vagueness or imprecision in the real world, by introducing new degrees of truth as additional shades of gray between the Boolean true ...
Borgwardt, S, Peñaloza, R
openaire +1 more source
Epitaxial Interface‐Driven Photoresponse Enhancement in Monolayer WS2–MoS2 Lateral Heterostructures
Advanced Functional Materials, EarlyView.Surface potential distribution image, along with the derived electric field distribution across the interface, reveals that the electric field reaches its peak at the interface. Additionally, the spectral response of the heterointerface exhibits higher and broader features compared to its bare counterparts.
Pargam Vashishtha +18 more
wiley +1 more source
Embedding Relational Databases in Object Ontologies: Implementation Issues
Известия Иркутского государственного университета: Серия "Математика", 2014 In this paper the problem of database embedding in logical knowledge management environment is considered. The approaches to the implementation of database embedding in ontologies are established through their modeling based on object theories.
I.A. Kazakov +2 more
doaj
Formal REA model at operational level [PDF]
Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description.
Ito, Sohei, Vymetal, Dominik
core +1 more source