Complete lattice - PDFSEARCH.IO - Document Search Engine

Complete lattice
Results: 49

#	Item
1	A COMPLETE WORST-CASE ANALYSIS OF KANNAN’S SHORTEST LATTICE VECTOR ALGORITHM ´† GUILLAUME HANROT∗ AND DAMIEN STEHLE Abstract. Computing a shortest nonzero vector of a given euclidean lattice and computing a closes Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2010-11-22 05:03:50
2	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
3	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
4	A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering Muhammad U.Bhatti∗ , Nicolas Anquetil∗ , Marianne Huchard† , and St´ephane Ducasse∗ ∗ RMoD Project-Team INRIA - Lille Nord Eu Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Lie groups Data mining Formal concept analysis Machine learning Ontology Complete lattice Lattice Object-oriented programming Algebraic structure Software design pattern Object Process Methodology
5	Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:22 Algebra Mathematics Abstract algebra Boolean algebra Algebraic logic Algebraic structures Lattice theory Algebra over a field Heyting algebra Complete Boolean algebra
6	Lattice valued identities ˇ selja and A. Tepavˇcevi´c B. Seˇ Blast 2010 Boulder, June 6., 2009. Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:33:12 Algebra Abstract algebra Mathematics Lattice theory Algebraic structures Crystallography Lattice Complete lattice Brillouin zone
7	Denitions and construction Topologies on canonical extensions Subspace topologies Canonical extensions of lattices Andrew Craig Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-11 23:50:49 Lattice theory Lattice Complete lattice Dual space Distributive lattice Topological space Congruence lattice problem
8	In this chapter the term join-semilattice means join-semilattice with least element ?. Denition 1. A co-frame is the same as a complete co-brouwerian lattice. [TODO: move it above in the book and use it when appropriate Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-12-26 09:16:22
9	Lattice Engines Media Kit Boilerplate Lattice’s complete set of marketing and sales applications predicts who will buy, what they are likely to buy and when. As the market leader, Lattice’s proven applications combin Add to Reading List Source URL: www.lattice-engines.com Language: English - Date: 2015-05-22 11:55:30
10	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics