Results 71 to 80 of about 1,045,924 (344)
Advanced Functional Materials, EarlyView.Hybrid nanogenerator (HNG) based on a zinc‐metal‐organic framework‐loaded fibrous film integrated with a hierarchically modified nylon film having micropatterns and micropores is fabricated via an electrospinning technique, and its electrical properties are optimized. The HNGs are incorporated into wearable garments and automobile systems for practical
Sontyana Adonijah Graham +6 more
wiley +1 more source
MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic
IEEE AccessThis article presents MP-SPILDL, a massively parallel inductive logic learner in Description Logic (DL). MP-SPILDL is a scalable inductive Logic Programming (ILP) algorithm that exploits existing Big Data infrastructure to perform large-scale inductive ...
Eyad Algahtani
doaj +1 more source
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC [PDF]
, 2010 The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIME-complete in the presence of unrestricted axioms.
Meier, Arne, Schneider, Thomas
core +1 more source
On Linear Information Systems [PDF]
, 2009 Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems ...
A. Bucciarelli +37 more
core +4 more sources
A Logic for Ambiguous Description
Electronic Notes in Theoretical Computer Science, 2002 AbstractA logic formalizing ambiguity, which appears both in natural language and in mathematical discourse, is presented, through a sequent calculus and a semantics, together with some elementary results.
openaire +2 more sources
Modal logics, description logics and arithmetic reasoning [PDF]
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ohlbach, Hans Jürgen, Koehler, Jana
openaire +2 more sources
Demonstration of an All‐Optical AND Gate Mediated by Photochromic Molecules
Advanced Functional Materials, EarlyView.A logic AND gate that runs on photons is demonstrated. It relies on two spatially separated photochromic molecules that work in tandem. Abstract The realization of a photonic logic AND gate, i.e. a logic AND gate that runs on photons rather than electrons, and where all steps are controlled by light, is demonstrated. In a proof‐of‐principle experiment,
Heyou Zhang +7 more
wiley +1 more source
Double Helical Plasmonic Antennas
Advanced Functional Materials, EarlyView.Plasmonic double helical antennas funnel circularly polarized light to the nanoscale, offering strong chiroptical interaction and directional light emission. Extending a single helix design tool, this study combines numerical modeling with experimental validation, revealing large, broadband dissymmetry factors in the visible range.
Aleksei Tsarapkin +7 more
wiley +1 more source
Continuous-Logical Methods in Mathematical Economics
Studia Humana, 2016 An application of continuous logic for the mathematical description of economical systems is given. Parallel, sequential, parallel-sequential and sequentialparallel systems are calculated using continuous logic (CL) methods.
Levin Vitaly I.
doaj +1 more source
Resource modalities in game semantics [PDF]
, 2007 The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of a misleading conception: the belief that linear logic is more primitive than game semantics. We advocate instead the contrary: that
Melliès, Paul-André, Tabareau, Nicolas
core +2 more sources