Results 111 to 120 of about 653,229 (328)
Decidability of Multi-agent Logic of Computation Trees $\mathcal{CTLK}^{Rel}$
Известия Иркутского государственного университета: Серия "Математика"We continue to explore the multi-agent logic of computational trees relative to the relational Kripke semantics of possible worlds: we investigate the question of logical solvability, the complexity of model construction, feasibility testing, and ...
S.I. Bashmakov, K. A. Smelykh
doaj +1 more source
Probabilistic Constraint Logic Programming
, 1997 This paper addresses two central problems for probabilistic processing models: parameter estimation from incomplete data and efficient retrieval of most probable analyses.
Riezler, Stefan
core +2 more sources
Directional Flow of Confined Polaritons in CrSBr
Advanced Materials, EarlyView.CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak +10 more
wiley +1 more source
Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics
Advanced Materials, EarlyView.Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón +6 more
wiley +1 more source
Advanced Materials, EarlyView.Ordered three‐dimensional anodic aluminum oxide (3D‐AAO) nanoarchitectures with longitudinal and transverse pores enable architecture‐driven metamaterials. The review maps fabrication advances, including hybrid pulse anodization, and shows how 3D‐AAO templates tailor properties across magnetism, energy, catalysis, and sensing.
Marisol Martín‐González
wiley +1 more source
On the calculus of positively constructed formulas for authomated theorem proving
Моделирование и анализ информационных систем, 2010 The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers.
A. V. Davydov +2 more
doaj
Extended Resolution as Certificates for Propositional Logic
EPiC Series in Computing, 2018 When checking answers coming from automatic provers, or when skeptically integrating them into proof assistants, a major problem is the wide variety of formats of certificates, which forces to write lots of different checkers. In this paper, we propose to use the extended resolution as a common format for every propositional prover.
openaire +3 more sources
Advanced Materials, EarlyView.This review systematically summarizes recent advances in porosity engineering of MXenes, with a focused discussion on their structure‐governed energy storage properties. A critical analysis of structure–property relationships is presented across alkali‐ion batteries, multivalent‐ion batteries, and supercapacitors.
Shude Liu +8 more
wiley +1 more source
Resolution approximation of first-order logics
Information and Computation, 1992 This paper is a continuation of other researches made by the author and P. O'Hearn in resolution proof systems. The idea behind this work is to represent a certain logic as a resolution-proof system. Of a certain interest are the strongly finite logics, that is, logics semantically defined by finite logical matrices.
openaire +2 more sources