LEADER 02928nam 2200565Ia 450 001 9910779507603321 005 20200520144314.0 010 $a1-61324-757-5 035 $a(CKB)2550000001041160 035 $a(EBL)3018127 035 $a(SSID)ssj0000835834 035 $a(PQKBManifestationID)11458162 035 $a(PQKBTitleCode)TC0000835834 035 $a(PQKBWorkID)10998056 035 $a(PQKB)10696593 035 $a(MiAaPQ)EBC3018127 035 $a(Au-PeEL)EBL3018127 035 $a(CaPaEBR)ebr10659049 035 $a(OCoLC)923657237 035 $a(EXLCZ)992550000001041160 100 $a20101117d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aNiobium$b[electronic resource] $eproperties, production, and applications /$fThomas M. Wong, editor 210 $aNew York $cNova Science Publishers$dc2011 215 $a1 online resource (459 p.) 225 0 $aChemical engineering methods and technology 300 $aDescription based upon print version of record. 311 $a1-61122-895-6 320 $aIncludes bibliographical references and index. 327 $a""THOMAS M. WONG""; ""CONTENTS""; ""PREFACE""; ""THE ROLE OF NIOBIUM SPECIES IN HETEROGENEOUS CATALYSIS - SELECTED ASPECTS""; ""STUDIES ON NOVEL SOLID ACID CATALYSTS OF NIOBIUM-BASED OXIDES WITH MESOPOROUS, LAYERED AND NANOSHEET STRUCTURES""; ""NIOBIUM OXIDE COMPOUNDS: SYNTHESIS, PROPERTIES AND APPLICATIONS""; ""GEOCHEMISTRY OF NB AND VARIATIONS OF NB/TA RATIO IN GEOLOGICAL SYSTEMS""; ""DENSIFICATION OF IN SITU CU-NBC COMPOSITE USING UNIAXIAL AND COLD ISOSTATIC PRESSING""; ""NIOBIUM POWDERS: USES AND PROCESS DEVELOPMENTS FOR THEIR PRODUCTION"" 327 $a""IMPROVEMENT OF THE ELECTROCHEMICAL BEHAVIOR OF AISI 4140 STEEL SUBSTRATE USING [TICN/TINBCN]N MULTILAYERS SYSTEM""""NIOBIUM DISTRIBUTION PATTERN IN RARE-METAL-BEARING PALAEOPROTEROZOIC CO-GENETIC FELSIC ROCKS AND MINERALS IN CENTRAL INDIA""; ""NIOBIUM IN OXALATE COMPLEXES: FROM DISCRETE MOLECULES TO HETEROMETALLIC SUPRAMOLECULAR STRUCTURES""; ""A NOVEL AMPEROMETRIC TRANSDUCER ELECTRODE WITH IRIDIUM-NIOBIUM BINARY ALLOYS""; ""NIOBATE CRYSTALS INSERTED IN A GLASS MATRIX""; ""USE OF NIOBIUM FOR FABRICATING SUPERCONDUCTING RADIO FREQUENCY CAVITIES"" 327 $a""INVESTIGATION OF SURFACE TREATMENTS OF NIOBIUM FLAT SAMPLES AND SRF CAVITIES BY GAS CLUSTER ION BEAM TECHNIQUE FOR PARTICLE ACCELERATORS""""ELECTRODEPOSITION OF NIOBIUM FROM MOLTEN SALTS""; ""INDEX"" 410 0$aChemical Engineering Methods and Technology 606 $aNiobium 606 $aTransition metals 615 0$aNiobium. 615 0$aTransition metals. 676 $a546/.524 701 $aWong$b Thomas M$01481253 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779507603321 996 $aNiobium$93698110 997 $aUNINA LEADER 04006oam 2200589I 450 001 9910959497703321 005 20251117110920.0 010 $a1-77463-098-2 010 $a0-429-17378-4 010 $a1-4987-0130-2 024 7 $a10.1201/b18038 035 $a(CKB)2670000000567655 035 $a(EBL)1693613 035 $a(SSID)ssj0001467297 035 $a(PQKBManifestationID)11815477 035 $a(PQKBTitleCode)TC0001467297 035 $a(PQKBWorkID)11504390 035 $a(PQKB)11774529 035 $a(MiAaPQ)EBC1693613 035 $a(OCoLC)904185120 035 $a(EXLCZ)992670000000567655 100 $a20180331h20152015 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aClimate dynamics in horticultural science /$fedited by M.L. Choudhary, PhD, V.B. Patel, PhD, Mohammed Wasim Siddiqui, PhD, and Syed Sheraz Mahdi, PhD 205 $a1st ed. 210 1$aBoca Raton :$cCRC Press,$d[2015] 210 4$dİ2015 215 $a1 online resource (370 p.) 300 $aDescription based upon print version of record. 311 08$a1-322-99870-1 311 08$a1-77188-070-8 320 $aIncludes bibliographical references at the end of each chapters. 327 $aCover; About the Editors; Contents; List of Contributors; List of Abbreviations; Preface; Chapter 1: Global Climate Change and Indian Horticulture; Chapter 2: Climate Change Prediction: Uncertainties and Accuracies; Chapter 3: Climate Change and Rainfed Horticulture; Chapter 4: Climate Resilient Horticulture Based Agrarian Livelihood in the Eastern Region; Chapter 5: Climate Resilient Horticulture for North Eastern India; Chapter 6: Climatic Issues Affecting Sustainable Litchi (Litchi chinensis Sonn.) Production in Eastern India; Chapter 7: Climate Change Resilient Island Horticulture 327 $aChapter 8: Global Climate Change: Myth, Reality and MitigationChapter 9: Nanotechnology, Plant Nutrition and Climate Change; Chapter 10: Phytopathosystem Modification in Response to Climate Change; Chapter 11: Soil Fertility Dynamics vis-a?-vis Climate Change in Citrus; Chapter 12: Soil Solarization and Moisture Conservation Practices to Combat Climate Change; Chapter 13: BiocharTechnology for Sustainable Horticulture; Chapter 14: Mycorrhizal Fungi in Sustainable Horticultural Production under Changing Climate Situations; Chapter 15: Impact of Climate Change on Plant Pathogens 327 $aChapter 16: Quality of Fruits in the Changing ClimateChapter 17: Homa Therapy an Effective Tool in Mitigating Soil, Water and Environmental Crises; Chapter 18: Awareness about Climate Change: Perception and Action; Chapter 19: Climate Change and Indian Agriculture; Chapter 20: Climate Change: Impact on Pollinators' Biodiversity in Vegetable Crops; Chapter 21: Climate Change Impacts on Field and Horticultural Crops with Special Reference to Bihar, Possible Adaptation Strategies and Mitigation Options; Back Cover 330 $aClimate change and increased climate variability in terms of rising temperatures, shifting rainfall patterns, and increasing extreme weather events, such as severe drought and devastating floods, pose a threat to the production of agricultural and horticultural crops-a threat this is expected to worsen. Climate change is already affecting-and is likely to increase-invasive species, pests, and disease vectors, all adversely affecting agri-horticultural crop productivity. Advances in agricultural knowledge, science, and technology will be required to develop improved crop traits, such as tempera 606 $aCrops and climate 606 $aHorticultural crops 615 0$aCrops and climate. 615 0$aHorticultural crops. 676 $a630.12093458 702 $aChoudhary$b M. L.$f1953- 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910959497703321 996 $aClimate dynamics in horticultural science$94486785 997 $aUNINA LEADER 04838nam 22007335 450 001 996691668403316 005 20251008131414.0 010 $a3-032-07021-X 024 7 $a10.1007/978-3-032-07021-0 035 $a(CKB)41571991000041 035 $a(MiAaPQ)EBC32333436 035 $a(Au-PeEL)EBL32333436 035 $a(DE-He213)978-3-032-07021-0 035 $a(OCoLC)1549524162 035 $a(EXLCZ)9941571991000041 100 $a20251008d2026 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e18th International Conference, CICM 2025, Brasilia, Brazil, October 6?10, 2025, Proceedings /$fedited by Valeria de Paiva, Peter Koepke 205 $a1st ed. 2026. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026. 215 $a1 online resource (805 pages) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v16136 311 08$a3-032-07020-1 327 $a -- Automated Reasoning. -- Hammering Higher Order Set Theory. -- Synthesis Benchmarks for Automated Reasoning. -- Automated Symmetric Constructions in Discrete Geometry. -- Formal Libraries. -- Growing Mathlib: Maintenance of a Large Scale Mathematical Library. -- Exploring Formal Math on the Blockchain: An Explorer for Proofgold. -- Supporting Maintenance of Formal Mathematics with Similarity Search. -- Logical and Linguistic Foundations. -- Graded Quantitative Narrowing. -- Equational Generalization Problems with Atom-Variables. -- Extending Flexible Boolean Semantics for the Language of Mathematics. -- A Formal Definition of an Algorithm Suitable for Parsing the Language of Mathematics. -- Mathematical Knowledge Management. -- Reaping the Benefits of Modularization in Flexiformal Mathematics by GFbased AST Transformations. -- Semantic Authoring in a Flexiformal Context ? Bulk Annotation of Rigorous Documents. -- Michael Kohlhase and Jan Frederik Schaefer Lightweight Realms. -- Indexing and Retrieval in a Heterogeneous Formal Library. -- Neural Language Models. -- Exploring Proof Autoformalization with Mistral on Herald. -- Boosting Math Problem Solving in Small LLMs via Ensembles. -- Proof Assistants and Formalizations. -- Formalizing a Classification Theorem for Low-Dimensional Solvable Lie Algebras in Lean. -- Certified Algorithms for Numerical Semigroups in Rocq. -- Formalizing the Solow Model in Naproche. -- Formalizing MLTL Formula Progression in Isabelle/HOL. -- Formalising Fairness in the Assignment Problem with Ordinal Preferences in Isabelle/HOL. -- A PVS Library on the Infinitude of Primes. -- Vector Graphics through Category Theory. -- A Lean-Based Language for Teaching Proof in High School. 330 $aThis book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6?11, 2025. The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v16136 606 $aArtificial intelligence 606 $aMachine theory 606 $aSocial sciences$xData processing 606 $aEducation$xData processing 606 $aAlgorithms 606 $aApplication software 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aComputer Application in Social and Behavioral Sciences 606 $aComputers and Education 606 $aDesign and Analysis of Algorithms 606 $aComputer and Information Systems Applications 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aSocial sciences$xData processing. 615 0$aEducation$xData processing. 615 0$aAlgorithms. 615 0$aApplication software. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer Application in Social and Behavioral Sciences. 615 24$aComputers and Education. 615 24$aDesign and Analysis of Algorithms. 615 24$aComputer and Information Systems Applications. 676 $a006.3 700 $aDe Paiva$b Valeria$00 701 $aKoepke$b Peter$0735952 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996691668403316 996 $aIntelligent Computer Mathematics$94466468 997 $aUNISA