Results 51 to 60 of about 70,846 (249)
Positive fragments of coalgebraic logics [PDF]
Logical Methods in Computer Science, 2015 Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are ...
Adriana Balan +2 more
doaj +1 more source
3D MR Thermometry Using Bi‐Directional Segmented EPI for Transcranial‐Focused Ultrasound
Magnetic Resonance in Medicine, Volume 95, Issue 4, Page 2106-2116, April 2026.ABSTRACT Purpose To evaluate the feasibility of replacing clinically utilized 2D thermometry with 3D segmented EPI‐based thermometry with equivalent accuracy, precision, and scan time. Methods A 3D segmented EPI (segEPI) trajectory was modified to allow readouts along both the forward and reverse direction for each phase encoding line, and the sequence
Michael Malmberg +5 more
wiley +1 more source
Equivariant toric geometry and Euler–Maclaurin formulae
Communications on Pure and Applied Mathematics, Volume 79, Issue 3, Page 451-557, March 2026.Abstract We first investigate torus‐equivariant motivic characteristic classes of toric varieties, and then apply them via the equivariant Riemann–Roch formalism to prove very general Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes.
Sylvain E. Cappell +3 more
wiley +1 more source
A Data Set of Synthetic Utterances for Computational Personality Analysis
Scientific DataThe computational analysis of human personality has mainly focused on the Big Five personality theory, and the psychodynamic approach is almost nonexistent despite its rich theoretical grounding and relevance to various tasks. Here, we provide a data set
Yair Neuman, Yochai Cohen
doaj +1 more source
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a category should ...
Joseph Razavi, Andrea Schalk
doaj +1 more source
Enriched functor categories for functor calculus
Topology and its Applications, 2022 In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
Bandklayder, L. +4 more
openaire +3 more sources
The ∞$\infty$‐categorical reflection theorem and applications
Journal of Topology, Volume 19, Issue 1, March 2026.Abstract We prove an ∞$\infty$‐categorical version of the reflection theorem of AdÁmek and Rosický [Arch. Math. 25 (1989), no. 1, 89–94]. Namely, that a full subcategory of a presentable ∞$\infty$‐category that is closed under limits and κ$\kappa$‐filtered colimits is a presentable ∞$\infty$‐category.
Shaul Ragimov, Tomer M. Schlank
wiley +1 more source
Scissors congruence K$K$‐theory for equivariant manifolds
Bulletin of the London Mathematical Society, Volume 58, Issue 1, January 2026.Abstract We introduce a scissors congruence K$K$‐theory spectrum that lifts the equivariant scissors congruence groups for compact G$G$‐manifolds with boundary, and we show that on π0$\pi _0$, this is the source of a spectrum‐level lift of the Burnside ring‐valued equivariant Euler characteristic of a compact G$G$‐manifold.
Mona Merling +4 more
wiley +1 more source
, 2010 In this research announcement, we propose a new interpretation of the EPR quantization of the BC model using a functor we call the time functor, which is the first example of a CLa-ren functor.
D. Sullivan +12 more
core +1 more source
Journal of Pure and Applied Algebra, 2018 25 pages; elaborated on the description of graded Tambara functors and clarified some of the category theory.
Angeltveit, Vigleik, Bohmann, Jonathan
openaire +5 more sources