Results 1 to 10 of about 165,816 (266)
Logical Entropy of Fuzzy Dynamical Systems
Recently the logical entropy was suggested by D. Ellerman (2013) as a new information measure. The present paper deals with studying logical entropy and logical mutual information and their properties in a fuzzy probability space.
Dagmar Markechová, Beloslav Riečan
doaj +3 more sources
Logical entropy of quantum dynamical systems
This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented.
Ebrahimzadeh Abolfazl
doaj +2 more sources
Nucleic Acid Based Logical Systems [PDF]
Cuisong Zhou, Cuichen Wu, Da Han
exaly +2 more sources
Scalable Artificial Intelligence for Earth Observation Data Using Hopsworks
This paper introduces the Hopsworks platform to the entire Earth Observation (EO) data community and the Copernicus programme. Hopsworks is a scalable data-intensive open-source Artificial Intelligence (AI) platform that was jointly developed by Logical ...
Desta Haileselassie Hagos +8 more
doaj +1 more source
Logical Pluralism and Interpretations of Logical Systems
Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence.
Diego Tajer, Camillo Fiore
openaire +3 more sources
Quantum logical entropy: fundamentals and general properties
Logical entropy gives a measure, in the sense of measure theory, of the distinctions of a given partition of a set, an idea that can be naturally generalized to classical probability distributions.
Tamir Boaz +3 more
doaj +1 more source
A quantum simulator based on locally controlled logical systems
In a digital quantum simulator, basic two-qubit interactions are manipulated by means of fast local control operations to establish a desired target Hamiltonian. Here we consider a quantum simulator based on logical systems, i.e.
Ferran Riera-Sàbat +2 more
doaj +1 more source
A modular construction of type theories [PDF]
The lambda-Pi-calculus modulo theory is a logical framework in which many type systems can be expressed as theories. We present such a theory, the theory U, where proofs of several logical systems can be expressed. Moreover, we identify a sub-theory of U
Frédéric Blanqui +4 more
doaj +1 more source
Interoperable Architecture For Logical Reconfigurations Of Modular Production Systems
Individualisation of products and ever-shorter product lifecycles require manufacturing companies to quickly reconfigure their production and adapt to changing requirements.
Behrendt, Sebastian +7 more
doaj +1 more source
A Method for Automated Cavitation Detection with Adaptive Thresholds
Hydroturbine operators who wish to collect cavitation intensity data to estimate cavitation erosion rates and calculate remaining useful life (RUL) of the turbine runner face several practical challenges related to long term cavitation detection.
Seth W. Gregg +2 more
doaj +1 more source

