Results 121 to 130 of about 2,714,739 (303)
Reasoning in Non-normal Modal Description Logics [PDF]
, 2022 Tiziano Dalmonte +2 more
openalex +1 more source
Advanced Materials, EarlyView.An ion‐regulating membrane is designed with a surface‐concentrated positively‐charged Zn2⁺ crosslinked network for zinc‐manganese flow batteries. The membrane effectively mitigates proton crossover and regulates zinc ion distribution to avoid dendrites, thus significantly improving areal capacity and prolonging the lifespan with a record accumulated ...
Jine Wu, Jiafeng Lei, Yi‐Chun Lu
wiley +1 more source
Two‐Photon 3D Printing of Functional Microstructures Inside Living Cells
Advanced Materials, EarlyView.This study demonstrates 3D printing inside living cells by using two‐photon photo‐lithography. A bio‐compatible photoresist is injected into cells and selectively polymerized with a femtosecond laser, creating custom‐shaped intracellular structures with submicron resolution.
Maruša Mur +4 more
wiley +1 more source
Reasoning in Descriptions Logics Augmented with Refreshing Variables
, 2022 Théo Ducros
openalex +1 more source
Case Retrieval for Network Security Emergency Response Based on Description Logic [PDF]
, 2014 Fei Jiang +3 more
openalex +1 more source
On $P$-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics ${\cal EL}, {\cal EL}^+$ [PDF]
, 2023 Dennis Peuter +2 more
openalex +1 more source
Materials and System Design for Self‐Decision Bioelectronic Systems
Advanced Materials, EarlyView.This review highlights how self‐decision bioelectronic systems integrate sensing, computation, and therapy into autonomous, closed‐loop platforms that continuously monitor and treat diseases, marking a major step toward intelligent, self‐regulating healthcare technologies.
Qiankun Zeng +9 more
wiley +1 more source
Unification of Concept Terms in Description Logics: Revised Version
, 1998 Franz Baader, Paliath Narendran
openalex +2 more sources
Ontology Approximation in Horn Description Logics [PDF]
, 2019 Anneke Bötcher +2 more
openalex +1 more source