Results 21 to 30 of about 20,008 (316)
Quantum Coding via Quasi-Cyclic Block Matrix
Entropy, 2023 An effective construction method for long-length quantum code has important applications in the field based on large-scale data. With the rapid development of quantum computing, how to construct this class of quantum coding has become one of the key ...
Yuan Li, Jin-Yang Li
doaj +1 more source
On the Entropy of Fractionally Integrated Gauss–Markov Processes
Mathematics, 2020 This paper is devoted to the estimation of the entropy of the dynamical system {Xα(t),t≥0}, where the stochastic process Xα(t) consists of the fractional Riemann–Liouville integral of order α∈(0,1) of a Gauss–Markov process.
Mario Abundo, Enrica Pirozzi
doaj +1 more source
Nanomaterials, 2023 Nitrogen is commonly implanted in silicon to suppress the diffusion of self-interstitials and the formation of voids through the creation of nitrogen–vacancy complexes and nitrogen–nitrogen pairs.
Chloé Simha +5 more
doaj +1 more source
Negotiating the semantics of agent communication languages [PDF]
, 2002 This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time.
Norman, TJ +11 more
core +1 more source
Human-Machine Duality: What’s Next in Cognitive Aspects of Artificial Intelligence?
IEEE Access, 2022 The goal of the paper is to find means for the unification of human-machine duality in collective behavior of people and machines, by conciliating approaches that proceed in opposite directions. The first approach proceeds top-down from non-formalizable,
Alexander N. Raikov, Massimiliano Pirani
doaj +1 more source
Measure Transformer Semantics for Bayesian Machine Learning [PDF]
Logical Methods in Computer Science, 2013 The Bayesian approach to machine learning amounts to computing posterior distributions of random variables from a probabilistic model of how the variables are related (that is, a prior distribution) and a set of observations of variables.
Johannes Borgström +4 more
doaj +1 more source
Molecules, 2023 Non-equilibrium work switching simulations and Jarzynski’s equation are a reliable method for computing free energy differences, ΔAlow→high, between two levels of theory, such as a pure molecular mechanical (MM) and a quantum mechanical/molecular ...
Andreas Schöller +2 more
doaj +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 more
core +1 more source
Solutions of the Yang–Baxter Equation and Automaticity Related to Kronecker Modules
Computation, 2023 The Kronecker algebra K is the path algebra induced by the quiver with two parallel arrows, one source and one sink (i.e., a quiver with two vertices and two arrows going in the same direction). Modules over K are said to be Kronecker modules.
Agustín Moreno Cañadas +2 more
doaj +1 more source
A Coalgebraic Semantics for Imperative Programming Languages [PDF]
, 2014 In the theory of programming languages, one often takes two complementary perspectives. In operational semantics, one defines and reasons about the behaviour of programs; and in denotational semantics, one abstracts away implementation details, and ...
Abou-Saleh, Faris
core +1 more source