Results 1 to 10 of about 133,370 (185)
Inductive Data Types Based on Fibrations Theory in Programming [PDF]
Journal of Computing and Information Technology, 2016 Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +4 more sources
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
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
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
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