Results 21 to 30 of about 133,469 (284)
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
A robust semantics hides fewer errors [PDF]
, 2009 In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
A. Valmari +14 more
core +3 more sources
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
An Abstraction Theory for Qualitative Models of Biological Systems [PDF]
, 2010 Multi-valued network models are an important qualitative modelling approach used widely by the biological community. In this paper we consider developing an abstraction theory for multi-valued network models that allows the state space of a model to be ...
Gabriel Ciobanu +3 more
core +2 more sources
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
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
From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back [PDF]
, 2014 In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis.
Bertossi, Leopoldo, Salimi, Babak
core +3 more sources