Search results for "quotients"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Oscar Slotosch	Higher Order Quotients and their Implementation in Isabelle HOL.	TPHOLs	1997	DBLP DOI BibTeX RDF
74	Themba Dube	Some Notes on C- and C*-quotients of Frames.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 54C45
70	Thomas A. Henzinger, Rupak Majumdar, Jean-François Raskin	A classification of symbolic transition systems.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	infinite-state model checking, state equivalences, Model checking, temporal logics, hybrid automata, symbolic algorithms
70	Thomas A. Henzinger, Rupak Majumdar	A Classification of Symbolic Transition Systems.	STACS	2000	DBLP DOI BibTeX RDF
60	Michael I. Hartley	Quotients of Some Finite Universal Locally Projective Polytopes.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
57	Anthony W. Hager, Jorge Martinez 0001	Maximum Monoreflections and Essential Extensions.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	monoreflection, essential extension, ring of quotients, Archimedean f-ring
50	Michael I. Hartley	All Polytopes Are Quotients, and Isomorphic Polytopes Are Quotients by Conjugate Subgroups.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
46	Dumitru Busneag, Dana Piciu	BL-algebra of fractions and maximal BL-algebra of quotients.	Soft Comput.	2005	DBLP DOI BibTeX RDF	AMS Subject Classification 2000 06D35, 03G25
46	C. van Trigt	Illuminant-Dependence of Von Kries Type Quotients.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	von Kries hypothesis, discounting the illuminant, chromatic adaptation, narrow sensor, spectral distribution function, reflectance, colour constancy
46	Peter V. Homeier	A Design Structure for Higher Order Quotients.	TPHOLs	2005	DBLP DOI BibTeX RDF
43	Lucian Ilie, Sheng Yu 0001	Constructing NFA s by Optimal Use of Positions in Regular Expressions.	CPM	2002	DBLP DOI BibTeX RDF	right-invariant equivalence, $varepsilon$-elimination, algorithms, regular expressions, positions, partial derivatives, quotients, regular expression matching, nondeterministic finite automata
43	Lucian Ilie, Sheng Yu 0001	Algorithms for Computing Small NFAs.	MFCS	2002	DBLP DOI BibTeX RDF	follow relations, invariant equivalences, algorithms, regular expressions, positions, partial derivatives, quotients, nondeterministic finite automata
42	Guilhem Castagnos	Two Generic Constructions of Probabilistic Cryptosystems and Their Applications.	SCN	2008	DBLP DOI BibTeX RDF	Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption
42	Carsten Fritz, Thomas Wilke	State Space Reductions for Alternating Büchi Automata.	FSTTCS	2002	DBLP DOI BibTeX RDF
42	Cristina Iordache, David W. Matula	On Infinitely Precise Rounding for Division, Square Root, Reciprocal and Square Root Reciprocal.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
37	Doriann Albertin	Combinatoire et géométrie des quotients de l'ordre faible. (Combinatorics and geometry of lattice quotients of the weak order).		2022	RDF
37	Tobias Moede	Nilpotent Quotients of Associative Z-Algebras and Augmentation Quotients of Baumslag-Solitar Groups.	ICMS	2020	DBLP DOI BibTeX RDF
37	Anton Geraschenko, Matthew Satriano	Torus quotients as global quotients by finite groups.	J. Lond. Math. Soc.	2015	DBLP DOI BibTeX RDF
37	John R. Stembridge	Tight Quotients and Double Quotients in the Bruhat Order.	Electron. J. Comb.	2005	DBLP DOI BibTeX RDF
37	Jean-François Mestre, René Schoof, Lawrence C. Washington, Don Zagier	Quotients Homophones des Groupes Libres Homophonic Quotients of Free Groups.	Exp. Math.	1993	DBLP DOI BibTeX RDF
32	Maria Emilia Maietti	Quotients over Minimal Type Theory.	CiE	2007	DBLP DOI BibTeX RDF	Dependent type theory, quotient completion, intuitionistic logic
32	Michael Cebulla	Fuzzy Quotients in Reactive Common Sense Reasoning.	GrC	2007	DBLP DOI BibTeX RDF
32	Mohammed A. Hasan	Differential and geometric properties of Rayleigh quotients with applications.	ISCAS	2006	DBLP DOI BibTeX RDF
32	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
32	Mao-Ching Foo, Eng-Wee Chionh	Implicitizing Bi-Cubic Toric Surfaces by Dixon? - Resultant Quotients.	PG	2003	DBLP DOI BibTeX RDF
32	Laurent Chicli, Loic Pottier, Carlos Simpson	Mathematical Quotients and Quotient Types in Coq.	TYPES	2002	DBLP DOI BibTeX RDF
32	Patrik Nordbeck	On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies
32	Pierrick Gaudry, Éric Schost	On the Invariants of the Quotients of the Jacobian of a Curve of Genus 2.	AAECC	2001	DBLP DOI BibTeX RDF
29	Lawrence C. Paulson	Defining functions on equivalence classes.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	theorem proving, Equivalence classes, quotients
28	David Duris	Hypergraph Acyclicity and Extension Preservation Theorems.	LICS	2008	DBLP DOI BibTeX RDF	hypergraph acyclicity, preservation theorems, logic, finite model theory
28	Bernhard Banaschewski	The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 46E25, 54C30
28	Darrell P. Rowbottom	The Insufficiency of the Dutch Book Argument.	Stud Logica	2007	DBLP DOI BibTeX RDF	Dutch Book, probabilistic theories of rationality, subjective interpretation of probability, coherence, degrees of belief
28	David W. Matula, Lee D. McFearin	A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division.	DATE	2006	DBLP DOI BibTeX RDF
28	Michèle Gouiffès, Christine Fernandez-Maloigne, Alain Trémeau, Christophe Collewet	Color segmentation of ink-characters: application to meat tracabeality control.	ICIP	2004	DBLP DOI BibTeX RDF
28	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
28	Gerhard Preuß	Completion of Semiuniform Convergence Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	semiuniform convergence spaces, filter spaces, uniform convergence spaces (= uniform limit spaces), universal constructions, completions
28	James W. Bond, Stefan Hui, Hank Schmidt	The Euclidean Algorithm and Primitive Polypomials over Finite Fields.	AAECC	1999	DBLP DOI BibTeX RDF
28	Alfred J. van der Poorten	Formal Power Series and Their Continued Fraction Expansion.	ANTS	1998	DBLP DOI BibTeX RDF
28	Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari	Complete Abstract Interpretations Made Constructive.	MFCS	1998	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Peter W. Kopke	Discrete-Time Control for Rectangular Hybrid Automata.	ICALP	1997	DBLP DOI BibTeX RDF
18	Daniel C. Slilaty, Thomas Zaslavsky	Cobiased Graphs: Single-Element Extensions and Elementary Quotients of Graphic Matroids.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
18	Yan Feng, Saisai Shi, Yuan Zhang	Metrical properties for the weighted sums of degrees of multiple partial quotients in continued fractions of Laurent series.	Finite Fields Their Appl.	2024	DBLP DOI BibTeX RDF
18	Cynthia Keeler, William Munizzi, Jason Pollack	Clifford orbits from cayley graph quotients.	Quantum Inf. Comput.	2024	DBLP DOI BibTeX RDF
18	Yousef Qaddura, Dustin G. Mixon	Stable Coorbit Embeddings of Orbifold Quotients.	CoRR	2024	DBLP DOI BibTeX RDF
18	Rongzhong Xiao	Monochromatic quotients, products and polynomial sums in the rationals.	Discret. Math.	2024	DBLP DOI BibTeX RDF
18	Nicholas J. Williams	The First Higher Stasheff-Tamari Orders are Quotients of the Higher Bruhat Orders.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
18	Huaning Liu, Xi Liu	On the correlation measures of orders $ 3 $ and $ 4 $ of binary sequence of period $ p^2 $ derived from Fermat quotients.	Adv. Math. Commun.	2023	DBLP DOI BibTeX RDF
18	Sajida Younas, Sajida Kousar, Majed Albaity, Tahir Mahmood 0002	Spectral Analysis of the Adjacency Matrices for Alternating Quotients of Hyperbolic Triangle Group ▵*(3,q,r) for q < r Primes.	Axioms	2023	DBLP DOI BibTeX RDF
18	Jiang Ma, Jun Zhang, Yanguo Jia, Xiumin Shen	New Binary Sequences Derived from Euler Quotients Modulo pq and Their Generalizations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Luc Jaulin	Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
18	Andrew Janes, John R. Singler	A New Proper Orthogonal Decomposition Method with Second Difference Quotients for the Wave Equation.	CoRR	2023	DBLP DOI BibTeX RDF
18	David A. R. Robin, Kevin Scaman, Marc Lelarge	Convergence beyond the over-parameterized regime using Rayleigh quotients.	CoRR	2023	DBLP DOI BibTeX RDF
18	Stephen M. Watt	Efficient Quotients of Non-Commutative Polynomials.	CoRR	2023	DBLP DOI BibTeX RDF
18	Stephen M. Watt	Efficient Quotients Using Exact Arithmetic.	CoRR	2023	DBLP DOI BibTeX RDF
18	Constantin Enea, Parisa Fathololumi, Eric Koskinen	The Commutativity Quotients of Concurrent Objects.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jason P. Bell, Daniel Smertnig, Hellis Tamm	Duality of lattices associated to left and right quotients.	AFL	2023	DBLP DOI BibTeX RDF
18	Aditi Kar Gangopadhyay, Mansi, Bimal Mandal, Aleksandr Kutsenko, Sugata Gangopadhyay	Rayleigh quotients of Dillon's functions.	CoRR	2023	DBLP DOI BibTeX RDF
18	Patricio Gallardo, Jesús Martinez-Garcia, Han-Bom Moon, David Swinarski	Computation of GIT quotients of semisimple groups.	CoRR	2023	DBLP DOI BibTeX RDF
18	Birgul Koc, Tomás Chacón Rebollo, Samuele Rubino	Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation.	J. Sci. Comput.	2023	DBLP DOI BibTeX RDF
18	Sergio A. Carrillo	Pythagorean Boxes and Quotients of Gaussian Integers.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
18	Ansgar Scherp, David Richerby, Till Blume, Michael Cochez, Jannik Rau	Structural Summarization of Semantic Graphs Using Quotients.	TGDK	2023	DBLP DOI BibTeX RDF
18	Liam Eagen, Ariel Gabizon	cqlin: Efficient linear operations on KZG commitments with cached quotients.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
18	Sarah Locke Eskew, John R. Singler	A new approach to proper orthogonal decomposition with difference quotients.	Adv. Comput. Math.	2023	DBLP DOI BibTeX RDF
18	Roland Glück	Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients.	RAMiCS	2023	DBLP DOI BibTeX RDF
18	Francesco Dagnino, Fabio Pasquali	Quotients and Extensionality in Relational Doctrines.	FSCD	2023	DBLP DOI BibTeX RDF
18	Stephen M. Watt	Efficient Quotients of Non-commutative Polynomials.	CASC	2023	DBLP DOI BibTeX RDF
18	Stephen Michael Watt	Efficient Generic Quotients Using Exact Arithmetic.	ISSAC	2023	DBLP DOI BibTeX RDF
18	Carolina Benedetti, Anastasia Chavez, Daniel Tamayo Jiménez	Quotients of Uniform Positroids.	Electron. J. Comb.	2022	DBLP DOI BibTeX RDF
18	Vladimir Edemskiy, Chenhuang Wu, Chunxiang Xu	Improvements on k-error linear complexity of q-ary sequences derived from Euler quotients.	Cryptologia	2022	DBLP DOI BibTeX RDF
18	Yan Feng, Wenmin Zhong	On the relative growth rate of the product of consecutive partial quotients in continued fraction expansions of Laurent series.	Finite Fields Their Appl.	2022	DBLP DOI BibTeX RDF
18	Jiang Ma, Jun Zhang, Yanguo Jia, Xiumin Shen	Linear Complexity of New Binary Sequence Derived From Polynomial Quotients Modulo p in General Case and Their Generalizations.	IEEE Access	2022	DBLP DOI BibTeX RDF
18	Sen-Peng Eu, Tung-Shan Fu, Yuan-Hsun Lo	Signed Mahonian on parabolic quotients of colored permutation groups.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
18	S. N. Hosseini, A. R. Shir Ali Nasab, Walter Tholen, Leila Yeganeh	Quotients of Span Categories that are Allegories and the Representation of Regular Categories.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
18	Sumedh B. Thool, Yogesh J. Bagul, Ramkrishna M. Dhaigude, Christophe Chesneau	Bounds for Quotients of Inverse Trigonometric and Inverse Hyperbolic Functions.	Axioms	2022	DBLP DOI BibTeX RDF
18	Rui Li 0007, Qi Zhang 0005, Tianguang Chu	Quotients of Probabilistic Boolean Networks.	IEEE Trans. Autom. Control.	2022	DBLP DOI BibTeX RDF
18	Hellis Tamm	Quotients and atoms of reversible languages.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	James Haoyu Bai, Joseph Meleshko, Samin Riasat, Jeffrey O. Shallit	Quotients of Palindromic and Antipalindromic Numbers.	CoRR	2022	DBLP BibTeX RDF
18	Carolina Benedetti, Kolja Knauer	Lattice path matroids and quotients.	CoRR	2022	DBLP BibTeX RDF
18	Birgul Koc, Tomás Chacón Rebollo, Samuele Rubino	Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation.	CoRR	2022	DBLP DOI BibTeX RDF
18	Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp	Quotients, inductive types, and quotient inductive types.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Basil Fürer, Andreas Lochbihler, Joshua Schneider 0001, Dmitriy Traytel	Quotients of Bounded Natural Functors.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Liam Eagen, Dario Fiore 0001, Ariel Gabizon	cq: Cached quotients for fast lookups.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
18	Gregor Kemper	Computing quotients by connected solvable groups.	J. Symb. Comput.	2022	DBLP DOI BibTeX RDF
18	Yongming Li 0001, Qian Wang, Sanjiang Li	On quotients of formal power series.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
18	Vasyl Ustimenko, Michal Klisowski	On D(n; q) quotients of large girth and hidden homomorphism based cryptographic protocols.	FedCSIS (Communication Papers)	2022	DBLP DOI BibTeX RDF
18	David A. R. Robin, Kevin Scaman, Marc Lelarge	Convergence beyond the over-parameterized regime using Rayleigh quotients.	NeurIPS	2022	DBLP BibTeX RDF
18	Wenjie Fang, Henri Mühle, Jean-Christophe Novelli	A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group.	Electron. J. Comb.	2021	DBLP DOI BibTeX RDF
18	Birgul Koc, Samuele Rubino, Michael Schneier, John R. Singler, Traian Iliescu	On Optimal Pointwise in Time Error Bounds and Difference Quotients for the Proper Orthogonal Decomposition.	SIAM J. Numer. Anal.	2021	DBLP DOI BibTeX RDF
18	Fengkai Ke, Huanping Liu, Mingcheng Zhou, Rui Yang, Hui-Min Cao	Diagnostic Biomarker Exploration of Autistic Patients With Different Ages and Different Verbal Intelligence Quotients Based on Random Forest Model.	IEEE Access	2021	DBLP DOI BibTeX RDF
18	Jingwei Zhang, Chuangqiang Hu, Xiang Fan, Chang-An Zhao	Trace representation of the binary pq2-periodic sequences derived from Euler quotients.	Cryptogr. Commun.	2021	DBLP DOI BibTeX RDF
18	Rayan Mohammed, Xiaoni Du, Wengang Jin, Yanzhong Sun	Trace Representation of r-Ary Sequences Derived from Euler Quotients Modulo 2p.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Anna Duyunova, Valentin V. Lychagin, Sergey Tychkov	Quotients of Euler Equations on Space Curves.	Symmetry	2021	DBLP DOI BibTeX RDF
18	Rui Li 0007, Qi Zhang 0005, Tianguang Chu	On quotients of Boolean control networks.	Autom.	2021	DBLP DOI BibTeX RDF
18	Michal Hospodár	Power, positive closure, and quotients on convex languages.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
18	Cyrille Chenavier, Christophe Cordero, Samuele Giraudo	Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems.	Exp. Math.	2021	DBLP DOI BibTeX RDF
18	Sadek Al Harbat, Camilo González, David Plaza	Type C˜ Temperley-Lieb algebra quotients and Catalan combinatorics.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
18	Wei Jin 0005, Cheryl E. Praeger	Normal quotients of diameter at most two of finite three-geodesic-transitive graphs.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
18	Anton Dochtermann	Exposed circuits, linear quotients, and chordal clutters.	J. Comb. Theory, Ser. A	2021	DBLP DOI BibTeX RDF
18	Adam Strzebonski	Computing Limits of Quotients of Multivariate Real Analytic Functions.	CoRR	2021	DBLP BibTeX RDF
18	Sarah K. Locke, John R. Singler	A new approach to proper orthogonal decomposition with difference quotients.	CoRR	2021	DBLP BibTeX RDF