Results 81 to 90 of about 3,682,520 (371)

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, Mulholland, Paul, Collins, Trevor, Motta, Enrico   +3 more
openaire   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic

IEEE Access
We present MP-HTHEDL, a massively parallel hypothesis evaluation engine for inductive learning in description logic (DL). MP-HTHEDL is an extension on our previous work HT-HEDL, which also targets improving hypothesis evaluation performance for inductive
Eyad Algahtani
doaj   +1 more source

EXTRACTION OF CONCEPT AND CONCEPT RELATION FOR ISLAMIC TERM USING SYNTACTIC PATTERN APPROACH

Asia-Pacific Journal of Information Technology and Multimedia, 2018
Ontology Learning is a semi automation step to learn ontology from text. The identification of a term become a prerequisite for all aspects of Ontology Learning.
Saidah Saad, Ummu Kalsom Latiff
doaj   +1 more source

All‐in‐One Analog AI Hardware: On‐Chip Training and Inference with Conductive‐Metal‐Oxide/HfOx ReRAM Devices

Advanced Functional Materials, EarlyView.
An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone, Victoria Clerico, Wooseok Choi, Tommaso Stecconi, Folkert Horst, Laura Bégon‐Lours, Matteo Galetta, Antonio La Porta, Nikhil Garg, Fabien Alibart, Bert Jan Offrein, Valeria Bragaglia   +11 more
wiley   +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, A. Bucciarelli, A. Carraro, A. Carraro, A. Salibra, C. Berline, D. S. Scott, Dieter Spreen, G. Berry, G. Berry, G. Boudol, G. D. Plotkin, G. Kahn, G. M. Bierman, G. Winskel, G. Winskel, G. Winskel, G.-Q. Zhang, Ian Mackie, J.-Y. Girard, J.-Y. Girard, J.-Y. Girard, K.G. Larsen, M. Barr, M. Huth, M. Huth, M. Hyland, Mário Florido, N. Barreiro, P.-L. Curien, Paul-André Melliès, R. Blute, S. Abramsky, T. Ehrhard, T. Ehrhard, T. Ehrhard, T. Ehrhard, T. Ehrhard   +37 more
core   +4 more sources

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]

, 2023
Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi   +2 more
openalex   +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

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

IEEE Access
This 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

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