Results 81 to 90 of about 3,595,838 (347)

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

Deciphering a New Electrolyte Formulation for Intelligent Modulation of Thermal Runaway to Improve the Safety of Lithium‐Ion Batteries

Advanced Functional Materials, EarlyView.
Diels‐Alder clicks chemistry addresses thermal runaway in lithium‐ion batteries. A thermoresponsive electrolyte with lithium salt in vinylene carbonate (VC) and 2,5‐dimethylfuran (DMFu) operates at room temperature but undergoes Diels‐Alder reactions at high temperatures, enabling a two‐step safety mechanism: a warning phase at ≈100 °C and complete ...
Arnab Ghosh, Sunan Tian, Mingyang Zhang, Isaac Lorero Gómez, Qi Chen, Monsur Islam, Bhavika Bhatia, Silvia González Prolongo, Bimlesh Lochab, De‐Yi Wang   +9 more
wiley   +1 more source

Engineering a Single Amino Acid Bionanozyme for Ultrasensitive Detection of Biomarkers: A WHO‐REASSURE‐ Aligned Approach

Advanced Functional Materials, EarlyView.
A unique 2D bionanozyme, engineered from a single amino acid and copper ions, demonstrates peroxidase‐mimicking catalytic activity. This efficient and simple bionanozyme allows for ultrasensitive, equipment‐free visual detection of key biomarkers in both test and real samples, meeting the WHO‐REASSURE standards for practical diagnostic applications ...
Subrat Vishwakarma, Om Shanker Tiwari, Vijay Kumar Patel, Ruchi Shukla, Ehud Gazit, Pandeeswar Makam   +5 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

A Description Logic Primer

, 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

A Logical Description for Perfect Measurements

International Journal of Theoretical Physics, 2000
6 pages. The published version suffered seriously in the editing process (\otimes and \oplus, and {\cal P} and P, and references got mixed up in a slightly random way); corrected proofs seem to have dissapeared at the editorial ...
Coecke, Bob, Smets, Sonja
openaire   +4 more sources

Ultrasoft Iontronics: Stretchable Diodes Enabled by Ionically Conductive Bottlebrush Elastomers

Advanced Functional Materials, EarlyView.
This work introduces a solvent‐free, ultrasoft, and stretchable ionic diode based on oppositely charged bottlebrush elastomers (BBEs). The BBE diode exhibits an ultralow Young's modulus (<23 kPa), a high rectification ratio of 46, and stretchability over 400%.
Xia Wu, Pengfei Xu, Zefang Zhang, Qi Yang, Xi Huang, Peng Pan, Xinyu Liu   +6 more
wiley   +1 more source

A novel formal logic for formal analysis of timeliness in non-repudiation protocols

Journal of King Saud University: Computer and Information Sciences, 2023
Non-repudiation protocols are aimed at exchanging digital messages and irrefutable receipts between two mistrusting parties over the Internet, which form the cornerstones of modern secure network transactions. Timeliness is a key security property of non-
Ke Yang, Meihua Xiao, Xiaomei Zhong, Yingqiang Zhong   +3 more
doaj  

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

Investigation of the Effects of Strain and Electric Field on the Spin‐State Energetics of Co‐Doped BaTiO3 and PbTiO3

Advanced Functional Materials, EarlyView.
Ab initio calculations using the r2SCAN functional show that biaxial strain does not alter the high spin preference of cobalt‐doped BaTiO3 and PbTiO3; a small compressive uniaxial strain however results in an equally favorable low spin state for BaTiO3 and thus bistable magnetism.
Oliver J. Conquest, Steefan Contractor, Leigh Weston, Catherine Stampfl   +3 more
wiley   +1 more source