Results 101 to 110 of about 1,045,924 (344)

Nonlinear Models of Neural and Genetic Network Dynamics:\ud \ud Natural Transformations of Łukasiewicz Logic LM-Algebras in a Łukasiewicz-Topos as Representations of Neural Network Development and Neoplastic Transformations \ud [PDF]

open access: yes, 2011
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  

Loop Formulas for Description Logic Programs

open access: yes, 2010
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logics, for the Semantic Web.
Brewka   +13 more
core   +1 more source

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

open access: yesAdvanced 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   +6 more
wiley   +1 more source

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

open access: yesAdvanced 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

A Characterization Theorem for a Modal Description Logic

open access: yes, 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

The Usability of Description Logics [PDF]

open access: yes, 2014
Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic.
Warren, Paul   +3 more
openaire   +2 more sources

Photoswitching Conduction in Framework Materials

open access: yesAdvanced 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

Embedding Relational Databases in Object Ontologies: Implementation Issues

open access: yesИзвестия Иркутского государственного университета: Серия "Математика", 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]

open access: yes
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

Locking Metastable Topological Domains in Nematic Liquid Crystal Pi Cells

open access: yesAdvanced 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

Home - About - Disclaimer - Privacy