Search results for "adjunction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
81	V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles	Tree Adjoining Grammars in Noncommutative Linear Logic.	LACL	1996	DBLP DOI BibTeX RDF
66	Tingquan Deng, Yanmei Chen, Guanghong Gao	Algebraic Properties of Adjunction-Based Fuzzy Rough Sets.	RSFDGrC	2007	DBLP DOI BibTeX RDF	necessity measure, probability measure, Fuzzy logic, fuzzy relation, fuzzy rough sets, adjunction
64	Miguel A. Alonso 0001, Vicente Carrillo, Víctor J. Díaz	Mixed Parsing of Tree Insertion and Tree Adjoining Grammars.	IBERAMIA	2002	DBLP DOI BibTeX RDF
59	Tosiyasu L. Kunii	Web Information Modeling: The Adjunction Space Model.	DNIS	2002	DBLP DOI BibTeX RDF
56	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
42	Roman S. Dubtsov	Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
42	Isabelle Bloch	Duality vs Adjunction and General Form for Fuzzy Mathematical Morphology.	WILF	2005	DBLP DOI BibTeX RDF
42	Jos B. T. M. Roerdink	Multiresolution maximum intensity volume rendering by morphological adjunction pyramids.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
40	Tosiyasu L. Kunii, Kenji Ohmori	Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology
40	Tingquan Deng, Yanmei Chen	On Reduction of Morphological Covering Rough Sets.	FSKD	2006	DBLP DOI BibTeX RDF	morphological covering, Rough set, reduction, morphological operators, adjunction
40	Tosiyasu L. Kunii	Cyber Graphics (Keynote).	CW	2002	DBLP DOI BibTeX RDF	adjunction spaces, cell attaching functions, a hierarchy of invariants, cellular spatial structures
32	Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki	An organizational file permission management system using the cellular data system.	IDEAS	2009	DBLP DOI BibTeX RDF	attaching map, file permission information management, formula expression, cellular model, cyberworlds
32	José L. Castiglioni, Matías Menni, Marta Sagastume	On Some Categories of Involutive Centered Residuated Lattices.	Stud Logica	2008	DBLP DOI BibTeX RDF	Kalman functor, residuated lattices, involution
32	Tingquan Deng, Yanmei Chen	Generalized Fuzzy Morphological Operators.	FSKD (2)	2005	DBLP DOI BibTeX RDF
32	Torben Braüner	A Model of Intuitionistic Affine Logic From Stable Domain Theory.	ICALP	1994	DBLP DOI BibTeX RDF
32	Éric Badouel, Philippe Darondeau	Trace Nets.	REX Workshop	1992	DBLP DOI BibTeX RDF	Trace Automata, Trace Nets, Regions
32	Glynn Winskel	Petri Nets and Transition Systems (Abstract for an invited talk).	FSTTCS	1991	DBLP DOI BibTeX RDF
26	Thibaut Benjamin, Ioannis Markakis	Duality for weak ω-categories and the suspension and hom adjunction.	CoRR	2024	DBLP DOI BibTeX RDF
26	Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild	Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.	STACS	2024	DBLP DOI BibTeX RDF
26	Harsh Beohar, Sebastian Gurke, Barbara König 0001, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild	Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.	CoRR	2023	DBLP DOI BibTeX RDF
26	Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný	Topology and Adjunction in Promise Constraint Satisfaction.	SIAM J. Comput.	2023	DBLP DOI BibTeX RDF
26	Richard Garner	The costructure-cosemantics adjunction for comodels for computational effects.	Math. Struct. Comput. Sci.	2022	DBLP DOI BibTeX RDF
26	Hankyung Ko, Volodymyr Mazorchuk, Xiaoting Zhang	Adjunction in the Absence of Identity.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
26	Ivan Di Liberti	General Facts on the Scott Adjunction.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
26	Razvan Diaconescu	Non-determinsitic algebraic rewriting as adjunction.	CoRR	2022	DBLP DOI BibTeX RDF
26	Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio	Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
26	Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný	Topology and adjunction in promise constraint satisfaction.	Electron. Colloquium Comput. Complex.	2020	DBLP BibTeX RDF
26	Richard Garner	The costructure-cosemantics adjunction for comodels for computational effects.	CoRR	2020	DBLP BibTeX RDF
26	Dusko Pavlovic, Dominic J. D. Hughes	The nucleus of an adjunction and the Street monad on monads.	CoRR	2020	DBLP BibTeX RDF
26	Andrei A. Krokhin, Jakub Oprsal, Marcin Wrochna, Stanislav Zivný	Topology and adjunction in promise constraint satisfaction.	CoRR	2020	DBLP BibTeX RDF
26	Arthur J. Parzygnat	Stinespring's construction as an adjunction.	Compositionality	2019	DBLP DOI BibTeX RDF
26	Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe	Realizability in ordered combinatory algebras with adjunction.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
26	Arthur J. Parzygnat	From Observables and States to Hilbert Space and Back: A 2-Categorical Adjunction.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
26	Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio	Factorizing the Top-Loc adjunction through positive topologies.	CoRR	2018	DBLP BibTeX RDF
26	Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni	A theory of effects and resources: adjunction models and polarised calculi.	POPL	2016	DBLP DOI BibTeX RDF
26	Sophie Arnoult, Khalil Sima'an	Factoring Adjunction in Hierarchical Phrase-Based SMT.	DMTW	2016	DBLP BibTeX RDF
26	Claire Gardent, Shashi Narayan	Multiple Adjunction in Feature-Based Tree-Adjoining Grammar.	Comput. Linguistics	2015	DBLP DOI BibTeX RDF
26	Thomas Graf	Models of Adjunction in Minimalist Grammars.	FG	2014	DBLP DOI BibTeX RDF
26	Sylvain Kahane	Predicative Adjunction in a Modular Dependency Grammar.	DepLing	2013	DBLP BibTeX RDF
26	Meaghan Fowlie	Order and Optionality: Minimalist Grammars with Adjunction.	MOL	2013	DBLP BibTeX RDF
26	Choh Man Teng 0001	When adjunction fails.	Synth.	2012	DBLP DOI BibTeX RDF
26	Vincenzo Marra, Luca Spada	The Dual Adjunction between MV-algebras and Tychonoff Spaces.	Stud Logica	2012	DBLP DOI BibTeX RDF
26	Wei Yao 0004	A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
26	Thomas Graf	Tree Adjunction as Minimalist Lowering.	TAG	2012	DBLP BibTeX RDF
26	Nachiko Uchiyama, Takayuki Kinoshita, Takashi Hojo, Sota Asaga, Junko Suzuki, Yoko Kawawa, Kyoichi Otsuka	Usefulness of Adjunction of Digital Breast Tomosynthesis (DBT) to Full-Field Digital Mammography (FFDM) in Evaluation of Pathological Response after Neoadjuvant Chemotherapy (NAC) for Breast Cancer.	Digital Mammography / IWDM	2012	DBLP DOI BibTeX RDF
26	Nachiko Uchiyama, Takayuki Kinoshita, Takashi Hojo, Sota Asaga, Junko Suzuki, Shiho Gomi, Chieko Nagashima, Yoko Kawawa, Kyoichi Otsuka	Diagnostic Impact of Adjunction of Digital Breast Tomosynthesis (DBT) to Full Field Digital Mammography (FFDM) and in Comparison with Full Field Digital Mammography (FFDM).	Digital Mammography / IWDM	2012	DBLP DOI BibTeX RDF
26	Marcos Eduardo Valle, Peter Sussner	Storage and recall capabilities of fuzzy morphological associative memories with adjunction-based learning.	Neural Networks	2011	DBLP DOI BibTeX RDF
26	Roman S. Dubtsov	Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
26	Gregory M. Kobele, Jens Michaelis	Disentangling Notions of Specifier Impenetrability: Late Adjunction, Islands, and Expressive Power.	MOL	2011	DBLP DOI BibTeX RDF
26	Isabelle Bloch	Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
26	Dominique Duval, Rachid Echahed, Frédéric Prost	Adjunction for Garbage Collection with Application to Graph Rewriting.	RTA	2007	DBLP DOI BibTeX RDF
26	Paul Blain Levy	Adjunction Models For Call-By-Push-Value With Stacks.	CTCS	2002	DBLP DOI BibTeX RDF
26	Lutz Schröder, Horst Herrlich	Free Adjunction of Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	(absolutely) initial morphism, (absolute) monomorphism, section, graph, category
26	Dieter Wunderlich	Argument Extension by Lexical Adjunction.	J. Semant.	1997	DBLP DOI BibTeX RDF
26	Gary T. Leavens, Don Pigozzi	The Behavior-Realization Adjunction and Generalized Homomorphic Relations.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
26	Uwe Mönnich	Adjunction As Substitution: An Algebraic Formulation of Regular Context-Free and Tree Adjoining Languages	CoRR	1997	DBLP BibTeX RDF
26	Beth Ann Hockey, Bangalore Srinivas	Feature-Based TAG in place of multi-component adjunction: Computational Implications.	CoRR	1994	DBLP BibTeX RDF
26	Larry Wos	The Problem of Demodulator Adjunction.	J. Autom. Reason.	1992	DBLP DOI BibTeX RDF
26	Susumu Hayashi	Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
26	David E. Rydeheard	Adjunction.	CTCS	1985	DBLP DOI BibTeX RDF
26	Aravind K. Joshi, S. Rao Kosaraju, H. M. Yamada	String Adjunct Grammars: I. Local and Distributed Adjunction	Inf. Control.	1972	DBLP DOI BibTeX RDF
24	Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki	WWW Business Applications Based on the Cellular Model.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, formula expression, adjunction space, presentation level, topological space, cellular space, cyberworlds
24	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
24	Kenji Ohmori, Tosiyasu L. Kunii	An Incrementally Modular Abstraction Hierarchy for Linear Software Development Methodology.	CW	2006	DBLP DOI BibTeX RDF	incrementally modular abstraction hierarchy, fiber bundles, adjunction spaces, software development, homotopy, cellular spaces, Cyberworlds
24	Manfred Droste, R. M. Shortt	From Petri Nets to Automata with Concurrency.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction
24	Robert D. Rosebrugh, Richard J. Wood	Boundedness and Complete Distributivity.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	bounded suprema, completely distributive, adjunction
24	Bernhard Banaschewski, Ales Pultr	Adjointness Aspects of the Down-Set Functor.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	down-set frames, open and similar types of homomorphisms, adjunction, Booleanization
24	Richard J. Fateman	A Review of Macsyma.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	Macsyma algebraic manipulation system, knowledge-adjunction, mathematical semantics, user model, software packages, symbol manipulation, mathematics computing, language semantics, input/output, future directions
16	Laurence Kirby	A hierarchy of hereditarily finite sets.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03E20
16	Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category II.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A20, 18A22, 18A32, 18A40
16	Marcos Eduardo Valle, Peter Sussner	Fuzzy Associative Memories from the Perspective of Mathematical Morphology.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
16	Corina Cîrstea, Mehrnoosh Sadrzadeh	Coalgebraic Epistemic Update Without Change of Model.	CALCO	2007	DBLP DOI BibTeX RDF
16	Christophe Van Olmen, Stijn Verwulgen	Every Banach Space is Reflexive.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	locally convex approach space, totally convex module, weak*-structure, duality, Banach space
16	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
16	Gemma Bel Enguix, María Dolores Jiménez-López	Membranes as Multi-agent Systems: an Application to Dialogue Modelling.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
16	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Event Structure Semantics for Nominal Calculi.	CONCUR	2006	DBLP DOI BibTeX RDF
16	Abolghasem Karimi Feizabadi, M. Mehdi Ebrahimi	Point-Free Version of Kakutani Duality.	Order	2005	DBLP DOI BibTeX RDF	Kakutani duality, Riesz space, frame
16	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
16	Pilar Carrasco, Juan Martínez-Moreno	Simplicial Cohomology with Coefficients in Symmetric Categorical Groups.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	categorical groups, simplicial set, nerve, homotopy classes, cohomology
16	Constantine Tsinakis, Han Zhang	Order Algebras as Models of Linear Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	net semantics, partially ordered monoids, Petri nets, linear logic, quantales
16	Hitoshi Furusawa	A Free Construction of Kleene Algebras with Tests.	MPC	2004	DBLP DOI BibTeX RDF
16	Wu-Neng Zhou	On some important properties of containwise regularity and category L-CLOSURE.	SMC (1)	2004	DBLP DOI BibTeX RDF
16	Ulrich Schöpp, Ian Stark	A Dependent Type Theory with Names and Binding.	CSL	2004	DBLP DOI BibTeX RDF
16	Zièd Choukair	Composition and Customization of Multimedia Telecoms Services.	AINA	2003	DBLP DOI BibTeX RDF	virtual Bouquet, behavioral aspects, composition, connectors
16	Sylvain Guerraz, Frank Perbet, David Raulo, François Faure, Marie-Paule Cani	A Procedural Approach to Animate Interactive Natural Sceneries.	CASA	2003	DBLP DOI BibTeX RDF	animation, levels of detail, natural phenomena, procedural modelling, autonomous character
16	Ariane Péladan-Germa	Testing Equality in Differential Ring Extensions Defined by PDE's and Limit Conditions.	Appl. Algebra Eng. Commun. Comput.	2002	DBLP DOI BibTeX RDF
16	Jos B. T. M. Roerdink	A New Class of Morphological Pyramids for Multiresolution Image Analysis.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF
16	Manfred Droste, R. M. Shortt	Continuous Petri Nets and Transition Systems.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi, Elisa Quintarelli	Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.	SAS	2001	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness
16	Renato Keshet, Henk J. A. M. Heijmans	Adjunctions in Pyramids and Curve Evolution.	Scale-Space	2001	DBLP DOI BibTeX RDF
16	Roberto Bruni, José Meseguer 0001, Ugo Montanari, Vladimiro Sassone	A Comparison of Petri Net Semantics under the Collective Token Philosophy.	ASIAN	1998	DBLP DOI BibTeX RDF
16	Florence H. Sheehan, Edward L. Bolson, Roy W. Martin, Gerard Bashein, John McDonald 0005	Quantitative Three Dimensional Echocardiography: Methodology, Validation, and Clinical Applications.	MICCAI	1998	DBLP DOI BibTeX RDF
16	Slawomir Lasota 0001	Weak Bisimilarity and Open Maps.	SOFSEM	1998	DBLP DOI BibTeX RDF
16	Henk J. A. M. Heijmans	Composing morphological filters.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi, Francesco Ranzato	Refining and Compressing Abstract Domains.	ICALP	1997	DBLP DOI BibTeX RDF
16	Luca Bernardinello, Lucia Pomello	A Category of Transition Systems and Its Relations with Orthomodular Posets.	MFCS	1997	DBLP DOI BibTeX RDF
16	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
16	Ariane Péladan-Germa	Testing Identities of Series Defined by Algebraic Partial Differential Equations.	AAECC	1995	DBLP DOI BibTeX RDF
16	Pierre-Jean Erard, Claude Fuhrer, Laurent Iff	A synthetic mobile robot.	CA	1995	DBLP DOI BibTeX RDF	mobile robot simulation animation, robot Nomad 200, computer screen, mobile robots, virtual world, ray tracing, computer animation, digital simulation, autonomous agent, radiosity, reactive programming, virtual sensors