Search results for "morphism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Eraldo Giuli, Walter Tholen	Openness with Respect to a Closure Operator.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closed morphism, open morphism, initial morphism, final morphism, open subobject, natural complement, closure operator
64	Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu	Bisimulation for General Stochastic Hybrid Systems.	HSCC	2005	DBLP DOI BibTeX RDF	stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory
64	H. L. Bentley, Eva Lowen-Colebunders	Initial Morphisms versus Embeddings.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure
63	Johannes C. Schneider	Unambiguous Erasing Morphisms in Free Monoids.	SOFSEM	2009	DBLP DOI BibTeX RDF
63	Patrice Séébold	On the Conjugation of Standard Morphisms.	MFCS	1996	DBLP DOI BibTeX RDF
58	Michel Hébert	l-presentable Morphisms, Injectivity and (Weak) Factorization Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	finitely presentable morphism, finitely presented morphism, pure morphism, injectivity, locally presentable categories, weak factorization system, orthogonality
57	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
57	Peter T. Johnstone	An "Unsitely" Result on Atomic Morphisms.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomic morphism, topos theory
55	Keith A. Hardie, Klaus Heiner Kamps, Howard J. Marcum, Nobuyuki Oda	Triple Brackets and Lax Morphism Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	Toda bracket (matrix, box, triple, quaternary), (lax) morphism category, homotopy category, suspension functor, homotopy groups of spheres, 2-category
51	Valdis Laan	On Descent Theory for Monoid Actions.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent morphism, effective descent morphism, monoid action
50	Antonio Bucciarelli, Benjamin Leperchey	Hypergraphs and Degrees of Parallelism: A Completeness Result.	FoSSaCS	2004	DBLP DOI BibTeX RDF
50	Petr Sosík	D0L System + Watson-Crick Complementarity = Universal Computation.	MCU	2001	DBLP DOI BibTeX RDF
50	Veikko Keränen	Abelian Squares are Avoidable on 4 Letters.	ICALP	1992	DBLP DOI BibTeX RDF
47	Tetsuo Moriya	Closure properties of subclasses of ω-regular languages under morphism and inverse morphism.	Int. J. Comput. Math.	1992	DBLP DOI BibTeX RDF
44	Guillaume C. L. Brümmer, Eraldo Giuli, David B. Holgate	Direct Reflections.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	direct reflection, perfect morphism, Samuel compactification, topological bicompletion
38	Bachuki Mesablishvili	Descent Theory for Schemes.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	quasi-coherent module, indexed category, (effective) descent morphism, pure morphism of schemes, scheme
38	Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt	Components of the Fundamental Category.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	po-space, dihomotopy, fundamental category, category of fractions, invertible morphism, lr-system, pure system, weakly invertible morphism, component
38	Maria Manuel Clementino, Eraldo Giuli, Walter Tholen	What is a Quotient Map with Respect to a Closure Operator?	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	c-initial morphism, c-final morphism, c-quotient, Whitehead's Theorem, closure operator
38	Kristian Brüning, Birgit Huber	Realising Smashing Localisations as Morphisms of DG Algebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 16E45
38	P. J. Abisha, D. Gnanaraj Thomas, K. G. Subramanian 0001	Public Key Cryptosystems Based on Free Partially Commutative Monoids and Groups.	INDOCRYPT	2003	DBLP DOI BibTeX RDF	Finitely Presented Groups, Free Partially Commutative Monoids, Thue Systems, Public Key Cryptosystem, Word Problem, Zero Knowledge Protocol
38	Lutz Schröder, Horst Herrlich	Free Factorizations.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	graph, factorization, category, word problem, retraction
38	Gwénaël Richomme, Francis Wlazinski	About Cube-Free Morphisms.	STACS	2000	DBLP DOI BibTeX RDF
38	Philippe Narbel	The Limit Set of Recognizable Substitution Systems.	STACS	1993	DBLP DOI BibTeX RDF
36	Emmanuelle Garel	On the Separators on an Infinite Word Generated by a Morphism.	STACS	1995	DBLP DOI BibTeX RDF	Combinatoric on infinite words, q-regularity, circularity
32	Troy Innocent	Blending realities in game space.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	Language of computers, digital iconography, semiotic morphism, artificial life, media arts, digital games, ludology
32	Joan Jacas, Jordi Recasens	Maps and isometries between indistinguishability operators.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Indistinguishability operator, Similarity, Morphism, Fuzzy equality, Isometry
32	Maria Manuel Clementino	On Connectedness via Closure Operators.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	constant morphism, left- and right-constant subcategory, and -subcategory, closure operator
32	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
32	José Luiz Fiadeiro, T. S. E. Maibaum	Describing, Structuring and Implementing Objects.	REX Workshop	1990	DBLP DOI BibTeX RDF	object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic
25	Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París	The Foldl Operator as a Coequalizer Using Coq.	EUROCAST	2009	DBLP DOI BibTeX RDF
25	Wolfram Kahl	Determinisation of Relational Substitutions in Ordered Categories with Domain.	RelMiCS	2008	DBLP DOI BibTeX RDF
25	James D. Currie, Terry I. Visentin	On Abelian 2-avoidable binary patterns.	Acta Informatica	2007	DBLP DOI BibTeX RDF
25	Maria Bras-Amorós	Algebraic-geometry codes, one-point codes, and evaluation codes.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	11T71, 14G50, AMS Classifications 94B27
25	Dominik D. Freydenberger, Daniel Reidenbach	The Unambiguity of Segmented Morphisms.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
25	Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar	Extension Morphisms for CommUnity.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
25	Inés Friss de Kereki, José Crespo, Javier Azpiazu	Use of Morphisms as a Tool to Help Learning Object Oriented Concepts.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
25	Lioubov Dombrovskaia, Liliana Guzmán	Student's Approach to Linear Programming Modeling.	Education for the 21st Century	2006	DBLP DOI BibTeX RDF
25	Dominik D. Freydenberger, Daniel Reidenbach, Johannes C. Schneider	Unambiguous Morphic Images of Strings.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
25	Manuela Sobral	Descent for Discrete (Co)fibrations.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	descent data, (effective) descent morphisms, (co)fibrations, discrete (co)fibrations, lax epimorphisms
25	M. Aguiar	Infinitesimal Hopf Algebras and the cd-Index of Polytopes.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
25	Aymeric Perchant, Isabelle Bloch	Graph Fuzzy Homomorphism Interpreted as Fuzzy Association Graphs.	ICPR	2000	DBLP DOI BibTeX RDF
25	Jochen Pfalzgraf	A Note on Modeling Connectionist Network Structures: Geometric and Categorical Aspects.	AISC	2000	DBLP DOI BibTeX RDF
25	Jean Berstel, Patrice Séébold	A Characterization of Sturmian Morphisms.	MFCS	1993	DBLP DOI BibTeX RDF
25	Roger L. Norton	Information systems as implementations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
25	Veikko Keränen	On the k-Freeness of Morphisms on Free Monoids.	STACS	1987	DBLP DOI BibTeX RDF
25	Veikko Keränen	On k-Repetition Free Words Generated by Length Uniform Morphisms Over a Binary Alphabet.	ICALP	1985	DBLP DOI BibTeX RDF
25	Michel Leconte	K-th power free codes.	Automata on Infinite Words	1984	DBLP DOI BibTeX RDF
25	Andrzej Tarlecki	Free Constructions in Algebraic Institutions.	MFCS	1984	DBLP DOI BibTeX RDF
25	Michel Latteux, Jeannine Leguy	On the Composition of Morphisms and Inverse Morphisms.	ICALP	1983	DBLP DOI BibTeX RDF
24	James D. Currie, Narad Rampersad	A Small Morphism for which the Fixed Point has an Abelian Critical Exponent Less than 2.	RAIRO Theor. Informatics Appl.	2024	DBLP DOI BibTeX RDF
24	Joohee Kim, Il Im	Do Users Really Want "Human-like" AI? The Effects of Anthropomorphism and Ego-morphism on User's Perceived Anthropocentric Threat.	HICSS	2024	DBLP BibTeX RDF
24	James D. Currie, Narad Rampersad	The analogue of overlap-freeness for the Fibonacci morphism.	CoRR	2023	DBLP DOI BibTeX RDF
24	James D. Currie, Narad Rampersad	A small morphism giving Abelian repetition threshold less than 2.	CoRR	2023	DBLP DOI BibTeX RDF
24	Florian Rabe 0001, Franziska Weber	Morphism Equality in Theory Graphs.	CICM	2023	DBLP DOI BibTeX RDF
24	Oladayo Olufemi Olakanmi, Kehinde Oluwasesan Odeyemi	Secure reputation and morphism-based offloading scheme: A veritable tool for multi-party computation in Industrial Internet of Things.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
24	Luoyi Fu, Jiapeng Zhang, Shan Qu, Huquan Kang, Xinbing Wang, Guihai Chen	Measuring Social Network De-Anonymizability by Means of Morphism Property.	IEEE/ACM Trans. Netw.	2022	DBLP DOI BibTeX RDF
24	Suman Sapkota, Binod Bhattarai	Noisy Heuristics NAS: A Network Morphism based Neural Architecture Search using Heuristics.	CoRR	2022	DBLP DOI BibTeX RDF
24	Li Ding, Haowen Wang, Yinuo Wang, Shumei Wang	Based on Quantum Topological Stabilizer Color Code Morphism Neural Network Decoder.	Quantum Eng.	2022	DBLP DOI BibTeX RDF
24	Artan Sheshmani, Yi-Zhuang You	Categorical representation learning: morphism is all you need.	Mach. Learn. Sci. Technol.	2022	DBLP DOI BibTeX RDF
24	Nazar Arakelian, Herivelto Borges, Pietro Speziali	The Hurwitz curve over a finite field and its Weierstrass points for the morphism of lines.	Finite Fields Their Appl.	2021	DBLP DOI BibTeX RDF
24	Tobias Fritz, Paolo Perrone, Sharwin Rezagholi	Probability, valuations, hyperspace: Three monads on top and the support as a morphism.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
24	Jens Hemelaer, Morgan Rogers	An Essential, Hyperconnected, Local Geometric Morphism that is not Locally Connected.	Appl. Categorical Struct.	2021	DBLP DOI BibTeX RDF
24	Renlong Jie, Junbin Gao	Differentiable Neural Architecture Search with Morphism-based Transformable Backbone Architectures.	CoRR	2021	DBLP BibTeX RDF
24	Artan Sheshmani, Yizhuang You	Categorical Representation Learning: Morphism is All You Need.	CoRR	2021	DBLP BibTeX RDF
24	Can Lu, Jeffrey Xu Yu, Zhiwei Zhang, Hong Cheng 0001	Graph Iso/Auto-morphism: A Divide-&-Conquer Approach.	SIGMOD Conference	2021	DBLP DOI BibTeX RDF
24	Donald E. Jarvis	Machine Learning of an Approximate Morphism of an Electronic Warfare Simulation Component.	SpringSim	2020	DBLP DOI BibTeX RDF
24	Kilho Shin, Dave Shepard 0001	Morphism-Based Learning for Structured Data.	AAAI	2020	DBLP DOI BibTeX RDF
24	Pavlo Radiuk, Hakan Kutucu	Heuristic Architecture Search Using Network Morphism for Chest X-Ray Classification.	IntelITSIS	2020	DBLP BibTeX RDF
24	Can Lu, Jeffrey Xu Yu, Zhiwei Zhang, Hong Cheng 0001	Graph Iso/Auto-morphism: A Divide-&-Conquer Approach.	CoRR	2019	DBLP BibTeX RDF
24	Tobias Fritz, Paolo Perrone, Sharwin Rezagholi	Probability, valuations, hyperspace: Three monads on Top and the support as a morphism.	CoRR	2019	DBLP BibTeX RDF
24	Marta Cardin	Betweenness Spaces: Morphism and Aggregation Functions.	MDAI	2019	DBLP DOI BibTeX RDF
24	Tao Wei, Changhu Wang, Chang Wen Chen	Stable Network Morphism.	IJCNN	2019	DBLP DOI BibTeX RDF
24	Arkadiusz Kwasigroch, Michal Grochowski, Mateusz Mikolajczyk	Deep neural network architecture search using network morphism.	MMAR	2019	DBLP DOI BibTeX RDF
24	Yiming Chen, Tianci Pan, Cheng He 0001, Ran Cheng	Efficient Evolutionary Deep Neural Architecture Search (NAS) by Noisy Network Morphism Mutation.	BIC-TA (2)	2019	DBLP DOI BibTeX RDF
24	Haifeng Jin, Qingquan Song, Xia Hu	Efficient Neural Architecture Search with Network Morphism.	CoRR	2018	DBLP BibTeX RDF
24	Jun Lu, Wei Ma, Boi Faltings	CompNet: Neural networks growing via the compact network morphism.	CoRR	2018	DBLP BibTeX RDF
24	Ch. Ramprasad, P. L. N. Varma, S. Satyanarayana, N. Srinivasarao	Morphism of m-Polar Fuzzy Graph.	Adv. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
24	Bing Wang, Yuan Yao, Yu Ye	The Characteristic Morphism of an Algebra.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
24	A. R. Shir Ali Nasab, S. N. Hosseini	Pullback in Partial Morphism Categories.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
24	Florian Rabe 0001	Morphism axioms.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
24	Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco	Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources.	CoRR	2017	DBLP BibTeX RDF
24	Francis Wlazinski	A uniform cube-free morphism is k-power-free for all integers k ≥ 4.	RAIRO Theor. Informatics Appl.	2017	DBLP DOI BibTeX RDF
24	Veronica Gacitua-Decar, Claus Pahl	Structural Process Pattern Matching Based on Graph Morphism Detection.	Int. J. Softw. Eng. Knowl. Eng.	2017	DBLP DOI BibTeX RDF
24	David Clampitt, Thomas Noll 0002	Matching Lexicographic and Conjugation Orders on the Conjugation Class of a Special Sturmian Morphism.	WORDS	2017	DBLP DOI BibTeX RDF
24	Jonas Kaiser, Tobias Tebbi, Gert Smolka	Equivalence of system f and ź2 in Coq based on context morphism lemmas.	CPP	2017	DBLP DOI BibTeX RDF
24	A. Tahmasbpour, Rajab Ali Borzooei, Hossein Rashmanlou	f-morphism on bipolar fuzzy graphs.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
24	Henning Fernau, Markus L. Schmid, Yngve Villanger	On the Parameterised Complexity of String Morphism Problems.	Theory Comput. Syst.	2016	DBLP DOI BibTeX RDF
24	Tao Wei, Changhu Wang, Yong Rui, Chang Wen Chen	Network Morphism.	CoRR	2016	DBLP BibTeX RDF
24	Tao Wei, Changhu Wang, Yong Rui, Chang Wen Chen	Network Morphism.	ICML	2016	DBLP BibTeX RDF
24	Francine Blanchet-Sadri, James D. Currie, Narad Rampersad, Nathan Fox	Abelian Complexity of Fixed Point of Morphism 0 ↦ 012, 1 ↦ 02, 2 ↦ 1.	Integers	2014	DBLP BibTeX RDF
24	David Baraglia	A Coboundary Morphism for the Grothendieck Spectral Sequence.	Appl. Categorical Struct.	2014	DBLP DOI BibTeX RDF
24	Juha Honkala	Remarks concerning the freeness problem over morphism and matrix semigroups.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
24	Sylvia Pulmannová, Elena Vinceková	State-morphism pseudo-effect algebras.	Soft Comput.	2014	DBLP DOI BibTeX RDF
24	Rajab Ali Borzooei, Anatolij Dvurecenskij, Omid Zahiri	State BCK-algebras and state-morphism BCK-algebras.	Fuzzy Sets Syst.	2014	DBLP DOI BibTeX RDF
24	Till Mossakowski, Ulf Krumnack, Tom Maibaum	What Is a Derived Signature Morphism?	WADT	2014	DBLP DOI BibTeX RDF
24	Michel Las Vergnas	The Tutte polynomial of a morphism of matroids - 5. Derivatives as generating functions of Tutte activities.	Eur. J. Comb.	2013	DBLP DOI BibTeX RDF
24	Hamed M. K. Alazemi, Anton Cerný	Several extensions of the Parikh matrix L-morphism.	J. Comput. Syst. Sci.	2013	DBLP DOI BibTeX RDF
24	Alberto Gatto	Bisimulation and p-morphism for branching-time logics with indistinguishability relations	CoRR	2013	DBLP BibTeX RDF
24	Michal Botur, Anatolij Dvurecenskij	State-morphism algebras - General approach.	Fuzzy Sets Syst.	2013	DBLP DOI BibTeX RDF
24	Henning Fernau, Markus L. Schmid, Yngve Villanger	On the Parameterised Complexity of String Morphism Problems.	FSTTCS	2013	DBLP DOI BibTeX RDF