Results 1 to 10 of about 93,496 (268)
Strongly Complete Logics for Coalgebras [PDF]
Logical Methods in Computer Science, 2012 Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras.
Alexander Kurz, Jiri Rosicky
doaj +5 more sources
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +6 more sources
What is category theory to cognitive science? Compositional representation and comparison [PDF]
Frontiers in Psychology, 2022 Category theorists and cognitive scientists study the structural (analogical) relations between domains of interest albeit in different contexts, that is, formal and psychological systems, respectively.
Steven Phillips
doaj +2 more sources
Disturbance-Aware On-Chip Training with Mitigation Schemes for Massively Parallel Computing in Analog Deep Learning Accelerator. [PDF]
Adv Sci (Weinh)This study proposes novel operational schemes to solve the write disturbance issues in oxide‐semiconductor and capacitor‐based synaptic devices (6T1C devices). These schemes effectively neutralize disturbances, enabling high‐performance on‐chip training of convolutional neural networks and reducing capacitor size over 100 times.
Kang J +6 more
europepmc +2 more sources
The Information Loss of a Stochastic Map [PDF]
Entropy, 2021 We provide a stochastic extension of the Baez–Fritz–Leinster characterization of the Shannon information loss associated with a measure-preserving function. This recovers the conditional entropy and a closely related information-theoretic measure that we
James Fullwood, Arthur J. Parzygnat
doaj +2 more sources
Geometrical properties of the space of idempotent probability measures
Applied General Topology, 2021 Although traditional and idempotent mathematics are "parallel'', by an application of the category theory we show that objects obtained the similar rules over traditional and idempotent mathematics must not be "parallel''.
Kholsaid Fayzullayevich Kholturayev
doaj +1 more source
Predicting Change in Emotion through Ordinal Patterns and Simple Symbolic Expressions
Mathematics, 2022 Human interlocutors may use emotions as an important signaling device for coordinating an interaction. In this context, predicting a significant change in a speaker’s emotion may be important for regulating the interaction.
Yair Neuman, Yochai Cohen
doaj +1 more source
Вестник Самарского университета: Естественнонаучная серия, 2023 In this short communication we prove that the subspace Pn,n−1(X)of all probability measures P(X), whose supports consist of exactly n points is an (n−1)-dimensional topological manifold.
Mikhail V. Dolgopolov +1 more
doaj +1 more source
AI for identifying social norm violation
Scientific Reports, 2023 Identifying social norms and their violation is a challenge facing several projects in computational science. This paper presents a novel approach to identifying social norm violations.
Yair Neuman, Yochai Cohen
doaj +1 more source
On paracompact spaces and projectively inductively closed functors
Applied General Topology, 2002 In this paper we introduce a notion of projectively inductively closed functor (p.i.c.-functor). We give sufficient conditions for a functor to be a p.i.c.-functor. In particular, any finitary normal functor is a p.i.c.-functor.
T.F. Zhuraev
doaj +1 more source