Search results for "maximality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Eng-Wee Chionh	The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports.	ASCM	2007	DBLP DOI BibTeX RDF	Dixon matrix, corner-cut monomial supports, mechanical proof, maximality
59	Marie-Pierre Béal, Fabio Burderi, Antonio Restivo	Coding Partitions: Regularity, Maximality and Global Ambiguity.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
59	Yijia Chen, Jörg Flum	The Parameterized Complexity of Maximality and Minimality Problems.	IWPEC	2006	DBLP DOI BibTeX RDF
53	Rajeev Joshi, Jayadev Misra	Maximally Concurrent Programs.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Concurrent program design, Maximal solution, Safety, Progress
53	Rajeev Joshi, Jayadev Misra	Toward a theory of maximally concurrent programs (shortened version).	PODC	2000	DBLP DOI BibTeX RDF	parallel programs, concurrency
41	Thomas Veit, Frédéric Cao, Patrick Bouthemy	A maximality principle applied to a contrario motion detection.	ICIP (1)	2005	DBLP DOI BibTeX RDF
41	Lila Kari, Stavros Konstantinidis, Petr Sosík	Bond-Free Languages: Formalizations, Maximality and Construction Methods.	DNA	2004	DBLP DOI BibTeX RDF
36	Maria Federico, Nadia Pisanti	Suffix Tree Characterization of Maximal Motifs in Biological Sequences.	BIRD	2008	DBLP DOI BibTeX RDF	Maximal Motifs, Suffix trees, Biological Sequences
36	Nathan Huntley, Matthias C. M. Troffaes	An Efficient Normal Form Solution to Decision Trees with Lower Previsions.	SMPS	2008	DBLP DOI BibTeX RDF
33	Chitta Baral, Sarit Kraus, Jack Minker	Combining Multiple Knowledge Bases.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	multiple knowledge base systems, single knowledge base, function symbols, maximal theory, data integrity, knowledge based system, knowledge based systems, database theory, deductive database, deductive databases, integrity constraints, maximality, view update problem
24	Guillermo Badia, Xavier Caicedo, Carles Noguera	Maximality of Logic without Identity.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
24	Patrick Holzer, Ivica Turkalj	Spectral invariance and maximality properties of the frequency spectrum of quantum neural networks.	CoRR	2024	DBLP DOI BibTeX RDF
24	Tiziano De Angelis, Erik Ekström, Marcus Olofsson	The Maximality Principle in Singular Control with Absorption and Its Applications to the Dividend Problem.	SIAM J. Control. Optim.	2024	DBLP DOI BibTeX RDF
24	Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang	First-Choice Maximality Meets Ex-ante and Ex-post Fairness.	CoRR	2023	DBLP DOI BibTeX RDF
24	Iffat Jahan, Ananya Manas	An Application of Maximality to Nilpotent and Finitely Generated L-Subgroups of an L-Group.	Int. J. Fuzzy Log. Intell. Syst.	2023	DBLP DOI BibTeX RDF
24	Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang	First-Choice Maximality Meets Ex-ante and Ex-post Fairness.	IJCAI	2023	DBLP DOI BibTeX RDF
24	Mert Kimya	Farsighted objections and maximality in one-to-one matching problems.	J. Econ. Theory	2022	DBLP DOI BibTeX RDF
24	Ryo Ohashi	Maximality of Ciani curves over finite fields.	Finite Fields Their Appl.	2022	DBLP DOI BibTeX RDF
24	Krzysztof A. Krawczyk	Two Maximality Results for the Lattice of Extensions of $\vdash _{\mathbf {RM}}$.	Stud Logica	2022	DBLP DOI BibTeX RDF
24	Nathanael L. Ackerman, Mary Leah Karker	A Maximality Theorem for Continuous First Order Theories.	Reports Math. Log.	2022	DBLP DOI BibTeX RDF
24	Joel David Hamkins, Øystein Linnebo	The Modal Logic of Set-Theoretic Potentialism and the Potentialist Maximality Principles.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
24	Grigory K. Olkhovikov, Guillermo Badia	Maximality of bi-intuitionistic propositional logic.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
24	Kaethe Minden	Combining Resurrection and Maximality.	J. Symb. Log.	2021	DBLP DOI BibTeX RDF
24	Mengyue Cao, Jack H. Koolen, Akihiro Munemasa, Kiyoto Yoshino	Maximality of Seidel matrices and switching roots of graphs.	Graphs Comb.	2021	DBLP DOI BibTeX RDF
24	Katherine Arthur, Rod Downey, Noam Greenberg	Maximality and collapse in the hierarchy of α-c.a. degrees.	Comput.	2021	DBLP DOI BibTeX RDF
24	Tim Boykett	Notes on the maximality of reversible gate sets under borrow and ancilla closure.	Sci. Comput. Program.	2021	DBLP DOI BibTeX RDF
24	Radek Simík, Christoph Demian	Definiteness, Uniqueness, and Maximality in Languages With and Without Articles.	J. Semant.	2020	DBLP DOI BibTeX RDF
24	Neil Barton, Sy-David Friedman	Maximality and ontology: how axiom content varies across philosophical frameworks.	Synth.	2020	DBLP DOI BibTeX RDF
24	Christian J. Michel	The maximality of circular codes in genes statistically verified.	Biosyst.	2020	DBLP DOI BibTeX RDF
24	Tim Boykett	Maximality of reversible gate sets.	CoRR	2020	DBLP BibTeX RDF
24	Tim Boykett	Maximality of Reversible Gate Sets.	RC	2020	DBLP DOI BibTeX RDF
24	Luoshan Xu, Dongsheng Zhao	Cσ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness.	ISDT	2019	DBLP DOI BibTeX RDF
24	Philipp Lücke	Closed Maximality Principles and Generalized Baire Spaces.	Notre Dame J. Formal Log.	2019	DBLP DOI BibTeX RDF
24	Marcelo E. Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo	Maximality in finite-valued Łukasiewicz logics defined by order filters.	J. Log. Comput.	2019	DBLP DOI BibTeX RDF
24	Foster Tom, Stephanie van Willigenburg	Necessary Conditions for Schur-Maximality.	Electron. J. Comb.	2018	DBLP DOI BibTeX RDF
24	Mahya Malekghasemi, Seyed Mohammad Bagheri	Maximality of linear continuous logic.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
24	Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith	Site-Directed Insertion: Decision Problems, Maximality and Minimality.	CoRR	2018	DBLP BibTeX RDF
24	Lucélia Kowalski Pinheiro, Vilmar Trevisan	Maximality of the signless Laplacian energy.	Discret. Math.	2018	DBLP DOI BibTeX RDF
24	Daisuke Ikegami, Nam Trang	On a class of maximality principles.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
24	Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith	Site-Directed Insertion: Decision Problems, Maximality and Minimality.	DCFS	2018	DBLP DOI BibTeX RDF
24	Takuma Wakayama	Bribe-proofness for single-peaked preferences: characterizations and maximality-of-domains results.	Soc. Choice Welf.	2017	DBLP DOI BibTeX RDF
24	Jozefien D'haeseleer, Klaus Metsch, Leo Storme, Geertrui Van de Voorde	On the maximality of a set of mutually orthogonal Sudoku Latin Squares.	Des. Codes Cryptogr.	2017	DBLP DOI BibTeX RDF
24	Ngurah Anak Agung Gede, Rinovia Simanjuntak	Super edge-magic labeling of graphs: deficiency and maximality.	Electron. J. Graph Theory Appl.	2017	DBLP DOI BibTeX RDF
24	Gennadiy Averkov, Jan Krümpelmann, Stefan Weltge	Notions of Maximality for Integral Lattice-Free Polyhedra: The Case of Dimension Three.	Math. Oper. Res.	2017	DBLP DOI BibTeX RDF
24	Manuel Kriz	Homogeneity, Non-Maximality, and all.	J. Semant.	2016	DBLP DOI BibTeX RDF
24	Mohammad Golshani, Yair Hayut	On Foreman's Maximality Principle.	J. Symb. Log.	2016	DBLP DOI BibTeX RDF
24	Unil Yun, Gangin Lee, Kyung-Min Lee	Efficient representative pattern mining based on weight and maximality conditions.	Expert Syst. J. Knowl. Eng.	2016	DBLP DOI BibTeX RDF
24	Daniel López-Aguayo	Irrationality via Maximality.	Am. Math. Mon.	2016	DBLP BibTeX RDF
24	Fumiki Sekiya, Akihiro Sugimoto	Discrete Polynomial Curve Fitting Guaranteeing Inclusion-Wise Maximality of Inlier Set.	ACCV Workshops (2)	2016	DBLP DOI BibTeX RDF
24	Kenza Bouaroudj, Djamel-Eddine Saïdouni, Ilham Kitouni	Formal testing theory of stochastic systems under maximality semantics.	Int. J. Comput. Aided Eng. Technol.	2015	DBLP DOI BibTeX RDF
24	Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié	A reduced maximality labeled transition system generation for recursive Petri nets.	Formal Aspects Comput.	2015	DBLP DOI BibTeX RDF
24	Lila Kari, Stavros Konstantinidis, Steffen Kopecki	On the maximality of languages with combined types of code properties.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
24	Xavier Parent	Maximality vs. Optimality in Dyadic Deontic Logic.	J. Philos. Log.	2014	DBLP DOI BibTeX RDF
24	Riadh Matmat, Ilham Kitouni, Souad Guellati, Djamel-Eddine Saïdouni	Maximality-based Region Graph: A Novel Alternative.	ICAASE	2014	DBLP BibTeX RDF
24	Adel Benamira, Djamel-Eddine Saïdouni	Maximality-Based Labeled Transition Systems Normal Form.	Modeling Approaches and Algorithms for Advanced Computer Applications	2013	DBLP DOI BibTeX RDF
24	Djamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié	Maximality Semantic For Recursive Petri Nets.	ECMS	2013	DBLP DOI BibTeX RDF
24	Joanna M. Papakonstantinou, Richard A. Tapia	Generation of classes of symmetric rank-2 secant updates and the maximality of the Davidon class.	Optim. Methods Softw.	2012	DBLP DOI BibTeX RDF
24	Livio Robaldo	Distributivity, Collectivity, and Cumulativity in Terms of (In)dependence and Maximality.	J. Log. Lang. Inf.	2011	DBLP DOI BibTeX RDF
24	Phan Trung Huy, Nguyen Hai Thanh	On the Maximality of Secret Data Ratio in CPTE Schemes.	ACIIDS (1)	2011	DBLP DOI BibTeX RDF
24	Emanuele Casini, Enrico Miglierina	The Geometry of Strict Maximality.	SIAM J. Optim.	2010	DBLP DOI BibTeX RDF
24	Richard Ketchersid, Paul B. Larson, Jindrich Zapletal	Regular embeddings of the stationary tower and Woodin's Sigma22 maximality theorem.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
24	Yann Chevaleyre, Ulle Endriss, Nicolas Maudet	Simple negotiation schemes for agents with simple preferences: sufficiency, necessity and maximality.	Auton. Agents Multi Agent Syst.	2010	DBLP DOI BibTeX RDF
24	Arnon Avron, Ofer Arieli, Anna Zamansky	On Strong Maximality of Paraconsistent Finite-Valued Logics.	LICS	2010	DBLP DOI BibTeX RDF
24	Gunter Fuchs	Combined Maximality Principles up to large cardinals.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
24	T. L. Alderson, András Gács	On the maximality of linear codes.	Des. Codes Cryptogr.	2009	DBLP DOI BibTeX RDF
24	Djamel-Eddine Saïdouni, Nabil Belala, Messaouda Bouneb	Using maximality-based labelled transition system as a model for petri nets.	Int. Arab J. Inf. Technol.	2009	DBLP BibTeX RDF
24	Gunter Fuchs	Closed maximality principles: implications, separations and combinations.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
24	Douglas S. Bridges, Robin Havea	Constructive Notions of Maximality for Ideals.	J. Univers. Comput. Sci.	2008	DBLP DOI BibTeX RDF
24	Yijia Chen, Jörg Flum	The parameterized complexity of maximality and minimality problems.	Ann. Pure Appl. Log.	2008	DBLP DOI BibTeX RDF
24	Cezary Cieslinski	Deflationism, Conservativeness and Maximality.	J. Philos. Log.	2007	DBLP DOI BibTeX RDF
24	Yixiang Chen, Guo-Qiang Zhang 0001	Maximality and totality of stable functions in the category of stable bifinite domains.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
24	José Carlos R. Alcantud	Maximality with or without binariness: Transfer-type characterizations.	Math. Soc. Sci.	2006	DBLP DOI BibTeX RDF
24	Joel David Hamkins, W. Hugh Woodin	The Necessary Maximality Principle for c. c. c. forcing is equiconsistent with a weakly compact cardinal.	Math. Log. Q.	2005	DBLP DOI BibTeX RDF
24	Lila Kari, Stavros Konstantinidis	Language equations, maximality and error-detection.	J. Comput. Syst. Sci.	2005	DBLP DOI BibTeX RDF
24	Djamel-Eddine Saïdouni, Nabil Belala	Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification.	Int. Arab J. Inf. Technol.	2005	DBLP BibTeX RDF
24	Lila Kari, Stavros Konstantinidis, Petr Sosík	Bond-free languages: formalizations, maximality and construction methods.	Int. J. Found. Comput. Sci.	2005	DBLP DOI BibTeX RDF
24	Martin Kovár	On Maximality of Compact Topologies.	Spatial Representation	2005	DBLP BibTeX RDF
24	Tomasz F. Skura	Maximality and Refutability.	Notre Dame J. Formal Log.	2004	DBLP DOI BibTeX RDF
24	Mirna Dzamonja, Saharon Shelah	On lhd*-maximality.	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
24	Jean Néraud, Carla Selmi	Free Monoid Theory: Maximality And Completeness in Arbitrary Submonoids.	Int. J. Algebra Comput.	2003	DBLP DOI BibTeX RDF
24	Joel David Hamkins	A simple maximality principle.	J. Symb. Log.	2003	DBLP DOI BibTeX RDF
24	José Iovino	On The Maximality of Logics with Approximations.	J. Symb. Log.	2001	DBLP DOI BibTeX RDF
24	Kosta Dosen, Zoran Petric	The Maximality of Cartesian Categories.	Math. Log. Q.	2001	DBLP DOI BibTeX RDF
24	Ernest J. Cockayne, Johannes H. Hattingh, Sandra Mitchell Hedetniemi, Stephen T. Hedetniemi, Alice A. McRae	Using maximality and minimality conditions to construct inequality chains.	Discret. Math.	1997	DBLP DOI BibTeX RDF
24	P. Wuyts	On level-topologies and maximality of fuzzy topological spaces.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
24	Patrick Solé, Thomas Zaslavsky	Maximality of the cycle code of a graph.	Discret. Math.	1994	DBLP DOI BibTeX RDF
24	Jean-Pierre Courtiat, Djamel-Eddine Saïdouni	Relating maximality-based semantics to action refinement in process algebras.	FORTE	1994	DBLP BibTeX RDF
24	Xizhong Zheng	On the Maximality of Some Pairs of p-t Degrees.	Notre Dame J. Formal Log.	1993	DBLP DOI BibTeX RDF
24	Raymond R. Devillers	Maximality Preserving Bisimulation.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
24	Raymond R. Devillers	Maximality preservation and the ST-idea for action refinements.	Advances in Petri Nets: The DEMON Project	1992	DBLP DOI BibTeX RDF
24	Mai Gehrke, Klaus Kaiser	On the Maximality of Some Conormal Extensions of a Lattice.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
24	Robert C. Flagg, Harvey M. Friedman	Maximality in modal logic.	Ann. Pure Appl. Log.	1987	DBLP DOI BibTeX RDF
24	Iraj Kalantari, Anne Leggett	Maximality in Effective Topology.	J. Symb. Log.	1983	DBLP DOI BibTeX RDF
24	Aldo de Luca, Antonio Restivo	Synchronization and Maximality for Very Pure Subsemigroups of a Free Semigroup.	MFCS	1979	DBLP DOI BibTeX RDF
18	Baharak Rastegari, Anne Condon, Kevin Leyton-Brown	Stepwise randomized combinatorial auctions achieve revenue monotonicity.	SODA	2009	DBLP DOI BibTeX RDF
18	Itamar Francez	No i-Sums for Nissim (and Shalom).	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF	Donkey anaphora, E-type pronouns, strong and weak readings, i-sums
18	T. L. Alderson, Aiden A. Bruen	Maximal AMDS codes.	Appl. Algebra Eng. Commun. Comput.	2008	DBLP DOI BibTeX RDF	NMDS codes, AMDS codes, (n, r)-arcs, Cubic curves, Complete arcs, Code extension, Arcs
18	T. L. Alderson, Aiden A. Bruen	Coprimitive sets and inextendable codes.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	51E20, 94B65, AMS Classifications 94B27
18	Antonio Cossidente, Oliver H. King	On the geometry of the exceptional group G 2( q ), q even.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	20G40, AMS Classification 51E20
18	Javid Jaffari, Mohab Anis	Variability-Aware Bulk-MOS Device Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF