Results 111 to 120 of about 1,045,924 (344)
, 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
On Metric Temporal Description Logics [PDF]
, 2016 We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric temporal logic MTL, extending LTLbinwith capabilities to quantitatively reason about time delays.
Victor Gutierrez Basulto +2 more
openaire +2 more sources
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
An evaluation of total project risk based on fuzzy logic
Business: Theory and Practice, 2015 The article deals with the use of fuzzy logic as a support of evaluation of total project risk. A brief description of actual project risk management, fuzzy set theory, fuzzy logic and the process of calculation is given.
Radek Doskočil
doaj +1 more source
Fuzzy Description Logic Programs [PDF]
, 2008 Description Logic Programs (DLPs), which combine the expressive power of classical description logics and logic programs, are emerging as an important ontology description language paradigm. In this work, we present fuzzy DLPs, which extend DLPs by allowing the representation of vague/imprecise information.
openaire +5 more sources
Confinement Driven Spin‐Texture Evolution in Directly Written Nanomagnets
Advanced Functional Materials, EarlyView.Spin‐texture is directly written by triggering lattice ordering locally at the nanoscale. Geometric confinement drives the formation of spin‐textures such as Néel walls with perpendicular core spins, essential for technological applications. Abstract In low‐dimensional magnetic structures, magnetostatic energy minimization yields a uniform spin‐texture,
Md. Shadab Anwar +11 more
wiley +1 more source
Automatic generation of C.M.O.S. standard cell layout from logic level descriptions. [PDF]
, 1986 Martin Lefèbvre
openalex +1 more source
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
, 2018 We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico +2 more
core
Łukasiewicz-Topos Models of Neural Networks, Cell Genome and Interactome Nonlinear Dynamic Models [PDF]
, 2004 A categorical and Łukasiewicz-Topos framework for Algebraic Logic models of nonlinear dynamics in complex functional systems such as Neural Networks, Cell Genome and Interactome Networks is introduced.
Baianu, Professor I.C.
core
Advanced Functional Materials, EarlyView.This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source