Search results for "distributive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Guram Bezhanishvili, Mai Gehrke, Ray Mines, Patrick J. Morandi	Profinite Completions and Canonical Extensions of Heyting Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 06D20, Secondary 06D50, 06B30, 03B55
21	Hugh Thomas	An Analogue of Distributivity for Ungraded Lattices.	Order	2006	DBLP DOI BibTeX RDF	left modular lattice, extremal lattice, supersolvable lattice, Tamari lattice, Cambrian lattice
21	Roland Sh. Omanadze, Andrea Sorbi	Strong Enumeration Reducibilities.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D30
21	Emil W. Kiss, Matthew Valeriote	On Tractability and Congruence Distributivity.	LICS	2006	DBLP DOI BibTeX RDF
21	Shichao Zhang 0001, Rifeng Wang, Yanping Guo	Efficient Computation of Multi-feature Data Cubes.	KSEM	2006	DBLP DOI BibTeX RDF
21	Yingchun Chen, Huan Qi, Shan-Shan Wang	Multi-agent Pursuit-Evasion Algorithm Based on Contract Net Interaction Protocol.	ICNC (3)	2005	DBLP DOI BibTeX RDF
21	Léonard Kwuida	When Is a Concept Algebra Boolean?	ICFCA	2004	DBLP DOI BibTeX RDF
21	Iksoo Kim, Yoseop Woo, Hyunchul Kang, Backhyun Kim, Jinsong Ouyang	Layered Web-Caching Technique for VOD Services.	ICCSA (1)	2004	DBLP DOI BibTeX RDF	Layered service, VOD server, Multimedia, Web-caching
21	André Arnold, Luigi Santocanale	Ambiguous Classes in the Games µ-Calculus Hierarchy.	FoSSaCS	2003	DBLP DOI BibTeX RDF
21	Endre Pap	Pseudo-analysis and nonlinear equations.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Triangular conorm, Probabilistic metric space, Fuzzy metric space, Fixed point, Utility function, Triangular norm
21	Christoph Lüth, Neil Ghani	Composing monads using coproducts.	ICFP	2002	DBLP DOI BibTeX RDF
21	Christian Ronse	Flat Morphological Operatorson Arbitrary Power Lattices.	Theoretical Foundations of Computer Vision	2002	DBLP DOI BibTeX RDF
21	Andrei A. Krokhin	Congruences of Clone Lattices, II.	Order	2001	DBLP DOI BibTeX RDF	clone lattice, clone, congruence
21	Josef Niederle	On Pseudocomplemented and Stone Ordered Sets.	Order	2001	DBLP DOI BibTeX RDF	pseudocomplemented ordered set, Stone ordered set
21	Jürgen Reinhold	Finite Intervals in the Lattice of Topologies.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	atomistic, lattice of topologies, T 0-topology, interval
21	Hosam M. Mahmoud, Philippe Flajolet, Philippe Jacquet, Mireille Régnier	Analytic Variations on Bucket Selection and Sorting.	Acta Informatica	2000	DBLP DOI BibTeX RDF
21	Theodore Johnson, Damianos Chatziantoniou	Extending Complex Ad-Hoc OLAP.	CIKM	1999	DBLP DOI BibTeX RDF	SQL
21	Milton H. Sawasaki, Chantal Ykman-Couvreur, Bill Lin 0001	Externally hazard-free implementations of asynchronous control circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
21	Evelyn Duesterwald, Rajiv Gupta 0001, Mary Lou Soffa	Demand-driven Computation of Interprocedural Data Flow.	POPL	1995	DBLP DOI BibTeX RDF
21	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
21	Neil V. Murray, Erik Rosenthal	Reexamining Intractability of Tableau Methods.	ISSAC	1990	DBLP DOI BibTeX RDF
21	Guozhu Dong	On Distributed Processibility of Datalog Queries by Decomposing Databases.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
21	Michael W. Mislove	On the Smyth Power Domain.	MFPS	1987	DBLP DOI BibTeX RDF
21	Klaus Ambos-Spies	On the Structure of Polynomial Time Degrees.	STACS	1984	DBLP DOI BibTeX RDF
21	Meurig Beynon	Replacement in Monotone Boolean Networks: An Algebraic Perspective.	FSTTCS	1984	DBLP DOI BibTeX RDF
21	Patrick Cousot, Radhia Cousot	Systematic Design of Program Analysis Frameworks.	POPL	1979	DBLP DOI BibTeX RDF
18	Vetle I. Torvik, Evangelos Triantaphyllou	Inference of Monotone Boolean Functions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Isotone Boolean function, Antitone Boolean function, Boolean function inference problem, Free distributive lattice, Interactive learning of Boolean functions, Shannon function, Hansel theorem, Hansel chain, Sequential Hansel chains question-asking strategy, Binary search-Hansel chains question-asking strategy, Boolean function, Conjunctive normal form, CNF, Binary search, Classification problem, Disjunctive normal form, DNF, Monotone Boolean function
18	Kun-Lun Zhang, Dong-Hai Li	On an Open Problem of C. C. Chen.	IITSI	2009	DBLP DOI BibTeX RDF	Finite distributive lattices, grading number, length of lattice
18	Ralf Lämmel, Ondrej Rypacek	The Expression Lemma.	MPC	2008	DBLP DOI BibTeX RDF	expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism
18	Sylvia B. Encheva, Sharil Tumin	Visualization of Cooperative Options for Small Maritime Companies.	CDVE	2008	DBLP DOI BibTeX RDF	Meet-distributive lattices, cooperation
18	Sergei Podzorov	Upper Semilattices in Many-One Degrees.	CiE	2008	DBLP DOI BibTeX RDF	Distributive Upper Semilattice, Many-One Degree, Lachlan Semilattice, Computably Enumerable Set, Simple Set, Hypersimple Set, Immune Set, Hyperimmune Set, Arithmetical Hierarchy
18	Chyng-Yang Jang	Managing Fairness: Reward Distribution in a Self-organized Online Game Player Community.	HCI (15)	2007	DBLP DOI BibTeX RDF	Distributive justice, Fairness, Online community, MMORPG
18	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions on Lattices.	Stud Logica	2006	DBLP DOI BibTeX RDF	?ukasiewicz-Moisil algebras, determination principle, distributive lattice, modular lattice
18	Cornelis W. Oosterlee, Francisco José Gaspar Lorenz	Multigrid Methods for the Stokes System.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	coupled relaxation, decoupled distributive relaxation, staggered grid, vertex-centered grid, system transformation, Multigrid, Stokes equations
18	Hiroaki Kato, Takayuki Eguchi, Masaaki Ohnishi, Shinichi Ueshima	Autonomous Generation of Spherical P2P Delaunay Network for Global Internet Applications.	C5	2006	DBLP DOI BibTeX RDF	locationaware data handling, distributive cooperation, Serverless, Computational geometry, P2P, Sphere, Virtual Collaborative Space, Incremental method
18	B. N. Waphare, Vinayak Joshi	On Uniquely Complemented Posets.	Order	2005	DBLP DOI BibTeX RDF	uniquely complemented, pseudocomplemented, section semi-complemented, Boolean poset, distributive, modular
18	Sándor Radeleczki, Jenö Szigeti	Linear Orders on General Algebras.	Order	2005	DBLP DOI BibTeX RDF	compatible quasi and partial orders on algebraic structures, finite extension property, zero-distributive and zero-modular lattice, linear extension
18	Miki Tanaka, John Power	A unified category-theoretic formulation of typed binding signatures.	MERLIN	2005	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
18	R. Padmanabhan, P. Penner	Semilattice Operations Generated by Lattice Terms.	Order	2004	DBLP DOI BibTeX RDF	quasilattice, compatible orders, subdirectly irreducible, distributive multisemilattice, pseudomedian algebras, lattice, semilattice, modular lattice
18	Dina Lelic, Zoran Gajic	Gauss-Seidel Iterations for SIR-Based Power Updates for Wireless CDMA Communication Networks.	Int. J. Wirel. Inf. Networks	2004	DBLP DOI BibTeX RDF	wireless networks, distributive algorithms, power control, CDMA
18	Václav Koubek, Jirí Sichler	On relative universality and Q-universality.	Stud Logica	2004	DBLP DOI BibTeX RDF	distributive double p-algebra, Q-universality, relative universality, endomorphism monoid, variety, quasivariety
18	Rémi Abgrall, Philip L. Roe	High Order Fluctuation Schemes on Triangular Meshes.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	upwind stabilized schemes, hyperbolic problems, residual distributive schemes, finite elements, high order schemes
18	John Power	A unified category theoretic approach to variable binding.	MERLIN	2003	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
18	Robert D. Rosebrugh, Richard J. Wood	Boundedness and Complete Distributivity.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	bounded suprema, completely distributive, adjunction
18	Marcel Erné	Prime Ideal Theory for General Algebras.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closure system, cm-lattice, semiprime, locale, distributive, residuated, ideal, prime, quantale, radical
18	Jiung-Yao Huang, Chao-Tsong Fang-Tsou, Jui-Fa Chen, Fu-Bin Wang	SharedWeb - A Shared Virtual Environment Over World Wide Web.	PG	1997	DBLP DOI BibTeX RDF	Common Gateway Interface, World Wide Web, Virtual Reality, Virtual Environment, Dead Reckoning, Distributive Interactive Simulation
18	Kanad Keeni, Hiroshi Shimodaira, Kenji Nakayama	On Distributed Representation of Output Layer for Recognizing Japanese Kana characters Using Neural Networks.	ICDAR	1997	DBLP DOI BibTeX RDF	local representation, prototype vector, neural networks, Character recognition, distributive representation
16	Larissa A. Meinicke, Ian J. Hayes	Reasoning about distributive laws in a concurrent refinement algebra.	CoRR	2024	DBLP DOI BibTeX RDF
16	Kadiray Karakaya, Eric Bodden	Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.	CoRR	2024	DBLP DOI BibTeX RDF
16	Aloïs Rosset, Maaike Zwart, Helle Hvid Hansen, Jörg Endrullis	Correspondence between Composite Theories and Distributive Laws.	CoRR	2024	DBLP DOI BibTeX RDF
16	Fernando Lucatelli Nunes, Matthijs Vákár	Free Doubly-Infinitary Distributive Categories are Cartesian Closed.	CoRR	2024	DBLP DOI BibTeX RDF
16	Natanael Alpay, Peter Jipsen, Melissa Sugimoto	Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
16	Jim de Groot	Non-distributive positive logic as a fragment of first-order logic over semilattices.	J. Log. Comput.	2024	DBLP DOI BibTeX RDF
16	Baochuang Wang, Xiaonan Wu, Lin Cheng	31.8 A 11.7W 9mV/A-Cross-Regulation Single-Inductor Triple-Output Buck Converter Using Unordered Power-Distributive Control for a 2A Load Transient.	ISSCC	2024	DBLP DOI BibTeX RDF
16	Yiwei Yang 0009, Bill Howe	Does a Fair Model Produce Fair Explanations? Relating Distributive and Procedural Fairness.	HICSS	2024	DBLP BibTeX RDF
16	Nicholas Teh	Distributive and Temporal Fairness in Algorithmic Collective Decision-Making.	AAMAS	2024	DBLP BibTeX RDF
16	Askar Tuganbaev	ℵ0-Distributive modules and rings.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
16	Sergio A. Celani	Subordinations on Bounded Distributive Lattices.	Order	2023	DBLP DOI BibTeX RDF
16	Gábor Czédli, Ali Molkhasi	Absolute Retracts for Finite Distributive Lattices and Slim Semimodular Lattices.	Order	2023	DBLP DOI BibTeX RDF
16	Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao	Not every countable complete distributive lattice is sober.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
16	Gabriele Lobbia	Distributive Laws for Relative Monads.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
16	R. Sakthivel 0001, V. Nithya, V. T. Suveetha, Fanchao Kong	Finite-Time Distributive Non-Fragile Filter Design for Complex Systems with Multiple Delays, Missing Measurements and Dynamic Quantization.	Circuits Syst. Signal Process.	2023	DBLP DOI BibTeX RDF
16	Prosenjit Howlader, Mohua Banerjee	A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
16	Mohsen Nourany, Shokoofeh Ghorbani, Arsham Borumand Saeid	On self-distributive weak Heyting algebras.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
16	N. Malarvizhi, R. Priya, Rajaram Bhavani	An enhanced reversible image steganography using distributive Tian's method.	Secur. Priv.	2023	DBLP DOI BibTeX RDF
16	Mingzheng Wang, Xin Fang, Zizhuo Wang, Ying-Ju Chen	Impacts of Distributive Comparison Behavior on Corporate Social Responsibility in Supply Chains: The Role of Small Firms.	Manuf. Serv. Oper. Manag.	2023	DBLP DOI BibTeX RDF
16	Gustavo Pelaitay, William Zuluaga	Tense Operators on Distributive Lattices with Implication.	Stud Logica	2023	DBLP DOI BibTeX RDF
16	Phong Ba Le, Thi Nguyet Dung Nguyen	Stimulating knowledge-sharing behaviours through ethical leadership and employee trust in leadership: the moderating role of distributive justice.	J. Knowl. Manag.	2023	DBLP DOI BibTeX RDF
16	Sheng-Hsuan Lin, Olivier Kuijpers, Sebastian Peterhansl, Frank Pollmann	Distributive Pre-Training of Generative Modeling Using Matrix-Product States.	CoRR	2023	DBLP DOI BibTeX RDF
16	Ke Wan, Zuo Zhang, Zhiquan Chen	A General Model of Vehicle Routing Guidance Systems based on Distributive Learning Scheme.	CoRR	2023	DBLP DOI BibTeX RDF
16	Daniel Rogozin	Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic.	AMSLO@ESSLLI	2023	DBLP DOI BibTeX RDF
16	Xingwen Zhu, Lixiang Zhang	Smoothing analysis of two-color distributive relaxation for solving 2D Stokes flow by multigrid method.	CoRR	2023	DBLP DOI BibTeX RDF
16	Robin Cockett, Jean-Simon Pacaud Lemay	Classical Distributive Restriction Categories.	CoRR	2023	DBLP DOI BibTeX RDF
16	Hutan Ashrafian	Engineering a social contract: Rawlsian distributive justice through algorithmic game theory and artificial intelligence.	AI Ethics	2023	DBLP DOI BibTeX RDF
16	Hongliang Lai, Jie Sun	The construction of t-norms on product posets by distributive t-subnorms.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
16	Greg Restall, Shawn Standefer	Collection Frames for Distributive Substructural Logics.	Rev. Symb. Log.	2023	DBLP DOI BibTeX RDF
16	Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka	An algebraic analysis of implication in non-distributive logics.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
16	Zhiguang Zhao	Jónsson-style canonicity in distributive modal µ-calculus.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
16	Sérgio Marcelino, Umberto Rivieccio	Finite axiomatizability of logics of distributive lattices with negation.	Log. J. IGPL	2023	DBLP DOI BibTeX RDF
16	Mou Dutta, Subhasish Dhal, Ashi Saxena, Mahasweta Sarkar	Security Preserving Distributive n-Party Computation*.	TENCON	2023	DBLP DOI BibTeX RDF
16	Bin Li, Andre G. Metzger, Cristian Cismaru, Yingying Yang	A Novel Base Resistance Model Incorporating Base Distributive Effects Along with Emitter Length.	BCICTS	2023	DBLP DOI BibTeX RDF
16	Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere	Non-distributive Description Logic.	TABLEAUX	2023	DBLP DOI BibTeX RDF
16	Azi Lev-On	Watching participatory budgeting events or attending them produce different distributive outcomes.	Online Inf. Rev.	2022	DBLP DOI BibTeX RDF
16	Hasti Seraji, Reza Tavakkoli-Moghaddam, Sobhan Asian, Harpreet Kaur	An integrative location-allocation model for humanitarian logistics with distributive injustice and dissatisfaction under uncertainty.	Ann. Oper. Res.	2022	DBLP DOI BibTeX RDF
16	Askar Tuganbaev	Distributive invariant centrally essential rings.	Int. J. Algebra Comput.	2022	DBLP DOI BibTeX RDF
16	Changchun Xia	Injective Hulls in the Category of Mildly Distributive Semilattices.	Order	2022	DBLP DOI BibTeX RDF
16	Yasir Shahzad, Huma Javed, Haleem Farman, Zahid Khan, Moustafa M. Nasralla, Anis Koubaa	Optimized Distributive Cross-Layer and Thermal-Aware Convergecast Protocol for Wireless Body Area Network.	IEEE Access	2022	DBLP DOI BibTeX RDF
16	Khaled M. Elbassioni	On Dualization over Distributive Lattices.	Discret. Math. Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
16	Luciano J. González	Finite Distributive Semilattices.	Appl. Categorical Struct.	2022	DBLP DOI BibTeX RDF
16	Ramita Sarkar, Shreya Banerjee 0003, Subhasish Bag, Prasanta K. Panigrahi	Geometry of distributive multiparty entanglement in 4 - qubit hypergraph states.	IET Quantum Commun.	2022	DBLP DOI BibTeX RDF
16	Alain Gély, Miguel Couceiro, Laurent Miclet, Amedeo Napoli	A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis.	Int. J. Approx. Reason.	2022	DBLP DOI BibTeX RDF
16	Luciano J. González	On the logic of distributive nearlattices.	Math. Log. Q.	2022	DBLP DOI BibTeX RDF
16	V. Srinivasarao, Umesh Ghanekar	A new double backward distributive weighted adaptive filtering approach for speech quality improvement.	Int. J. Speech Technol.	2022	DBLP DOI BibTeX RDF
16	Mark Burgin, Matan Shtepel	On totalisation of computable functions in a distributive environment.	Int. J. Parallel Emergent Distributed Syst.	2022	DBLP DOI BibTeX RDF
16	Mai Gehrke, Sam van Gool	Topological duality for distributive lattices, and applications.	CoRR	2022	DBLP DOI BibTeX RDF
16	Joachim Baumann 0002, Corinna Hertweck, Michele Loi, Christoph Heitz	Distributive Justice as the Foundational Premise of Fair ML: Unification, Extension, and Interpretation of Group Fairness Metrics.	CoRR	2022	DBLP DOI BibTeX RDF
16	Jim de Groot	Non-distributive positive logic as a fragment of first-order logic over semilattices.	CoRR	2022	DBLP DOI BibTeX RDF
16	Ezra Schoen	Lax Liftings and Lax Distributive Laws.	ACT	2022	DBLP DOI BibTeX RDF
16	Takanori Maehara, So Nakashima, Yutaro Yamaguchi 0001	Multiple knapsack-constrained monotone DR-submodular maximization on distributive lattice.	Math. Program.	2022	DBLP DOI BibTeX RDF
16	Maaike Zwart, Dan Marsden	No-Go Theorems for Distributive Laws.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF