Search results for "s-injective"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
83	Francesca Cagliari, Sandra Mantovani	Injective Hulls of T0 Topological Fibre Spaces.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	injective hull, continuous lattice, exponentiable morphism, pullback complement, partial product
83	Sung Woo Choi, Hans-Peter Seidel	Linear onesided stability of MAT for weakly injective 3D domain.	Symposium on Solid Modeling and Applications	2002	DBLP DOI BibTeX RDF	hyperbolic, weakly injective domain, stability, skeleton, Hausdorff distance, medial axis transform
71	Pavol Hell, André Raspaud, Juraj Stacho	On Injective Colourings of Chordal Graphs.	LATIN	2008	DBLP DOI BibTeX RDF
71	Hyuk-Jae Lee, José A. B. Fortes	Generation of Injective and Reversible Modular Mappings.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	BLAS-like algorithm, modular mapping, Parallel processing, systolic array, parallelizing compiler, algorithm transformation
64	Wen Feng Qi, Jun-Hui Yang, Jing Jun Zhou	ML-Sequences over Rings Z/(2e)*: I. Constructions of Nondegenerative ML-Sequences II. Injectiveness of Compression Mappings of New Classes.	ASIACRYPT	1998	DBLP DOI BibTeX RDF	nondegenerate ML-sequence, quasi-period, injective compression mapping
52	Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies	From Automatic Structures to Borel Structures.	LICS	2008	DBLP DOI BibTeX RDF	Borel, Buechi, automata, isomorphism
52	Adnan A. Y. Mustafa	Identifying and Classifying Image Transforms.	ICPR (2)	2002	DBLP DOI BibTeX RDF
52	Sung Woo Choi, Seong-Whan Lee	Stability Analysis of Medial Axis Transform under Relative Hausdorff Distance.	ICPR	2000	DBLP DOI BibTeX RDF
45	Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi	An Injective Language for Reversible Computation.	MPC	2004	DBLP DOI BibTeX RDF
44	Hyuk-Jae Lee, José A. B. Fortes	Automatic generation of injective modular mappings.	ICPP	1997	DBLP DOI BibTeX RDF	injective modular mappings, systolic array design, loop iteration spaces, rectangular index sets, program index set, modular mappings, bounded search scheme, complexity, linear programming, integer linear programming, parallelizing compilers, optimizing compilers, linear transformations, automatic generation
39	Fabio Gadducci, Ugo Montanari	Graph Processes with Fusions: Concurrency by Colimits, Again.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF	dpo rewriting, concurrent semantics, process calculi
39	Mihir Bellare, Shai Halevi, Amit Sahai, Salil P. Vadhan	Many-to-One Trapdoor Functions and Their Ralation to Public-Key Cryptosystems.	CRYPTO	1998	DBLP DOI BibTeX RDF
39	H. Bargenda, Horst Herrlich, George E. Strecker	Concrete Categories and Injectivity.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
39	Laurent Chottin	Strict Deterministic Languages and Controlled Rewriting Systems.	ICALP	1979	DBLP DOI BibTeX RDF
38	Gershon Elber	Rendering with Parallel Stripes.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF	Injective mapping, B-spline curves and surfaces, Victor Vasarely, Artistic rendering, Nonphotorealistic rendering
38	Lixin Mao	Pure projective, pure injective and FP-injective modules over trivial ring extensions.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
38	Matthew Overby, Danny M. Kaufman, Rahul Narain	Globally Injective Geometry Optimization with Non-Injective Steps.	Comput. Graph. Forum	2021	DBLP DOI BibTeX RDF
38	Mirmojtaba Gharibi	Reduction from non-injective hidden shift problem to injective hidden shift problem.	Quantum Inf. Comput.	2013	DBLP DOI BibTeX RDF
38	Mirmojtaba Gharibi	Reduction from non-injective hidden shift problem to injective hidden shift problem	CoRR	2012	DBLP BibTeX RDF
38	Bernd Schulze	Injective and non-injective realizations with symmetry.	Contributions Discret. Math.	2010	DBLP BibTeX RDF
38	Zhanmin Zhu, Zhangsheng Xia, Zhisong Tan	Generalizations of principally quasi-injective modules and quasiprincipally injective modules.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
32	José L. Balcázar, Gemma C. Garriga	Characterizing Implications of Injective Partial Orders.	ICCS	2007	DBLP DOI BibTeX RDF
32	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.	ISoLA	2006	DBLP DOI BibTeX RDF
32	Jirí Fiala 0001, Jan Kratochvíl	Locally Injective Graph Homomorphism: Lists Guarantee Dichotomy.	WG	2006	DBLP DOI BibTeX RDF
32	Arun K. Srivastava	Some Injective Cogenerators in Fuzzy Topology.	AFSS	2002	DBLP DOI BibTeX RDF
26	Alfio Giarlotta, Stephen Watson	Pointwise Debreu Lexicographic Powers.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06A05, Secondary 06F30, 54F05, 91B16
26	Xi Zhang, Jan Chomicki	Semantics and evaluation of top-k queries in probabilistic databases.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Query processing, Probabilistic database, Top-k query, Ranking query
26	Alon Rosen, Gil Segev 0001	Chosen-Ciphertext Security via Correlated Products.	TCC	2009	DBLP DOI BibTeX RDF
26	Stefan Berghofer, Christian Urban	Nominal Inversion Principles.	TPHOLs	2008	DBLP DOI BibTeX RDF
26	Thomas Hettel, Michael Lawley, Kerry Raymond	Model Synchronisation: Definitions for Round-Trip Engineering.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
26	Jirí Fiala 0001, Daniël Paulusma	Comparing Universal Covers in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
26	Chris Peikert, Brent Waters	Lossy trapdoor functions and their applications.	STOC	2008	DBLP DOI BibTeX RDF	public key encryption, trapdoor functions
26	Xuan Yong Zhu, Wen Feng Qi	Further Result of Compressing Maps on Primitive Sequences Modulo Odd Prime Powers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
26	Manfred Droste, Guo-Qiang Zhang 0001	Bifinite Chu Spaces.	CAI	2007	DBLP DOI BibTeX RDF
26	William Harvey Greene, Sudhakar Chelikani, Xenophon Papademetris, Jonathan Knisely, James S. Duncan	A Constrained Non-Rigid Registration Algorithm for Application in Prostate Radiotherapy.	ISBI	2007	DBLP DOI BibTeX RDF
26	Andrzej Lingas, Martin Wahlen	On Exact Complexity of Subgraph Homeomorphism.	TAMC	2007	DBLP DOI BibTeX RDF
26	Benoît Chevallier-Mames, Marc Joye	A Practical and Tightly Secure Signature Scheme Without Hash Function.	CT-RSA	2007	DBLP DOI BibTeX RDF
26	Manfred Droste, Guo-Qiang Zhang 0001	Bifinite Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF
26	Dietrich Kuske, Markus Lohrey	First-Order and Counting Theories of omega-Automatic Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
26	Sungpyo Hong, Jong-Yoon Hyun, Hyun Kim, Sang-Mok Kim	Linear Discrepancy of the Product of Two Chains.	Order	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06A07
26	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
26	Antonio Di Nola, Ada Lettieri	Finiteness based results in BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	BL-comet, Strong duality, Duality, BL-algebra
26	Antonio Di Nola, Philippe Niederkorn	Natural dualities for varieties of BL-algebras.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF
26	Hans Jürgen Schneider	Changing Labels in the Double-Pushout Approach Can Be Treated Categorically.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
26	Guillaume Fertin, Romeo Rizzi, Stéphane Vialette	Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs.	MFCS	2005	DBLP DOI BibTeX RDF
26	Jirí Fiala 0001, Daniël Paulusma, Jan Arne Telle	Matrix and Graph Orders Derived from Locally Constrained Graph Homomorphisms.	MFCS	2005	DBLP DOI BibTeX RDF
26	Jirí Fiala 0001, Daniël Paulusma, Jan Arne Telle	Algorithms for Comparability of Matrices in Partial Orders Imposed by Graph Homomorphisms.	WG	2005	DBLP DOI BibTeX RDF
26	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
26	Stefan Szeider	The Complexity of Resolution with Generalized Symmetry Rules.	STACS	2003	DBLP DOI BibTeX RDF
26	Andrew D. Gordon 0001, Alan Jeffrey	Typing One-to-One and One-to-Many Correspondences in Security Protocols.	ISSS	2002	DBLP DOI BibTeX RDF
26	Jirí Fiala 0001, Jan Kratochvíl	Complexity of Partial Covers of Graphs.	ISAAC	2001	DBLP DOI BibTeX RDF
26	Sung Woo Choi, Hans-Peter Seidel	One-Sided Stability of Medial Axis Transform.	DAGM-Symposium	2001	DBLP DOI BibTeX RDF
26	João Pedro Hespanha, Zachary Dodds, Gregory D. Hager, A. Stephen Morse	What Tasks can be Performed with an Uncalibrated Stereo Vision System?	Int. J. Comput. Vis.	1999	DBLP DOI BibTeX RDF	vision-based control, uncalibrated visual servoing, geometric stereo vision, weak calibration
26	Olivier Cogis, Olivier Guinaldo	A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test.	ICCS	1995	DBLP DOI BibTeX RDF	structural functions, classes of conceptual graphs, descriptors, Isomorphism problem
26	Hans-Jörg Kreowski, Zhenyu Qian	Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.	STACS	1990	DBLP DOI BibTeX RDF
25	Helen Balinsky, Anthony Wiley, Michael Rhodes, Alfie Abdul-Rahman	Automated repurposing of implicitly structured documents.	ACM Symposium on Document Engineering	2008	DBLP DOI BibTeX RDF	cap-height, document repurposing, hierarchical metrics and structure, injective mapping, x-height
25	Dali Zangurashvili	Adjunctions and Locally Transferable Factorization Systems.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	factorization system, local factorization system, universal split monomorphism, pointed endomapping, locally transferable factorization system, injective object, sufficient class of injectives
25	Hassan Bezzazi, Ramón Pino Pérez	Rational Transitivity and its Models.	ISMVL	1996	DBLP DOI BibTeX RDF	preferential models, rational monotony, injective models, contraposition, transitivity, Nonmonotonic logic
25	Ulrich Oberst	Variations on the fundamental principle for linear systems of partial differential and difference equations with constant coefficients.	Appl. Algebra Eng. Commun. Comput.	1995	DBLP DOI BibTeX RDF	Fundamental principle, Injective cogenerator, Multidimensional system, Multivariate spline, Locally finite sequence, Polynomial exponential function
19	Haonan Zhang, Yuyang Ren, Luoyi Fu, Xinbing Wang, Guihai Chen, Chenghu Zhou	Multi-Scale Self-Supervised Graph Contrastive Learning With Injective Node Augmentation.	IEEE Trans. Knowl. Data Eng.	2024	DBLP DOI BibTeX RDF
19	Yuehua Bu, Peng Wang, Hongguo Zhu, Junlei Zhu	Injective chromatic index of sparse graphs.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
19	Xiaolan Hu, Belayneh-Mengistu Legass	Injective edge chromatic index of generalized Petersen graph P(ck,k).	Discret. Math. Algorithms Appl.	2024	DBLP DOI BibTeX RDF
19	B. S. Panda 0001	Injective edge coloring of some standard graph products.	Discret. Math. Algorithms Appl.	2024	DBLP DOI BibTeX RDF
19	Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger	Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation.	ICSE	2024	DBLP DOI BibTeX RDF
19	Jian Lu, Xiang-Feng Pan	Injective edge coloring of some sparse graphs.	J. Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
19	Jiansheng Cai, Wenwen Li, Wenjing Cai, Matthias Dehmer	List injective coloring of planar graphs.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
19	Marco Livesu	Towards a robust and portable pipeline for quad meshing: Topological initialization of injective integer grid maps.	Comput. Graph.	2023	DBLP DOI BibTeX RDF
19	Priyamvada, B. S. Panda 0001	Complexity and algorithms for injective edge coloring of graphs.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	AmirEhsan Khorashadizadeh, Konik Kothari, Leonardo Salsi, Ali Aghababaei Harandi, Maarten V. de Hoop, Ivan Dokmanic	Conditional Injective Flows for Bayesian Imaging.	IEEE Trans. Computational Imaging	2023	DBLP DOI BibTeX RDF
19	Qi Wang, Wen-Xiang Zhang, Yuan-Yuan Cheng, Ligang Liu, Xiao-Ming Fu 0001	Practical construction of globally injective parameterizations with positional constraints.	Comput. Vis. Media	2023	DBLP DOI BibTeX RDF
19	Marc Hellmuth, Katharina T. Huber, Vincent Moulton, Guillaume E. Scholz, Peter F. Stadler	Injective Split Systems.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
19	Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine	Reachability in Injective Piecewise Affine Maps.	CoRR	2023	DBLP DOI BibTeX RDF
19	Takashi Furuya, Michael Puthawala, Matti Lassas, Maarten V. de Hoop	Globally injective and bijective neural operators.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tal Amir, Steven J. Gortler, Ilai Avni, Ravina Ravina, Nadav Dym	Neural Injective Functions for Multisets, Measures and Graphs via a Finite Witness Theorem.	CoRR	2023	DBLP DOI BibTeX RDF
19	Diego Figueira, Miguel Romero 0001	Conjunctive Regular Path Queries under Injective Semantics.	CoRR	2023	DBLP DOI BibTeX RDF
19	Defu Lin, Weilin Chen, Chen Wang 0051, Junchi Ma, Chao Wang 0020	Patterns Induce Injectivity: A New Thinking in Constructing Injective Local Rules of 1D Cellular Automata over F2.	CoRR	2023	DBLP DOI BibTeX RDF
19	AmirEhsan Khorashadizadeh, Sepehr Eskandari, Vahid Khorashadi-Zadeh, Ivan Dokmanic	Deep Injective Prior for Inverse Scattering.	CoRR	2023	DBLP DOI BibTeX RDF
19	Étienne Burle, Philippe Gaborit, Younes Hatri, Ayoub Otmani	Injective Rank Metric Trapdoor Functions with Homogeneous Errors.	CoRR	2023	DBLP DOI BibTeX RDF
19	Junlei Zhu	Injective edge coloring of graphs with maximum degree 5.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
19	Abdelmalek Abdesselam	A local injective proof of log-concavity for increasing spanning forests.	Discret. Math.	2023	DBLP DOI BibTeX RDF
19	Bostjan Bresar, Babak Samadi, Ismael G. Yero	Injective coloring of graphs revisited.	Discret. Math.	2023	DBLP DOI BibTeX RDF
19	Hoang La, Kenny Storgel	2-distance, injective, and exact square list-coloring of planar graphs with maximum degree 4.	Discret. Math.	2023	DBLP DOI BibTeX RDF
19	Xianzhang Wu, Minquan Cheng, Li Chen 0013, Congduan Li, Zifan Shi	Design of Coded Caching Schemes With Linear Subpacketizations Based on Injective Arc Coloring of Regular Digraphs.	IEEE Trans. Commun.	2023	DBLP DOI BibTeX RDF
19	Junlei Zhu, Yuehua Bu, Hongguo Zhu	Injective edge coloring of sparse graphs with maximum degree 5.	J. Comb. Optim.	2023	DBLP DOI BibTeX RDF
19	Faraz Ghahremani, Edon Kelmendi, Joël Ouaknine	Reachability in Injective Piecewise Affine Maps.	LICS	2023	DBLP DOI BibTeX RDF
19	Xiuxiu Li, Wei Yu 0008, Kunpeng Wang, Luying Li	Almost Injective and Invertible Encodings for Jacobi Quartic Curves.	SciSec	2023	DBLP DOI BibTeX RDF
19	Diego Figueira, Miguel Romero 0001	Conjunctive Regular Path Queries under Injective Semantics.	PODS	2023	DBLP DOI BibTeX RDF
19	Santhosh B. Gandreti, P. S. Sastry	Efficient Depth-First Search Approach for Mining Injective General Episodes.	COMAD/CODS	2023	DBLP DOI BibTeX RDF
19	Geonyeong Choi, Hyo Jung Cho, Soon Sun Kim, Ji Eun Han, Jae Youn Cheong, Charmgil Hong	Drug Induced Liver Injury Prediction with Injective Molecular Transformer.	BHI	2023	DBLP DOI BibTeX RDF
19	Tal Amir, Steven J. Gortler, Ilai Avni, Ravina Ravina, Nadav Dym	Neural Injective Functions for Multisets, Measures and Graphs via a Finite Witness Theorem.	NeurIPS	2023	DBLP BibTeX RDF
19	Takashi Furuya, Michael Puthawala, Matti Lassas, Maarten V. de Hoop	Globally injective and bijective neural operators.	NeurIPS	2023	DBLP BibTeX RDF
19	Christoph Brause, Petr A. Golovach, Barnaby Martin, Pascal Ochem, Daniël Paulusma, Siani Smith	Acyclic, Star, and Injective Colouring: Bounding the Diameter.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
19	Michael Puthawala, Konik Kothari, Matti Lassas, Ivan Dokmanic, Maarten V. de Hoop	Globally Injective ReLU Networks.	J. Mach. Learn. Res.	2022	DBLP BibTeX RDF
19	Changchun Xia	Injective Hulls in the Category of Mildly Distributive Semilattices.	Order	2022	DBLP DOI BibTeX RDF
19	Eros Martinelli	Publisher Correction to: Injective Hulls of Quantale-Enriched Multicategories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
19	Eros Martinelli	Injective Hulls of Quantale-Enriched Multicategories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
19	Wei Yang, Baoyindureng Wu	Injective Edge-Coloring of Graphs with Small Weight.	Graphs Comb.	2022	DBLP DOI BibTeX RDF
19	Heather M. Guarnera, Feodor F. Dragan, Arne Leitert	Injective Hulls of Various Graph Classes.	Graphs Comb.	2022	DBLP DOI BibTeX RDF
19	Jian Lu, Huiqing Liu, Xiaolan Hu	Injective Edge Coloring for Graphs with Small Edge Weight.	Graphs Comb.	2022	DBLP DOI BibTeX RDF