Results 81 to 90 of about 1,045,924 (344)
Advanced Functional Materials, EarlyView.A stretchable and superhydrophobic pF1V1 polymer layer is conformally coated on Zn metal via iCVD, forming a water‐repelling interphase that inhibits the hydrogen evolution reaction. This tailored interface maintains excellent electrolyte compatibility while suppressing dendrite growth, thereby enhancing the long‐term electrochemical stability of Zn ...
Jaeyeon Lee +12 more
wiley +1 more source
On the probabilistic logical modelling of quantum and geometrically-inspired IR [PDF]
, 2011 Information Retrieval approaches can mostly be classed into probabilistic, geometric or logic-based. Recently, a new unifying framework for IR has emerged that integrates a probabilistic description within a geometric framework, namely vectors in Hilbert
Frommholz, Ingo +3 more
core
An ontology for software component matching [PDF]
, 2003 The Web is likely to be a central platform for software development in the future. We investigate how Semantic Web technologies, in particular ontologies, can be utilised to support software component development in a Web environment.
Pahl, Claus
core +2 more sources
Hypertableau Reasoning for Description Logics [PDF]
Journal of Artificial Intelligence Research, 2009 We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to
Motik, B, Shearer, R, Horrocks, I
openaire +5 more sources
Advanced Functional Materials, EarlyView.This work demonstrates ultrafast, field‐free spin–orbit torque (SOT) switching using a PtTe2/WTe2/CoFeB multilayer, achieving sub‐nanosecond magnetization reversal with record‐low energy consumption. The PtTe2/WTe2 bilayer generates an intrinsic out‐of‐plane spin current, enabling deterministic switching without external fields.
Qu Yang +7 more
wiley +1 more source
Neural Networks, Cell Genome and Interactome Nonlinear Dynamic Models [PDF]
, 2011 Operational logic and bioinformatics models of nonlinear dynamics in complex functional systems such as neural networks, genomes and cell interactomes are proposed.
I. C. Baianu
core +1 more source
An epistemic operator for description logics
Artificial Intelligence, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DONINI F. M. +4 more
openaire +5 more sources
Advanced Functional Materials, EarlyView.Many known diseases arise from dysregulated gene expression, and differentially expressed genes can serve as biomarkers to distinguish diseased cells from healthy tissues. In this study, reconfigurable nucleic acid nanoparticles (recNANPs) are introduced that can detect overexpressed cancer biomarkers and subsequently release RNAi inducers to silence ...
Yelixza I. Avila +7 more
wiley +1 more source
Transition Based Synthesis with Modular Encoding of Petri Nets into FPGAs
Advances in Electrical and Electronic Engineering, 2014 The paper describes a new method for the synthesis of the application specific logic controllers, targeted into the FPGA. The initial steps of the proposed control algorithm rely on the notion of a Petri net, which is an easy way to describe parallel ...
Arkadiusz Bukowiec +2 more
doaj +1 more source
, 2012 This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the DL SROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further ...
Krötzsch, M, Simancik, F, Horrocks, I
openaire +3 more sources