LEADER 03922nam 2200673 a 450 001 9910459204103321 005 20191030193359.0 010 $a1-282-64501-3 010 $a9786612645013 010 $a1-4008-3463-5 024 7 $a10.1515/9781400834631 035 $a(CKB)2670000000031649 035 $a(EBL)557127 035 $a(OCoLC)650313764 035 $a(SSID)ssj0000412478 035 $a(PQKBManifestationID)11294115 035 $a(PQKBTitleCode)TC0000412478 035 $a(PQKBWorkID)10383848 035 $a(PQKB)11787871 035 $a(MiAaPQ)EBC557127 035 $a(MdBmJHUP)muse36839 035 $a(DE-B1597)446701 035 $a(OCoLC)979779658 035 $a(DE-B1597)9781400834631 035 $a(PPN)158457439 035 $a(Au-PeEL)EBL557127 035 $a(CaPaEBR)ebr10395883 035 $a(CaONFJC)MIL264501 035 $a(EXLCZ)992670000000031649 100 $a20100120d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aBanking on the future$b[electronic resource] $ethe fall and rise of central banking /$fHoward Davies, David Green 205 $aCourse Book 210 $aPrinceton $cPrinceton University Press$dc2010 215 $a1 online resource (337 p.) 300 $aDescription based upon print version of record. 311 $a0-691-13864-8 320 $aIncludes bibliographical references (p. 301-316) and index. 327 $aWhat is central banking and why is it important? -- Monetary stability -- Financial stability -- Financial infrastructure -- Asset prices -- Structure, status, and accountability -- Europe : a special case -- Central banking in emegering market countries -- Financial resources, costs, and efficiency -- International cooperation -- Leadership -- An agenda for change. 330 $aThe crash of 2008 revealed that the world's central banks had failed to offset the financial imbalances that led to the crisis, and lacked the tools to respond effectively. What lessons should central banks learn from the experience, and how, in a global financial system, should cooperation between them be enhanced? Banking on the Future provides a fascinating insider's look into how central banks have evolved and why they are critical to the functioning of market economies. The book asks whether, in light of the recent economic fallout, the central banking model needs radical reform. Supported by interviews with leading central bankers from around the world, and informed by the latest academic research, Banking on the Future considers such current issues as the place of asset prices and credit growth in anti-inflation policy, the appropriate role for central banks in banking supervision, the ways in which central banks provide liquidity to markets, the efficiency and cost-effectiveness of central banks, the culture and individuals working in these institutions, as well as the particular issues facing emerging markets and Islamic finance. Howard Davies and David Green set out detailed policy recommendations, including a reformulation of monetary policy, better metrics for financial stability, closer links with regulators, and a stronger emphasis on international cooperation. Exploring a crucial sector of the global economic system, Banking on the Future offers new ideas for restoring financial strength to the foundations of central banking. 606 $aBanks and banking, Central 606 $aMonetary policy 608 $aElectronic books. 615 0$aBanks and banking, Central. 615 0$aMonetary policy. 676 $a332.1/1 700 $aDavies$b H$g(Howard),$f1951-$089631 701 $aGreen$b David$f1946-$01045069 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459204103321 996 $aBanking on the future$92471041 997 $aUNINA LEADER 05136nam 2200613Ia 450 001 9910831082303321 005 20230421044547.0 010 $a1-281-76385-3 010 $a9786611763855 010 $a3-527-61202-5 010 $a3-527-61201-7 035 $a(CKB)1000000000376241 035 $a(EBL)482209 035 $a(OCoLC)261349542 035 $a(SSID)ssj0000192474 035 $a(PQKBManifestationID)11167603 035 $a(PQKBTitleCode)TC0000192474 035 $a(PQKBWorkID)10187321 035 $a(PQKB)10682097 035 $a(MiAaPQ)EBC482209 035 $a(EXLCZ)991000000000376241 100 $a19980915d1998 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLime and limestone$b[electronic resource] $echemistry and technology, production and uses /$fJ.A.H. Oates 210 $aWeinheim, Federal Republic of Germany ;$aNew York $cWiley-VCH$dc1998 215 $a1 online resource (474 p.) 300 $aDescription based upon print version of record. 311 $a3-527-29527-5 320 $aIncludes bibliographical references and index. 327 $aLime and Limestone; Contents; 32 Other Uses of Quick and Slaked Lime; 1.1 Introduction; 1.1 General; 1.2 Importance of Lime and Limestone; 1.3 History [1.1-1.3]; 1.4 References; Part 1 Production of Limestone; 2 Formation, Classification and Occurrence of Limestone; 2.1 Formation of Limestone; 2.2 Classification of Limestones; 2.3 Occurrence of Limestones; 2.4 References; 3 Physical and Chemical Properties of Limestone; 3.1 Physical Properties; 3.2 Chemical Properties; 3.3 Impurities; 3.4 References; 4 Prospecting and Quarrying; 4.1 Introduction; 4.2 Prospecting; 4.3 Quarrying; 4.4 Loading 327 $a4.5 Hauling4.6 Current Trends in Quarrying; 4.7 Dimension Stone; 4.8 References; 5 Processing and Dispatch of Limestone; 5.1 Introduction; 5.2 Crushing; 5.3 Pulverising and Grinding; 5.4 Production of Precipitated Calcium Carbonate; 5.5 Sizing; 5.6 Benefication; 5.7 Storage and Loading Out; 5.8 Transport; 5.9 Specifications; 5.10 References; 6 Sampling and Testing of Limestone; 6.1 Introduction; 6.2 Sampling; 6.3 Sample Preparation; 6.4 Testing; 6.5 CEN Standards for Test Methods; 6.6 References; Part 2 Uses and Specifications of Limestone 327 $a7 Overview and Economic Aspects of the Limestone Market7.1 General; 7.2 Market Overview; 7.3 Economic Aspects; 7.4 References; 8 Construction and Building; 8.1 Introduction; 8.2 Specifications and Test Methods; 8.3 Aggregates for Concrete; 8.4 Sand for Mortars; 8.5 Unbound Aggregates for Roads; 8.6 Aggregates for Asphalts; 8.7 Other Applications; 8.8 CEN Standards for Aggregates; 8.9 References; 9 Use of Limestone in Cement Production; 9.1 Introduction; 9.2 Portland Cement Production; 9.3 Composite Cements; 9.4 Masonry Cements; 9.5 Calcium Aluminate Cements; 9.6 References 327 $a10 The Use of Limestone in Agriculture10.1 Introduction; 10.2 Arable Land and Pasture; 10.3 Fertilisers; 10.4 Animal Feedstuffs; 10.5 Poultry Grits; 10.6 Neutralising Acid Rainfall; 10.7 References; 11 Use of Limestone in Refining Metals; 11.1 The Production of Iron; 11.2 Open Hearth Steelmaking; 11.3 Smelting; 11.4 The Production of Alumina; 11.5 References; 12 Other Uses of Limestone; 12.1 Introduction; 12.2 Glass Manufacture; 12.3 Ceramics; 12.4 Mineral Wool; 12.5 Acid Gas Removal; 12.6 Sulfite Process for Paper Pulp; 12.7 Production of Organic Chemicals; 12.8 "Rock Dust" for Mines 327 $a12.9 Fillers and Extenders12.10 Water Treatment; 12.11 Sodium Dichromate; 12.12 Calcium Zirconate; 12.13 References; Part 3 Production of Quicklime; 13 Physical and Chemical Properties of Quicklime; 13.1 Physical Properties; 13.2 Chemical Properties; 13.3 References; 14 Raw Materials for Lime Burning (Limestone, Fuel and Refractories); 14.1 General; 14.2 Limestone; 14.3 Fuel; 14.4 Refractory Linings; 14.5 References; 15 Calcination of Limestone; 15.1 Introduction; 15.2 The Chemical Reactions; 15.3 Kinetics of Calcination; 15.4 Sintering of High-calcium Quicklime 327 $a15.5 Sintering of Calcined Dolomite 330 $aModern uses of traditional materials 'Lime and Limestone' is a comprehensive and up-to-date presentation of the main scientific and technological aspects of the quarrying, processing, calcining and slaking of lime and limestone products. It places emphasis on how the processes are designed to ensure that the products meet market requirements and comply with customer specifications. It describes authoritatively, and in detail, the current uses in the many market segments, including:iron, steel and other metals,building, construction and cement,water, sewage and enviro 606 $aLime 606 $aLimestone 615 0$aLime. 615 0$aLimestone. 676 $a553.51 676 $a622.3516 700 $aOates$b J. A. H$g(Joseph A. H.)$01343405 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910831082303321 996 $aLime and limestone$93067722 997 $aUNINA LEADER 06832nam 22007455 450 001 9910768186203321 005 20251116233942.0 010 $a9786610307975 010 $a3-540-24609-6 024 7 $a10.1007/b94792 035 $a(CKB)1000000000210122 035 $a(SSID)ssj0000193885 035 $a(PQKBManifestationID)11167652 035 $a(PQKBTitleCode)TC0000193885 035 $a(PQKBWorkID)10226699 035 $a(PQKB)11788250 035 $a(DE-He213)978-3-540-24609-1 035 $a(MiAaPQ)EBC3087636 035 $a(PPN)155197975 035 $a(BIP)9445651 035 $a(EXLCZ)991000000000210122 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning $e7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings /$fedited by Vladimir Lifschitz, Ilkka Niemelä 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 370 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2923 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-20721-X 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- Constraints and Probabilistic Networks: A Look At The Interface -- Toward A Universal Inference Engine -- Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative -- Regular Papers -- Semantics for Dynamic Logic Programming: A Principle-Based Approach -- Probabilistic Reasoning With Answer Sets -- Answer Sets: From Constraint Programming Towards Qualitative Optimization -- A Logic of Non-monotone Inductive Definitions and Its Modularity Properties -- Reasoning About Actions and Change in Answer Set Programming -- Almost Definite Causal Theories -- Simplifying Logic Programs Under Uniform and Strong Equivalence -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Towards Automated Integration of Guess and Check Programs in Answer Set Programming -- Graphs and Colorings for Answer Set Programming: Abridged Report -- Nondefinite vs. Definite Causal Theories -- Logic Programs With Monotone Cardinality Atoms -- Set Constraints in Logic Programming -- Verifying the Equivalence of Logic Programs in the Disjunctive Case -- Uniform Equivalence for Equilibrium Logic and Logic Programs -- Partial Stable Models for Logic Programs with Aggregates -- Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs -- Using Criticalities as a Heuristic for Answer Set Programming -- Planning with Preferences Using Logic Programming -- Planning with Sensing Actions and Incomplete Information Using Logic Programming -- Deduction in Ontologies via ASP -- Strong Equivalence for Causal Theories -- Answer Set Programming with Clause Learning -- Properties of Iterated Multiple Belief Revision -- System Descriptions -- System Description: DLV with Aggregates -- GNT ? A Solver for Disjunctive Logic Programs -- LPEQ and DLPEQ ? Translators for Automated Equivalence Testing of Logic Programs -- DLV DB : Bridging the Gap between ASP Systems and DBMSs -- Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs -- WSAT(CC) ? A Fast Local-Search ASP Solver -- Smodels with CLP?A Treatment of Aggregates in ASP -- nlp: A Compiler for Nested Logic Programming. 330 $aThe papers in this collection were presented at the 7th International Con- rence on Logic Programming and Nonmonotonic Reasoning (LPNMR-7) in Fort Lauderdale, Florida, USA, during January 6-8, 2004. The previous meetings in this series were held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, USA (1995), Dagstuhl, Germany (1997), El Paso, USA (1999), and Vienna, Austria (2001). LPNMR conferences are a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. In the 1980sresearchersworkingintheareaofnonmonotonicreasoningdiscoveredthat their formalisms could be used to describe the behavior of negation as failure in Prolog,andthe'rstLPNMRmeetingwasconvenedforthepurposeofdiscussing thisrelationship.Thisworkhasledtothecreationoflogicprogrammingsystems of a new kind, answer set solvers, and to the emergence of a new approach to solving combinatorial search problems, called answer set programming. The highlights of LPNMR-7 were three invited talks, given by Rina Dechter (University of California, Irvine), Henry Kautz (University of Washington) and Torsten Schaub (University of Potsdam). The program also included 24 regular papers selected after a rigorous review process, 8 system descriptions, and 2 panels. We would like to thank the Program Committee members and additional reviewers for careful, unbiased evaluation of the submitted papers. We are also grateful to Paolo Ferraris for help with publicizing the Call for Papers, to Fred Ho'man for help with local organizational matters, and to Matti J¨ arvisalo for help with the organization of the electronic Program Committee meeting. 410 0$aLecture Notes in Artificial Intelligence ;$v2923 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer programming 606 $aLogic, Symbolic and mathematical 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aLogic, Symbolic and mathematical. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/15 702 $aLifschitz$b Vladimir$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNiemelä$b Ilkka$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPNMR 2004 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768186203321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA