Search results for "sheaf"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
125	Laurentiu Leustean	Sheaf representations of BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF
109	Antonio Di Nola, Laurentiu Leustean	Compact representations of BL-algebras.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Basic logic, Sheaf representations, Gelfand duality, BL-algebras
89	Robert Cacioppo	Recognition in a Distributed System.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	sheaf, pattern recognition, knowledge representation
68	Sato Kentaro	Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.	Stud Logica	2008	DBLP DOI BibTeX RDF	general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness
50	Hans Heymans, Isar Stubbe	Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory.	Order	2009	DBLP DOI BibTeX RDF	Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale
48	Isar Stubbe	Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	quantaloid, ordered sheaf, enriched categorical structure, Cauchycompletion, locale, quantale
48	Vakhtang Lomadze	Convolutional Codes and Coherent Sheaves.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Sheaf, Exact sequence, Convolutional encoder, Noncatastrophicity, Linear sequential circuit, Hilbert function, Complexity, Observability, Formal language, Module, Convolutional code, Cohomology, Linear space
43	Steven Awodey, Andrej Bauer	Sheaf toposes for realizability.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03G30, 03D65
41	Jean H. Gallier	Proving Properties of Typed Lambda Terms: Realizability, Covers, and Sheaves (Abstract).	RTA	1993	DBLP DOI BibTeX RDF
23	Olga Zaghen	Nonlinear Sheaf Diffusion in Graph Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
23	Pavel Panteleev, Gleb Kalachev	Maximally Extendable Sheaf Codes.	CoRR	2024	DBLP DOI BibTeX RDF
23	Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield	Developments in Sheaf-Theoretic Models of Natural Language Ambiguities.	CoRR	2024	DBLP DOI BibTeX RDF
23	Antonio Purificato, Giulia Cassarà, Pietro Liò, Fabrizio Silvestri	Sheaf Neural Networks for Graph-based Recommender Systems.	CoRR	2023	DBLP DOI BibTeX RDF
23	Iulia Duta, Giulia Cassarà, Fabrizio Silvestri, Pietro Liò	Sheaf Hypergraph Networks.	CoRR	2023	DBLP DOI BibTeX RDF
23	Gabriele Cesa, Arash Behboodi	Algebraic Topological Networks via the Persistent Local Homology Sheaf.	CoRR	2023	DBLP DOI BibTeX RDF
23	Arne Wolf, Anthea Monod	Topological Community Detection: A Sheaf-Theoretic Approach.	CoRR	2023	DBLP DOI BibTeX RDF
23	Arne Wolf, Anthea Monod	Topological Community Detection: A Sheaf-Theoretic Approach.	COMPLEX NETWORKS (2)	2023	DBLP DOI BibTeX RDF
23	Ainkaran Santhirasekaram, Karen Pinto, Mathias Winkler, Andrea G. Rockall, Ben Glocker	A Sheaf Theoretic Perspective for Robust Prostate Segmentation.	MICCAI (4)	2023	DBLP DOI BibTeX RDF
23	Yash Kumar Atri, Arun Iyer, Tanmoy Chakraborty 0002, Vikram Goyal	Promoting Topic Coherence and Inter-Document Consorts in Multi-Document Summarization via Simplicial Complex and Sheaf Graph.	EMNLP	2023	DBLP DOI BibTeX RDF
23	Iulia Duta, Giulia Cassarà, Fabrizio Silvestri, Pietro Lió	Sheaf Hypergraph Networks.	NeurIPS	2023	DBLP BibTeX RDF
23	Thomas Gebhart, Jakob Hansen, Paul Schrater	Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding.	AISTATS	2023	DBLP BibTeX RDF
23	Nicolas Berkouk	On the (non-)stability of the sheaf-function correspondence.	CoRR	2022	DBLP DOI BibTeX RDF
23	Huarong Zhang, Dongsheng Zhao	The sheaf representation of residuated lattices.	ISDT	2022	DBLP DOI BibTeX RDF
23	Anh-Duy Pham, Chuong Dinh Le, Hoang Viet Pham, Thinh Gia Tran, Dat Thanh Vo, Long Chau Tran, An Dinh Le, Hien Bich Vo	Sheaf-theoretic self-filtering network of low-cost sensors for local air quality monitoring: A causal approach.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jonathan Sterling, Robert Harper 0001	Sheaf semantics of termination-insensitive noninterference.	CoRR	2022	DBLP DOI BibTeX RDF
23	Cristian Bodnar, Francesco Di Giovanni, Benjamin Paul Chamberlain, Pietro Liò, Michael M. Bronstein	Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs.	CoRR	2022	DBLP BibTeX RDF
23	Kin Ian Lo, Mehrnoosh Sadrzadeh, Shane Mansfield	A Model of Anaphoric Ambiguities using Sheaf Theoretic Quantum-like Contextuality and BERT.	E2ECOMPVEC@ESSLLI	2022	DBLP DOI BibTeX RDF
23	Shreya Arya, Justin Curry, Sayan Mukherjee 0001	A Sheaf-Theoretic Construction of Shape Space.	CoRR	2022	DBLP DOI BibTeX RDF
23	Federico Barbero, Cristian Bodnar, Haitz Sáez de Ocáriz Borde, Michael M. Bronstein, Petar Velickovic, Pietro Liò	Sheaf Neural Networks with Connection Laplacians.	CoRR	2022	DBLP DOI BibTeX RDF
23	Jonathan Sterling, Robert Harper 0001	Sheaf Semantics of Termination-Insensitive Noninterference.	FSCD	2022	DBLP DOI BibTeX RDF
23	Federico Barbero, Cristian Bodnar, Haitz Sáez de Ocáriz Borde, Michael M. Bronstein, Petar Velickovic, Pietro Liò	Sheaf Neural Networks with Connection Laplacians.	TAG-ML	2022	DBLP BibTeX RDF
23	Cristian Bodnar, Francesco Di Giovanni, Benjamin Paul Chamberlain, Pietro Lió, Michael M. Bronstein	Neural Sheaf Diffusion: A Topological Perspective on Heterophily and Oversmoothing in GNNs.	NeurIPS	2022	DBLP BibTeX RDF
23	Renita Murimi	On the Design of Social Robots Using Sheaf Theory and Smart Contracts.	Frontiers Robotics AI	2021	DBLP DOI BibTeX RDF
23	Thierry Coquand, Fabian Ruch, Christian Sattler	Constructive sheaf models of type theory.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
23		The Sheaf-Theoretic Structure of Definite Causality.	QPL	2021	DBLP DOI BibTeX RDF
23	Thomas Gebhart, Jakob Hansen, Paul Schrater	Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding.	CoRR	2021	DBLP BibTeX RDF
23	Antonio Di Nola, Giacomo Lenzi, Luca Spada	Sheaf representations and locality of Riesz spaces with order unit.	J. Log. Anal.	2021	DBLP BibTeX RDF
23	Adam Brown, Bei Wang 0001	Sheaf-Theoretic Stratification Learning from Geometric and Topological Perspectives.	Discret. Comput. Geom.	2021	DBLP DOI BibTeX RDF
23	Chuan-Shen Hu, Yu-Min Chung 0002	A Sheaf and Topology Approach to Detecting Local Merging Relations in Digital Images.	CVPR Workshops	2021	DBLP BibTeX RDF
23	Boaz Haberman	Algebraic Theories and Commutativity in a Sheaf Topos.	Appl. Categorical Struct.	2020	DBLP DOI BibTeX RDF
23	Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli	A Compositional Sheaf-Theoretic Framework for Event-Based Systems.	ACT	2020	DBLP DOI BibTeX RDF
23	Jakob Hansen, Thomas Gebhart	Sheaf Neural Networks.	CoRR	2020	DBLP BibTeX RDF
23	Chuan-Shen Hu, Yu-Min Chung 0002	A Sheaf and Topology Approach to Generating Local Branch Numbers in Digital Images.	CoRR	2020	DBLP BibTeX RDF
23	Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli	A Compositional Sheaf-Theoretic Framework for Event-Based Systems.	CoRR	2020	DBLP BibTeX RDF
23	Cliff A. Joslyn, Lauren Charles, Chris DePerno, Nicholas Gould, Kathleen Nowak, Brenda Praggastis, Emilie Purvine, Michael Robinson 0001, Jennifer Strules, Paul Whitney	A Sheaf Theoretical Approach to Uncertainty Quantification of Heterogeneous Geolocation Information.	Sensors	2020	DBLP DOI BibTeX RDF
23	Mehdi Benchoufi	Microlocal sheaf theory for Radon transform. (Théorie microlocale des faisceaux pour la transformation Radon).		2020	RDF
23	Nicolas Berkouk, Grégory Ginot, Steve Oudot	Level-sets persistence and sheaf theory.	CoRR	2019	DBLP BibTeX RDF
23	Pyla Vamsi Sagar, M. Phani Krishna Kishore	Sheaf Representation of an Information System.	Int. J. Rough Sets Data Anal.	2019	DBLP DOI BibTeX RDF
23	Jakob Hansen, Robert Ghrist	Learning Sheaf Laplacians from Smooth Signals.	ICASSP	2019	DBLP DOI BibTeX RDF
23	Jakob Hansen, Robert Ghrist	Distributed Optimization with Sheaf Homological Constraints.	Allerton	2019	DBLP DOI BibTeX RDF
23	Masaki Kashiwara, Pierre Schapira	Persistent homology and microlocal sheaf theory.	J. Appl. Comput. Topol.	2018	DBLP DOI BibTeX RDF
23	Wlodek Zadrozny, Luciana Garbayo	A Sheaf Model of Contradictions and Disagreements. Preliminary Report and Discussion.	CoRR	2018	DBLP BibTeX RDF
23	Alberto Speranzon, David I. Spivak, Srivatsan Varadarajan	Abstraction, Composition and Contracts: A Sheaf Theoretic Approach.	CoRR	2018	DBLP BibTeX RDF
23	Adam Brown, Bei Wang 0001	Sheaf-Theoretic Stratification Learning.	SoCG	2018	DBLP DOI BibTeX RDF
23	Seyed M.-H. Mansourbeigi	Sheaf Theory as a Mathematical Foundation for Distributed Applications Involving Heterogeneous Data Sets.	AINA Workshops	2018	DBLP DOI BibTeX RDF
23	Wlodek Zadrozny, Luciana Garbayo	A Sheaf Model of Contradictions and Disagreements. A (very) Preliminary Report.	ISAIM	2018	DBLP BibTeX RDF
23	Clovis Eberhart, Tom Hirschowitz, Thomas Seiller	An intensionally fully-abstract sheaf model for π (expanded version).	CoRR	2017	DBLP BibTeX RDF
23	Adam Brown, Bei Wang 0001	Sheaf-Theoretic Stratification Learning.	CoRR	2017	DBLP BibTeX RDF
23	Fernando Tohmé, Gianluca Caterina, Rocco Gangle	Local and global optima in decision-making: a sheaf-theoretical analysis of the difference between classical and behavioral approaches.	Int. J. Gen. Syst.	2017	DBLP DOI BibTeX RDF
23	Clovis Eberhart, Tom Hirschowitz, Thomas Seiller	An intensionally fully-abstract sheaf model for π (expanded version).	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
23	Justin Curry, Robert Ghrist, Vidit Nanda	Discrete Morse Theory for Computing Cellular Sheaf Cohomology.	Found. Comput. Math.	2016	DBLP DOI BibTeX RDF
23	Clovis Eberhart, Tom Hirschowitz, Thomas Seiller	An Intensionally Fully-abstract Sheaf Model for pi.	CALCO	2015	DBLP DOI BibTeX RDF
23	Atul Ingle, Tomy Varghese	Three-Dimensional Sheaf of Ultrasound Planes Reconstruction (SOUPR) of Ablated Volumes.	IEEE Trans. Medical Imaging	2014	DBLP DOI BibTeX RDF
23	Nathanael Leedom Ackerman	Sheaf Recursion and a Separation Theorem.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
23	Shane Mansfield, Rui Soares Barbosa	Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models.	CoRR	2014	DBLP BibTeX RDF
23	Samson Abramsky, Mehrnoosh Sadrzadeh	Semantic Unification A sheaf theoretic approach to natural language.	CoRR	2014	DBLP BibTeX RDF
23	Bassel Mannaa, Thierry Coquand	A Sheaf Model of the Algebraic Closure.	CL&C	2014	DBLP DOI BibTeX RDF
23	Samson Abramsky, Mehrnoosh Sadrzadeh	Semantic Unification - A Sheaf Theoretic Approach to Natural Language.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
23	Lawrence Peter Belluce, Antonio Di Nola, Anna R. Ferraioli	MV-semirings and their Sheaf Representations.	Order	2013	DBLP DOI BibTeX RDF
23	Marcin Wolski	Toward Foundations of Near Sets: (Pre-)Sheaf Theoretic Approach.	Math. Comput. Sci.	2013	DBLP DOI BibTeX RDF
23	Antonio Di Nola, Anna R. Ferraioli, Giacomo Lenzi	Algebraically closed MV-algebras and their sheaf representation.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
23	Hanako Yamamoto, Daisuke Bekki	First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences.	JSAI-isAI Workshops	2013	DBLP DOI BibTeX RDF
23	Michael Robinson 0001	Understanding networks and their behaviors using sheaf theory.	GlobalSIP	2013	DBLP DOI BibTeX RDF
23	Dmitry P. Skvortsov	On the constant domains principle and its weakened versions in the Kripke sheaf semantics.	TACL	2013	DBLP DOI BibTeX RDF
23	Dmitrij P. Skvortsov	Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle.	Stud Logica	2012	DBLP DOI BibTeX RDF
23	David M. Butler	The Sheaf Data Model: A Rigorous Data Model for Scientific Computing.	SC Companion	2012	DBLP DOI BibTeX RDF
23	Kohei Kishida	Neighborhood-Sheaf Semantics for First-Order Modal Logic.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
23	Samson Abramsky, Adam Brandenburger	A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality	CoRR	2011	DBLP BibTeX RDF
23	Michael Robinson 0001	Asynchronous Logic Circuits and Sheaf Obstructions.	GETCO	2010	DBLP DOI BibTeX RDF
23	Shigeki Matsutani	Sheaf-theoretic investigation of CIP-method.	Appl. Math. Comput.	2010	DBLP DOI BibTeX RDF
23	Michael Robinson 0001	Asynchronous logic circuits and sheaf obstructions	CoRR	2010	DBLP BibTeX RDF
23	Elias Zafiris	A sheaf-theoretic topos model of the physical 'Continuum' and its cohomological observable dynamics.	Int. J. Gen. Syst.	2009	DBLP DOI BibTeX RDF
23	Hugues Mounier, Roger Reynaud	Towards context aware tracking: a flatness based automotive oriented scheme with elastic execution time and sheaf determination.	Int. J. Control	2008	DBLP DOI BibTeX RDF
23	Nicola Gambino	The associated sheaf functor theorem in algebraic set theory.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
23	Tomoko Yonezawa, Noriaki Mitsunaga, Taichi Tajika, Takahiro Miyashita, Shinji Abe	Sheaf on sheet: a concept of tangible interface for browsing on a flexible e-paper.	SIGGRAPH Posters	2008	DBLP DOI BibTeX RDF
23	Elena Sendroiu	Sheaf tools for computation.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
23	Ulrich Höhle	Fuzzy sets and sheaves. Part II: : Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
23	Mário J. Edmundo, Gareth O. Jones, Nicholas J. Peatfield	Sheaf Cohomology in O-Minimal Structures.	J. Math. Log.	2006	DBLP DOI BibTeX RDF
23	Pietro Di Gianantonio, Marino Miculan	Unifying Recursive and Co-recursive Definitions in Sheaf Categories.	FoSSaCS	2004	DBLP DOI BibTeX RDF
23	Alexander V. Voinov	The Role of Similarity Judgment in Intuitive Problem Solving and its Modeling in a Sheaf-Theoretic Framework.	FSKD	2002	DBLP BibTeX RDF
23	Nobu-Yuki Suzuki	Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics.	Stud Logica	1999	DBLP DOI BibTeX RDF
23	Eric Bach 0001	Sheaf Cohomology is #P-hard.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
23	Erik Palmgren	Constructive Sheaf Semantics.	Math. Log. Q.	1997	DBLP DOI BibTeX RDF
23	Erik Palmgren	A Sheaf-Theoretic Foundation for Nonstandard Analysis.	Ann. Pure Appl. Log.	1997	DBLP DOI BibTeX RDF
23	Hector Gramaglia, Diego Vaggione	Birkhoff-like sheaf representation for varieties of lattice expansions.	Stud Logica	1996	DBLP DOI BibTeX RDF
23	Viorica Sofronie	Towards a Sheaf Semantics for Cooperating Agents Scenarios.	AISMC	1996	DBLP DOI BibTeX RDF
23	Silvio Ghilardi, Marek W. Zawadowski	A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras.	J. Symb. Log.	1995	DBLP DOI BibTeX RDF
23	M. Adelman, John V. Corbett	A sheaf model for intuitionistic quantum mechanics.	Appl. Categorical Struct.	1995	DBLP DOI BibTeX RDF
23	Jean Petitot	Sheaf mereology and Husserl's morphological ontology.	Int. J. Hum. Comput. Stud.	1995	DBLP DOI BibTeX RDF
23	Yellamraju V. Srinivas	A Sheaf-Theoretic Approach to Pattern Matching and Related Problems.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF