Results 61 to 70 of about 47,006 (154)
Stakeholder‐Driven Consequence Modeling Employing Cross‐Impact Balance Scenario Analysis
FUTURES &FORESIGHT SCIENCE, Volume 7, Issue 3, December 2025.ABSTRACT Future research, including participatory research, can help to explore stakeholder perspectives. This capability is observable in scenario methods such as the cross‐impact balance analysis that aggregates factors from which scenarios and further research opportunities are derivable.
Simon Brauner, Stefan Vögele
wiley +1 more source
Вестник Донского государственного технического университета, 2018 Estimation criteria of the personnel by means of marking their basic properties influencing reliability are considered. On the basis of the selected properties indicators characterizing each of them according to a special technique are worked. An attempt
V.V. NOVIKOV, D.I. ZHURAVLEVA
doaj
A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties
Journal of Software: Evolution and Process, Volume 37, Issue 10, October 2025.ABSTRACT The global adoption of artificial intelligence (AI) has increased dramatically in recent years, becoming commonplace in many fields. Such a pervasiveness has led to changes in how AI is perceived, strengthening discussions on its societal consequences. Thus, a new class of requirements for AI‐based solutions emerged. Broadly speaking, those on
Emanuele De Angelis +3 more
wiley +1 more source
Approximate‐Guided Representation Learning in Vision Transformer
CAAI Transactions on Intelligence Technology, Volume 10, Issue 5, Page 1459-1477, October 2025.ABSTRACT In recent years, the transformer model has demonstrated excellent performance in computer vision (CV) applications. The key lies in its guided representation attention mechanism, which uses dot‐product to depict complex feature relationships, and comprehensively understands the context semantics to obtain feature weights.
Kaili Wang +4 more
wiley +1 more source
A Galois connection between classical and intuitionistic logics. I: Syntax
, 2017 In a 1985 commentary to his collected works, Kolmogorov remarked that his 1932 paper "was written in hope that with time, the logic of solution of problems [i.e., intuitionistic logic] will become a permanent part of a [standard] course of logic.
Melikhov, Sergey A.
core
A Galois connection between classical and intuitionistic logics. II: Semantics
, 2018 Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations) and combines ...
Melikhov, Sergey A.
core
Representational change is integral to reasoning. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Bundy A, Li X.
europepmc +1 more source
Logics and admissible rules of constructive set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Iemhoff R, Passmann R.
europepmc +1 more source
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source