Results 101 to 110 of about 2,297,669 (248)
The Usability of Description Logics [PDF]
, 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
Advanced Functional Materials, EarlyView.Significant nanoscale oxygen diffusion coefficient variations are measured in ferroelectric hafnium zirconium oxide films with grain boundaries and electrode interfaces exhibiting values 104 times larger than the grain cores. Overall coefficients are 10X larger for films prepared with metal nitride electrodes compared to refractory metals. New insights
Liron Shvilberg +6 more
wiley +1 more source
Historical Foundation and Practical Guideline for Ferroelectric Switching Kinetic Studies
Advanced Functional Materials, EarlyView.The P and U pulses in the conventional PUND measurements are not identical because of the interplay between switching current and the measurement circuit components. This circuit effect can lead to a shift in polarization transients and misinterpreted physics in the switching kinetics.
Yi Liang, Pat Kezer, John T. Heron
wiley +1 more source
On two-variable guarded fragment logic with expressive local Presburger constraints [PDF]
Logical Methods in Computer ScienceWe consider the extension of the two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as "the number of incoming blue edges plus twice the number of outgoing red edges is at ...
Chia-Hsuan Lu, Tony Tan
doaj +1 more source
Probabilistic description logic programs [PDF]
International Journal of Approximate Reasoning, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
On higher-order description logics
, 2009 We investigate an extension of Description Logics with higher-order capabilities, based on Henkin-style semantics. Our study starts from the observation that the various possibilities of adding higher-order constructs to a DL form a spectrum of ...
DE GIACOMO, Giuseppe +2 more
core
Advanced Functional Materials, EarlyView.Ferroelectric nanoclusters create local internal fields in a normally non‐switchable polar film because of polarization mismatch at their interfaces. That field opposes polarization in the regions with larger polarization and reinforces polarization in the regions with smaller polarization.
Anna N. Morozovska +5 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Monolithic UV‐ozone oxidation of Ta forms an ultrathin Ta2O5/TaOx bilayer enabling resistive switching with a vertical defect gradient. A stoichiometric surface layer over an oxygen‐deficient sublayer promotes localized filament nucleation near the top interface, enabling low‐voltage operation, and reduced cycle‐to‐cycle variability.
Seunghoon Yang +11 more
wiley +1 more source
Defeasible Description Logics [PDF]
, 2004 We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
openaire +2 more sources
Advanced Functional Materials, EarlyView.The design of intrinsically robust stretchable semiconducting polymers was achieved through OTBS‐mediated post‐functionalization of PDPP2T side chains with UPy units, generating dual hydrogen‐bonding motifs comprising weaker urethane linkages and strong quadruple UPy interactions along the long alkyl side chain, which is crucial for achieving desirable
Dinda Bazliah +7 more
wiley +1 more source