Results 41 to 50 of about 673 (251)

Category-Theoretical and Topos-Theoretical Frameworks in Machine Learning: A Survey

Axioms
In this survey, we provide an overview of category theory-derived machine learning from four mainstream perspectives: gradient-based learning, probability-based learning, invariance and equivalence-based learning, and topos-based learning.
Yiyang Jia, Guohong Peng, Zheng Yang, Tianhao Chen   +3 more
doaj   +1 more source

Models of Type Theory Based on Moore Paths [PDF]

Logical Methods in Computer Science, 2019
This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.
Ian Orton, Andrew M. Pitts
doaj   +1 more source

Negations and Meets in Topos Quantum Theory [PDF]

Foundations of Physics, 2021
The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any ...
openaire   +2 more sources

Lipid Nanoparticles for the Delivery of CRISPR/Cas9 Machinery to Enable Site‐Specific Integration of CFTR and Mutation‐Agnostic Disease Rescue

Advanced Functional Materials, EarlyView.
Lipid nanoparticles (LNPs) are optimized to co‐deliver Cas9‐encoding messenger RNA (mRNA), a single guide RNA (sgRNA) targeting the endogenous cystic fibrosis transmembrane conductance regulator (CFTR) gene, and homologous linear double‐stranded donor DNA (ldsDNA) templates encoding CFTR.
Ruth A. Foley, Paul G. Ayoub, Vrishti Sinha, Colin Juett, Alicia Sanoyca, Emily C. Duggan, Lindsay E. Lathrop, Priyanka Bhatt, Kevin Coote, Beate Illek, Brigitte N. Gomperts, Donald B. Kohn, Steven J. Jonas   +12 more
wiley   +1 more source

Topos Theory and ‘Neo-Realist’ Quantum Theory [PDF]

, 2009
Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasising the logical aspects. Each topos serves as a `mathematical universe' with an internal logic, which is used to assign truth-values to all propositions ...
openaire   +2 more sources

Relative topos theory via stacks

, 2021
We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of ${\mathcal{C}}$-indexed categories.
Caramello, Olivia, Zanfa, Riccardo
openaire   +2 more sources

Complex Cryptographic and User‐Centric Physically Unclonable Functions Enabled by Strain‐Sensitive Nanocrystals via Selective Ligand Exchange

Advanced Functional Materials, EarlyView.
This study investigates electromechanical PUFs that improve on traditional electric PUFs. The electron transport materials are coated randomly through selective ligand exchange. It produces multiple keys and a key with motion dependent on percolation and strain, and approaches almost ideal inter‐ and intra‐hamming distances.
Seungshin Lim, Hanseok Seo, Taesung Park, Byung Ku Jung, Junhyeok Park, Young Kyun Choi, Dae Yang Oh, Soong Ju Oh   +7 more
wiley   +1 more source

Chloroplast Stress Signals Orchestrate Epidermis‐Specific Remodeling of Mitochondria and ER Under High Light

Advanced Science, EarlyView.
High light exposure triggers an epidermis‐specific remodeling of mitochondria and ER in Arabidopsis, driven by chloroplast‐derived signals. Live‐cell imaging shows that HL rapidly suppresses mitochondrial motility, followed by fusion‐driven elongation and ER cisternal expansion.
Evan R. Angelos, Hee‐Seung Choi, Jingzhe Guo, Andrea A. Zanini, Tessa M. Burch‐Smith, Emily Snyder, Matthew Part, Wilhelmina van de Ven, Manhoi Hur, Gerd Ulrich Balcke, Alain Tissier, Quanqing Zhang, Katayoon Dehesh   +12 more
wiley   +1 more source

Pour une théorie périphérique et/ou amoureuse : lectures d’Agamben, Derrida, Rancière

Interlitteraria, 2020
For a Peripheral Theory in Love: Reading Agamben, Derrida, Rancière. The introduction of Giorgio Agamben’s book entitled Stanzas, Word and Phantasm in Western Culture is about the relationship of philosophy and poetry to knowledge in Western culture. The
Francesca Manzari
doaj   +1 more source

Algebraic set theory and the effective topos [PDF]

Journal of Symbolic Logic, 2005
AbstractFollowing the book Algebraic Set Theory from André Joyal and Ieke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).
Kouwenhoven-Gentil, Claire, van Oosten, Jaap   +1 more
openaire   +4 more sources