Results 31 to 40 of about 687,146 (243)
Mathematics, 2021 The purpose of this paper is to promote new methods in mathematical modeling inspired by neuroscience—that is consciousness and subconsciousness—with an eye toward artificial intelligence as parts of the global brain.
Ileana Ruxandra Badea +3 more
doaj +1 more source
On Monstrosity of Metaphor in Cognitive Paradigm [PDF]
Izvestiâ Ûžnogo Federalʹnogo Universiteta: Filologičeskie Nauki, 2016 Khazagerov Georgy Georgievich - Ph.D. of philology, professor. Russian language dpt. Institute of philology, journalism and cross-cultural communication. Southern Federal University. Abstract.
Георгий Георгиевич Хазагеров
doaj +4 more sources
A Topos Theory Foundation for Quantum Mechanics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The theory of quantum mechanics is examined using non-standard real numbers, called quantum real numbers (qr-numbers), that are constructed from standard Hilbert space entities.
John V Corbett
doaj +1 more source
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the topos approach to quantum theory of Doering and Isham the Kochen–Specker Theorem, which asserts the contextual nature of quantum theory, can be reformulated in terms of the global sections of a presheaf characterised by the Gelfand spectrum of
Kevin Dunne
doaj +1 more source
Identification of novel neutralizing determinants for protection against HCV
Hepatology, EarlyView., 2022 Identification of novel neutralizing determinants for protection against hepatitis C virus. Abstract Background and Aims HCV evasion of neutralizing antibodies (nAb) results in viral persistence and poses challenges to the development of an urgently needed vaccine.
Garazi P. Alzua +12 more
wiley +1 more source
Lawvere-Tierney sheafification in Homotopy Type Theory
Journal of Formalized Reasoning, 2016 Sheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles. One of its most famous applications is the possibility to transform a topos into a boolean topos using the dense topology, which ...
Kevin Quirin, Nicolas Tabareau
doaj +1 more source
Total free energy analysis of fully hydrated proteins
Proteins: Structure, Function, and Bioinformatics, Volume 91, Issue 1, Page 74-90, January 2023., 2023 Abstract The total free energy of a hydrated biomolecule and its corresponding decomposition of energy and entropy provides detailed information about regions of thermodynamic stability or instability. The free energies of four hydrated globular proteins with different net charges are calculated from a molecular dynamics simulation, with the energy ...
Jas Kalayan +3 more
wiley +1 more source
Two Constructivist Aspects of Category Theory
Philosophia Scientiæ, 2006 Category theory has two unexpected links to constructivism: First, why is topos logic so close to intuitionistic logic? The paper argues that in part the resemblance is superficial, in part it is due to selective attention, and in part topos theory is ...
Colin McLarty
doaj +1 more source
Bohrification of local nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed ...
Joost Nuiten
doaj +1 more source
An Order-Theoretic Quantification of Contextuality
Information, 2014 In this essay, I develop order-theoretic notions of determinism and contextuality on domains and topoi. In the process, I develop a method for quantifying contextuality and show that the order-theoretic sense of contextuality is analogous to the sense ...
Ian T. Durham
doaj +1 more source