Results 71 to 80 of about 130,323 (314)

Academic Meta Tool – Ein Web-Tool zur Modellierung von Vagheit

Zeitschrift für digitale Geisteswissenschaften, 2019
In this article, we introduce a methodological proposal for modelling vagueness in graphs. In addition to the modelling, we also deal with the automatic generation of implicitly stored knowledge when considering ...
Martin Unold, Florian Thiery, Allard Mees   +2 more
doaj   +1 more source

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

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, Max Gießübel, Pankaj Dharpure, Andrea Albert, Vira Niestierkina, Paul Mulvaney, Mukundan Thelakkat, Jürgen Köhler   +7 more
wiley   +1 more source

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Proceedings of the International Florida Artificial Intelligence Research Society Conference
In previous work it was shown that the logic ALCME,  which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj   +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, Luka Zurak, Krzysztof Maćkosz, Lorenz Löffler, Victor Deinhart, Ivo Utke, Thorsten Feichtner, Katja Höflich   +7 more
wiley   +1 more source

A defeasible logic programming approach to the integration of rules and ontologies

Journal of Computer Science and Technology, 2010
The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them.
Sergio Alejandro Gómez, Carlos Iván Chesñevar, Guillermo Ricardo Simari   +2 more
doaj  

Indistinguishability in controlled query evaluation over prioritized description logic ontologies

Web Semantics
In this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-preserving query answering over databases, knowledge bases, and ontologies. CQE is based on the notion of censor, which defines the answers to each query posed to
Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Domenico Fabio Savo   +4 more
doaj   +1 more source

Nested Regular Path Queries in Description Logics [PDF]

, 2014
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data.
Diego Calvanese, Lri Cnrs, Magdalena Ortiz, Meghyn Bienvenu, Universite ́ Paris Sud   +4 more
core   +4 more sources

Unveiling Phonon Contributions to Thermal Conductivity and the Applicability of the Wiedemann—Franz Law in Ruthenium and Tungsten Thin Films

Advanced Functional Materials, EarlyView.
Thermal transport in Ru and W thin films is studied using steady‐state thermoreflectance, ultrafast pump–probe spectroscopy, infrared‐visible spectroscopy, and computations. Significant Lorenz number deviations reveal strong phonon contributions, reaching 45% in Ru and 62% in W.
Md. Rafiqul Islam, Pravin Karna, Niraj Bhatt, Sandip Thakur, Helge Heinrich, Daniel M. Hirt, Saman Zare, Christopher Jezewski, Rinus T.P. Lee, Kandabara Tapily, John T. Gaskins, Colin D. Landon, Sean W. King, Ashutosh Giri, Patrick E. Hopkins   +14 more
wiley   +1 more source

Undecidability of the unification and admissibility problems for modal and description logics

, 2006
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality.
Wolter, Frank, Zakharyaschev, Michael
core