02487nam 2200601Ia 450 991045555040332120200520144314.0981-283-455-9(CKB)1000000000766724(EBL)1193579(SSID)ssj0000517210(PQKBManifestationID)12181152(PQKBTitleCode)TC0000517210(PQKBWorkID)10487198(PQKB)11534460(MiAaPQ)EBC1193579(WSP)00007007(Au-PeEL)EBL1193579(CaPaEBR)ebr10688172(CaONFJC)MIL491737(OCoLC)820944613(EXLCZ)99100000000076672420080721d2008 uy 0engur|n|---|||||txtccrAxioms for lattices and boolean algebras[electronic resource] /R. Padmanabhan, S. RudeanuHackensack, NJ World Scientificc20081 online resource (228 p.)Description based upon print version of record.981-283-454-0 Includes bibliographical references (p. 193-210) and index.1. Semilattices and lattices -- 2. Modular lattices -- 3. Distributive lattices -- 4. Boolean algebras -- 5. Further topics and open problems.The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of "join and meet" or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems.A new topic in tLattice theoryAlgebra, BooleanAxiomsElectronic books.Lattice theory.Algebra, Boolean.Axioms.511.33Padmanabhan R(Ranganathan),1938-887924Rudeanu Sergiu42033MiAaPQMiAaPQMiAaPQBOOK9910455550403321Axioms for lattices and boolean algebras1983333UNINA01890nam 2200433z- 450 9910917177903321202102121000007363(CKB)4920000000094509(oapen)https://directory.doabooks.org/handle/20.500.12854/61860(oapen)doab61860(EXLCZ)99492000000009450920202102d2007 |y 0gerurmn|---annantxtrdacontentcrdamediacrrdacarrierVariance Component Estimation for Combination of Terrestrial Reference FramesKIT Scientific Publishing20071 online resource (IX, 69 p. p.)Schriftenreihe des Studiengangs Geodäsie und Geoinformatik / Universität Karlsruhe (TH), Studiengang Geodäsie und Geoinformatik3-86644-206-8 Combining Terrestrial Reference Frames (TRFs) to frames of superior quality (like the ITRF) usually involves homogenisation by an empirical weighting scheme. Different approaches on variance component estimation have been evaluated for this purpose. The statistically rigorous Helmert estimator has been compared with two other methods: the degree of freedom method and a simplified, approximate estimator. Tests have been performed, covering two elementary types of combinations.PhysicsbicsscGeodesyGPSITRFLeast Squares AdjustmentReference SystemsSLRVariance Component EstimationVLBIPhysicsBähr HermannAltamimi, ZuheirHeck, Bernhardauth1780318BOOK9910917177903321Variance Component Estimation for Combination of Terrestrial Reference Frames4304147UNINA