Results 171 to 180 of about 1,045,924 (344)
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
Observation of Topological Chirality Switching Induced Freezing of a Skyrmion Crystal
Advanced Materials, EarlyView.Using Lorentz Transmission electron microscopy, it is shown that in the insulating van der Waals ferromagnet, CrBr3, a magnetic field can cause Bloch skyrmionic bubbles to spontaneously switch their chirality. As achiral type‐II bubbles are an intermediate state, the bubbles rapidly elongate and shrink when switching, thereby inducing a freezing of the
John Fullerton +10 more
wiley +1 more source
Building Views with Description Logics in ADE: Application Development Environment
, 2001 Larissa Ismailova +5 more
openalex +2 more sources
Advanced Materials, EarlyView.Even‐denominator 5/2 fractional state in trilayer graphene/V‐doped WSe2 heterostructure, mediated by proximitized magnetism, is demonstrated. An exceptionally high energy gap ∆5/2 (48 K) for the 5/2 state, significantly surpassing previous values in semiconductors and bilayer graphene (∆5/2 < 1 K) is reported.
Pramod Ghising +7 more
wiley +1 more source
The Technique of Information Cost Estimation Using Fuzzy Logic Tools
Безопасность информационных технологий, 2012 The paper contains the description of the method of the algorithm of information objects cost estimation in the information security risk analysis using fuzzy logic tools.
E. S. Stepanova
doaj
Terminological cycles in a description logic with existential restrictions
, 2002 Franz Baader
openalex +2 more sources
Advanced Materials Interfaces, EarlyView.Halide perovskite quantum dots, with their flexible ABX3 lattice enabling collaborative electronic and ionic transport, offer scalable, low‐cost routes to resistive memories, opto‐electronic control, neuromorphic devices, and field‐effect transistors.
Hyojung Kim
wiley +1 more source
MDA-Based Architecture of a Description Logics Reasoner [PDF]
, 2006 Nenad Krdžavac +2 more
openalex +1 more source
Deep Learning Analysis of Solid‐Electrolyte Interphase Microstructures in Lithium‐Ion Batteries
Advanced Materials Interfaces, EarlyView.A transformer‐based deep learning model is developed for segmenting and analyzing high‐resolution TEM images of the solid‐electrolyte interphase (SEI) in lithium‐ion batteries. The model is trained on DFT‐based simulated images and predicts SEI grain and grain boundaries, revealing key microstructural features that govern ion transport and degradation.
Ishraque Zaman Borshon +4 more
wiley +1 more source
On Decidability of Expressive Description Logics with Composition of Roles in Number Restrictions
, 2003 Fábio Grandi
openalex +2 more sources