Results 11 to 20 of about 239,048,002 (311)
Entropy, 2021 We present a finite-order system of recurrence relations for the permanent of circulant matrices containing a band of k any-value diagonals on top of a uniform matrix (for k=1,2 and 3) and the method for deriving such recurrence relations, which is based
Vitaly Kocharovsky +3 more
doaj +1 more source
An Extended Epistemic Framework Beyond Probability for Quantum Information Processing with Applications in Security, Artificial Intelligence, and Financial Computing [PDF]
EntropyIn this work, we propose a novel quantum-informed epistemic framework that extends the classical notion of probability by integrating plausibility, credibility, and possibility as distinct yet complementary measures of uncertainty.
Gerardo Iovane
doaj +2 more sources
Mathematics, 2022 The aim of the present research work is to design a control law for a quadcopter drone based on the Virtual Attractive-Repulsive Potentials (VARP) theory.
Simone Fiori +2 more
doaj +1 more source
Bayesian Optimization of Hubbard U’s for Investigating InGaN Superlattices
Electronic Materials, 2021 In this study, we undertake a Bayesian optimization of the Hubbard U parameters of wurtzite GaN and InN. The optimized Us are then tested within the Hubbard-corrected local density approximation (LDA+U) approach against standard density functional theory,
Maxim N. Popov +4 more
doaj +1 more source
A Monadic Formalization of ML5 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj +1 more source
Qualitative Analysis of a Single-Species Model with Distributed Delay and Nonlinear Harvest
Mathematics, 2021 In this paper, a single-species population model with distributed delay and Michaelis-Menten type harvesting is established. Through an appropriate transformation, the mathematical model is converted into a two-dimensional system.
Zuxiong Li +3 more
doaj +1 more source
Computing preferred extensions in abstract argumentation : a SAT based approach [PDF]
, 2013 This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances.
Vallati, Mauro +8 more
core +2 more sources
The Theory of Finitely Supported Structures and Choice Forms [PDF]
Scientific Annals of Computer Science, 2018 The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj +1 more source
Non-Equilibrium ϕ4 Theory in a Hierarchy: Towards Manipulating Holograms in Quantum Brain Dynamics
Dynamics, 2023 We describe non-equilibrium ϕ4 theory in a hierarchical manner to develop a method for manipulating coherent fields as a toy model of introducing control into Quantum Field Theory (QFT) of the brain, which is called Quantum Brain Dynamics (QBD). We begin
Akihiro Nishiyama +2 more
doaj +1 more source
Mathematics, 2021 Probability theory is built around Kolmogorov’s axioms. To each event, a numerical degree of belief between 0 and 1 is assigned, which provides a way of summarizing the uncertainty.
Andreas Wichert
doaj +1 more source