Search results for "Semirings"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Sara Kalisnik, Davorin Lesnik	Symmetric polynomials in upper-bound semirings.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
19	Mehmet Ali Öztürk, Hasret Yazarli	Nobusawa Gamma Nearness Semirings.	New Math. Nat. Comput.	2021	DBLP DOI BibTeX RDF
19	Matthias Naaf	Computing Least and Greatest Fixed Points in Absorptive Semirings.	RAMiCS	2021	DBLP DOI BibTeX RDF
19	Pedro Zuidberg Dos Martires	Neural Semirings.	NeSy	2021	DBLP BibTeX RDF
19	Wentao Wu 0001, Ce Zhang 0001	Towards understanding end-to-end learning in the context of data: machine learning dancing over semirings & Codd's table.	DEEM@SIGMOD	2021	DBLP DOI BibTeX RDF
19	Thomas Eiter, Rafael Kiesel	On the Complexity of Sum-of-Products Problems over Semirings.	AAAI	2021	DBLP DOI BibTeX RDF
19	Victoria Gould, Marianne Johnson, Munazza Naz	Matrix semigroups over semirings.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
19	Dimitrinka Vladeva	Derivations of polynomial semirings.	Int. J. Algebra Comput.	2020	DBLP DOI BibTeX RDF
19	David M. Cerna	Anti-unification and the theory of semirings.	Theor. Comput. Sci.	2020	DBLP DOI BibTeX RDF
19	Christian Antic	Finite Horn Monoids and Near-Semirings.	CoRR	2020	DBLP BibTeX RDF
19	Albert Atserias, Phokion G. Kolaitis	Consistency, Acyclicity, and Positive Semirings.	CoRR	2020	DBLP BibTeX RDF
19	Esma Balkir, Daniel Gildea, Shay B. Cohen	Tensors over Semirings for Latent-Variable Weighted Logic Programs.	CoRR	2020	DBLP BibTeX RDF
19	Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianksi	Domain Semirings United.	CoRR	2020	DBLP BibTeX RDF
19	Matthew Francis-Landau	MFST: A Python OpenFST Wrapper With Support for Custom Semirings and Jupyter Notebooks.	CoRR	2020	DBLP BibTeX RDF
19	Shahida Bashir, Rabia Mazhar, Hasnain Abbas, Muhammad Shabir	Regular ternary semirings in terms of bipolar fuzzy ideals.	Comput. Appl. Math.	2020	DBLP DOI BibTeX RDF
19	Natanael Alpay, Peter Jipsen	Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests.	RAMiCS	2020	DBLP DOI BibTeX RDF
19	Esma Balkir, Daniel Gildea, Shay B. Cohen	Tensors over Semirings for Latent-Variable Weighted Logic Programs.	IWPT 2020	2020	DBLP DOI BibTeX RDF
19	Michael Baur, Thomas Studer	Semirings of Evidence.	CLAR	2020	DBLP DOI BibTeX RDF
19	Ninghua Gao, Qingguo Li, Xiaokun Huang, Haojie Jiang	Fuzzy orders and pseudo-fuzzy orders on semirings.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
19	Ali Molkhasi	On some strongly algebraically closed semirings.	J. Intell. Fuzzy Syst.	2019	DBLP DOI BibTeX RDF
19	Peter Kostolányi	A Unifying Approach to Algebraic Systems Over Semirings.	Theory Comput. Syst.	2019	DBLP DOI BibTeX RDF
19	Ivan Chajda, Helmut Länger	Ideals and their complements in commutative semirings.	Soft Comput.	2019	DBLP DOI BibTeX RDF
19	Qian-yu Shu, Xue-ping Wang 0001	The solvable conditions of linear system over commutative semirings.	Soft Comput.	2019	DBLP DOI BibTeX RDF
19	Muhammad Shabir, Saba Liaquat, Shahida Bashir	Regular and intra-regular semirings in terms of bipolar fuzzy ideals.	Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
19	Marco Aldi	Arithmetical Semirings.	Discret. Math.	2019	DBLP DOI BibTeX RDF
19	Sara Kalisnik, Davorin Lesnik	Symmetric polynomials in tropical algebra semirings.	J. Symb. Comput.	2019	DBLP DOI BibTeX RDF
19	Camille Bourgaux, Ana Ozaki	Querying Attributed DL-Lite Ontologies Using Provenance Semirings.	AAAI	2019	DBLP DOI BibTeX RDF
19	Camille Bourgaux, Ana Ozaki	Querying Attributed DL-Lite Ontologies Using Provenance Semirings (Extended Abstract).	Description Logics	2019	DBLP BibTeX RDF
19	Monika Cerinsek, Vladimir Batagelj	Semirings and Matrix Analysis of Networks.	Encyclopedia of Social Network Analysis and Mining. 2nd Ed.	2018	DBLP DOI BibTeX RDF
19	Peter Kostolányi, Filip Misún	Alternating weighted automata over commutative semirings.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Ana Sokolova, Harald Woracek	Proper Semirings and Proper Convex Functors.	CoRR	2018	DBLP BibTeX RDF
19	Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey	Circuits and Expressions over Finite Semirings.	ACM Trans. Comput. Theory	2018	DBLP DOI BibTeX RDF
19	Ivan Chajda, Davide Fazio, Antonio Ledda	On the structure theory of Łukasiewicz near semirings.	Log. J. IGPL	2018	DBLP DOI BibTeX RDF
19	Roland Glück	Distances, Norms and Error Propagation in Idempotent Semirings.	RAMiCS	2018	DBLP DOI BibTeX RDF
19	Mark Hopkins, Hans Leiß	Coequalizers and Tensor Products for Continuous Idempotent Semirings.	RAMiCS	2018	DBLP DOI BibTeX RDF
19	Hugo Bazille, Eric Fabre, Blaise Genest	Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.	FoSSaCS	2018	DBLP DOI BibTeX RDF
19	Ana Sokolova, Harald Woracek	Proper Semirings and Proper Convex Functors.	FoSSaCS	2018	DBLP DOI BibTeX RDF
19	Louis-Marie Dando, Sylvain Lombardy	Two-Way Automata over Locally Finite Semirings.	DCFS	2018	DBLP DOI BibTeX RDF
19	François Le Gall, Harumichi Nishimura	Quantum Algorithms for Matrix Products over Semirings.	Chic. J. Theor. Comput. Sci.	2017	DBLP BibTeX RDF
19	Apil Uddin Ahmed, Saifur Rahman, Bijan Davvaz	On intuitionistic fuzzy idempotent, prime, strongly irreducible and t-pure ideals of semirings.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
19	Xuechong Guan, Yongming Li 0001, Jürg Kohlas	On conditions for semirings to induce compact information algebras.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
19	Hoon Hong, Yonggu Kim, Georgy Scholten, J. Rafael Sendra	Resultants over commutative idempotent semirings I: Algebraic aspect.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
19	Peter Jipsen	Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras.	RAMiCS	2017	DBLP DOI BibTeX RDF
19	Antonio Di Nola, Giacomo Lenzi	On semirings and MV-algebras.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
19	Zoltán Ésik, Werner Kuich	Solving Fixed Point Equations over Complete Semirings.	The Role of Theory in Computer Science	2017	DBLP DOI BibTeX RDF
19	Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey	Circuit Evaluation for Finite Semirings.	STACS	2017	DBLP DOI BibTeX RDF
19	Mark J. Wierman	Exotic Semirings and Uncertainty.	NAFIPS	2017	DBLP DOI BibTeX RDF
19	Sebastian Kerkhoff, Friedrich Martin Schneider	Dualities Induced by Topological Semirings.	Appl. Categorical Struct.	2016	DBLP DOI BibTeX RDF
19	Pakorn Palakawong na Ayutthaya, Bundit Pibaljommee	Characterizations of Regular Ordered Semirings by Ordered Quasi-Ideals.	Int. J. Math. Math. Sci.	2016	DBLP DOI BibTeX RDF
19	Selena Praprotnik, Vladimir Batagelj	Semirings for temporal network analysis.	CoRR	2016	DBLP BibTeX RDF
19	Moses Ganardi, Danny Hucke, Daniel König, Markus Lohrey	Circuit Evaluation for Finite Semirings.	CoRR	2016	DBLP BibTeX RDF
19	Ivan Chajda, Helmut Länger	General coupled semirings of residuated lattices.	Fuzzy Sets Syst.	2016	DBLP DOI BibTeX RDF
19	Stefano Bonzio, Ivan Chajda, Antonio Ledda	Representing quantum structures as near semirings.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
19	Michael Luttenberger, Maximilian Schlund	Convergence of Newton's Method over Commutative Semirings.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
19	Jacques Carette, Amr Sabry	Computing with Semirings and Weak Rig Groupoids.	ESOP	2016	DBLP DOI BibTeX RDF
19	Maximilian Schlund	Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications.		2016	RDF
19	Hitoshi Furusawa, Koki Nishizawa	Multirelational representation theorems for complete idempotent left semirings.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
19	Eleni Mandrali, George Rahonis	Weighted First-Order Logics over Semirings.	Acta Cybern.	2015	DBLP DOI BibTeX RDF
19	Mariana Durcheva	Some applications of idempotent semirings in public key cryptography.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
19	Jitender Kumar, Kanduru V. Krishna	Syntactic semigroup problem for the semigroup reducts of Affine Near-semirings over Brandt Semigroups.	CoRR	2015	DBLP BibTeX RDF
19	H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema	Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings.	CoRR	2015	DBLP BibTeX RDF
19	Oliver Serang	One to rule them all: a general method for fast computation on semirings isomorphic to (×, max) on ℝ+.	CoRR	2015	DBLP BibTeX RDF
19	Ivan Chajda, Helmut Länger	Commutative basic algebras and coupled near semirings.	Soft Comput.	2015	DBLP DOI BibTeX RDF
19	Tomás Werner	Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings.	IEEE Trans. Pattern Anal. Mach. Intell.	2015	DBLP DOI BibTeX RDF
19	Javier Esparza, Michael Luttenberger, Maximilian Schlund	FPSOLVE: A Generic Solver for Fixpoint Equations Over Semirings.	Int. J. Found. Comput. Sci.	2015	DBLP DOI BibTeX RDF
19	Werner Kuich	Why We Need Semirings in Automata Theory (Extended Abstract).	CAI	2015	DBLP DOI BibTeX RDF
19	Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers	From monoids to near-semirings: the essence of MonadPlus and alternative.	PPDP	2015	DBLP DOI BibTeX RDF
19	H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema	Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings.	ICGT	2015	DBLP DOI BibTeX RDF
19	Carolina Cárdenas, Jean Jacques Loiseau, Claude Martinez	Controlled Invariance and Dynamic Feedback for Systems over Semirings.	SIAM Conf. on Control and its Applications	2015	DBLP DOI BibTeX RDF
19	Monika Cerinsek, Vladimir Batagelj	Semirings and Matrix Analysis of Networks.	Encyclopedia of Social Network Analysis and Mining	2014	DBLP DOI BibTeX RDF
19	Muhammad Irfan Ali, Muhammad Shabir	Application of L-fuzzy soft sets to semirings.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
19	Erkko Lehtonen	Reconstructing Multisets over Commutative Groupoids and Affine Functions over Nonassociative Semirings.	Int. J. Algebra Comput.	2014	DBLP DOI BibTeX RDF
19	Zoltán Ésik, Tamás Hajgató	On the Structure of Free Iteration Semirings.	J. Autom. Lang. Comb.	2014	DBLP DOI BibTeX RDF
19	Daniel Kirsten	An algebraic characterization of semirings for which the support of every recognizable series is recognizable.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	Ernie Cohen	Hypothesis Elimination in Kleene Semirings.	CoRR	2014	DBLP BibTeX RDF
19	Richard Sproat, Mahsa Yarmohammadi, Izhak Shafran, Brian Roark	Applications of Lexicographic Semirings to Problems in Speech and Language Processing.	Comput. Linguistics	2014	DBLP DOI BibTeX RDF
19	Xue-ping Wang 0001, Qian-yu Shu	The bideterminants of matrices over semirings.	Soft Comput.	2014	DBLP DOI BibTeX RDF
19	M. A. Javed, M. Aslam	Some Commutativity Conditions in Prime MA-Semirings.	Ars Comb.	2014	DBLP BibTeX RDF
19	Ching-Lueh Chang	Hardness of learning loops, monoids, and semirings.	Discret. Appl. Math.	2014	DBLP DOI BibTeX RDF
19	Egor V. Kostylev, Juan L. Reutter, András Z. Salamon	Classification of annotation semirings over containment of conjunctive queries.	ACM Trans. Database Syst.	2014	DBLP DOI BibTeX RDF
19	Javier Esparza, Michael Luttenberger, Maximilian Schlund	FPsolve: A Generic Solver for Fixpoint Equations over Semirings.	CIAA	2014	DBLP DOI BibTeX RDF
19	François Le Gall, Harumichi Nishimura	Quantum Algorithms for Matrix Products over Semirings.	SWAT	2014	DBLP DOI BibTeX RDF
19	Lawrence Peter Belluce, Antonio Di Nola, Anna R. Ferraioli	MV-semirings and their Sheaf Representations.	Order	2013	DBLP DOI BibTeX RDF
19	Xuechong Guan, Yongming Li 0001	On a Condition for Semirings to Induce Compact Information Algebras.	ISDT	2013	DBLP DOI BibTeX RDF
19	Syed Eqbal Alam, Shrisha Rao 0001, Bijan Davvaz	(m, n)-Semirings and a Generalized Fault-Tolerance Algebra of Systems.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
19	Marino Miculan, Marco Peressotti	Weak bisimulations for labelled transition systems weighted over semirings.	CoRR	2013	DBLP BibTeX RDF
19	François Le Gall, Harumichi Nishimura	Quantum Algorithms for Matrix Products over Semirings.	CoRR	2013	DBLP BibTeX RDF
19	Grigori L. Litvinov, A. Ya. Rodionov, S. N. Sergeev, Andrei N. Sobolevski	Universal algorithms for solving the matrix Bellman equations over semirings.	Soft Comput.	2013	DBLP DOI BibTeX RDF
19		New Digital Signature Scheme Using Multiple Private Keys over Non-Commutative Division Semirings.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
19	Bernhard Möller	Modal Knowledge and Game Semirings.	Comput. J.	2013	DBLP DOI BibTeX RDF
19	Maximilian Schlund, Michal Terepeta, Michael Luttenberger	Putting Newton into Practice: A Solver for Polynomial Equations over Semirings.	LPAR	2013	DBLP DOI BibTeX RDF
19	Eleni Mandrali, George Rahonis	Characterizations of Weighted First-Order Logics over Semirings.	CAI	2013	DBLP DOI BibTeX RDF
19	Qian-yu Shu, Xue-ping Wang 0001	Dimensions of ℒ-semilinear spaces over zerosumfree semirings.	IFSA/NAFIPS	2013	DBLP DOI BibTeX RDF
19	Michael Luttenberger, Maximilian Schlund	Convergence of Newton's Method over Commutative Semirings.	LATA	2013	DBLP DOI BibTeX RDF
19	Stephen Dolan	Fun with semirings: a functional pearl on the abuse of linear algebra.	ICFP	2013	DBLP DOI BibTeX RDF
19	Kim Solin	Modal Semirings with Operators for Knowledge Representation.	ICAART (2)	2013	DBLP BibTeX RDF
19	A. Benfekir, Samir Hamaci, A.-M. Darcherif, L. Laval, M. Bouhamida	On the nonlinear dynamic behavior of unrelaxed timed Petri nets in idempotent semirings.	MMAR	2013	DBLP DOI BibTeX RDF
19	Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini 0001	Local arc consistency for non-invertible semirings, with an application to multi-objective optimization.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
19	Yong He, Gongcai Xin, Zhixi Wang	Determinations of Weighted Finite Automata over Commutative Idempotent MF-Semirings.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
19	David Dolzan, Polona Oblak	The Zero-Divisor Graphs of Rings and Semirings.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF