04980nam 22008295 450 991048396160332120251226200029.03-540-73859-210.1007/978-3-540-73859-6(CKB)1000000000490289(SSID)ssj0000316126(PQKBManifestationID)11247775(PQKBTitleCode)TC0000316126(PQKBWorkID)10264169(PQKB)11336642(DE-He213)978-3-540-73859-6(MiAaPQ)EBC3061789(MiAaPQ)EBC6711186(Au-PeEL)EBL6711186(OCoLC)184924039(PPN)123164028(MiAaPQ)EBC337213(BIP)32371508(BIP)14226243(EXLCZ)99100000000049028920100301d2007 u| 0engurnn|008mamaatxtccrAlgebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings /edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XI, 463 p.) Theoretical Computer Science and General Issues,2512-2029 ;4624Bibliographic Level Mode of Issuance: Monograph3-540-73857-6 Includes bibliographical references and index.Invited Talks -- Regular and Algebraic Words and Ordinals -- Logical Semantics of Types for Concurrency -- Deriving Bisimulation Congruences with Borrowed Contexts -- Symmetry and Concurrency -- Contributed Papers -- Ready to Preorder: Get Your BCCSP Axiomatization for Free! -- Impossibility Results for the Equational Theory of Timed CCS -- Conceptual Data Modeling with Constraints in Maude -- Datatypes in Memory -- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets -- Free Modal Algebras: A Coalgebraic Perspective -- Coalgebraic Epistemic Update Without Change of Model -- The Maude Formal Tool Environment -- Bifinite Chu Spaces -- Structured Co-spans: An Algebra of Interaction Protocols -- Graphical Encoding of a Spatial Logic for the ?-Calculus -- Higher Dimensional Trees, Algebraically -- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines -- Parametric (Co)Iteration vs. Primitive Direcursion -- Bisimulation for Neighbourhood Structures -- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors -- Quasitoposes, Quasiadhesive Categories and Artin Glueing -- Applications of Metric Coinduction -- The Goldblatt-Thomason Theorem for Coalgebras -- Specification-Based Testing for CoCasl’s Modal Specifications -- CIRC: A Circular Coinductive Prover -- Observing Distributed Computation. A Dynamic-Epistemic Approach -- Nabla Algebras and Chu Spaces -- An Institutional Version of Gödel’s Completeness Theorem -- Coalgebraic Foundations of Linear Systems -- Bootstrapping Types and Cotypes in HasCASL.A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.Theoretical Computer Science and General Issues,2512-2029 ;4624Computer scienceMachine theorySoftware engineeringComputer scienceMathematicsTheory of ComputationComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheorySoftware EngineeringSymbolic and Algebraic ManipulationComputer science.Machine theory.Software engineering.Computer scienceMathematics.Theory of Computation.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Software Engineering.Symbolic and Algebraic Manipulation.004.0151Mossakowski TillMontanari U(Ugo),Haveraaen MagneCALCO (Conference)MiAaPQMiAaPQMiAaPQBOOK9910483961603321Algebra and Coalgebra in Computer Science772274UNINA06527nam 22007935 450 991074322380332120260303093915.09789811688775981168877X9789811688768981168876110.1007/978-981-16-8877-5(MiAaPQ)EBC7008430(Au-PeEL)EBL7008430(CKB)23114698200041EBL7008430(AU-PeEL)EBL7008430(OCoLC)1325721132(DE-He213)978-981-16-8877-5(EXLCZ)992311469820004120220602d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFungal diversity, ecology and control management /edited by Vijay Rani Rajpal, Ishwar Singh, Shrishail S. Navi1st ed. 2022.Singapore :Springer Nature Singapore :Imprint: Springer,2022.1 online resource (634 pages)Fungal Biology,2198-7785Description based upon print version of record.Print version: Rajpal, Vijay Rani Fungal Diversity, Ecology and Control Management Singapore : Springer,c2022 9789811688768 9811688761 Chapter 1. Biology and management of spot blotch pathogen Bipolaris sorokiniana of wheat -- Chapter 2. Biology and Management of Ustilaginoidea virens Causing False Smut Disease of Rice (Oryza sativa L.) -- Chapter 3. Diversity of Some of the Major Fungal Pathogens of Soybean and Potential Management Options -- Chapter 4. Fungi and Mycotoxin in Rice: Concerns, Causes and Prevention Strategies -- Chapter 5. Bioactive profile of the wild mushroom Trogia cantharelloides -- Chapter 6. Prospects of Cordycepin and Polysaccharides produced by Cordyceps -- Chapter 7. Genome-mediated methods to unravel the native biogeographical diversity and biosynthetic potential of Trichoderma for plant health -- Chapter 8. The Diversity and Taxonomy of Phytopathogenic fungi in the genus Cladosporium from India -- Chapter 10. Diversity of Corticioid Fungi Belonging to the Family Meruliaceae in Chamba District of Himachal Pradesh -- Chapter 11. Diversity of Some Colorful Poroid and Non-poroid Agaricomyceteous Fungi and their Economic Importance -- Chapter 12. The Ganoderma: Biodiversity and Significance -- Chapter 13. Exploring Marine Fungal Diversity and their Applications in Agriculture -- Chapter 14. Arbuscular Mycorrhizal (AM) Fungal Diversity from Coastal Dunes -- Chapter 15. Facets of AM Fungi in Sequestering Soil Carbon and Improving Soil Health -- Chapter 16. Arbuscular Mycorrhizal Fungi Influence Crop Productivity, Plant Diversity and Ecosystem Services -- Chapter 17. Mycoremediation: A Natural Solution for Unnatural Problems -- Chapter 18. Fungal mediated effective exploitation of uncongenial wastes from environment -- Chapter 19. Impact of Fungi on Agriculture Production, Productivity and Sustainability -- Chapter 20. Efficacy of seed treatments with Bradyrhizobium japonicum to reduce occurrence of soybean sudden death syndrome in early-planted soybeans -- Chapter 21. Biocontrol potential of Bradyrhizobium japonicum against soybean sudden death syndrome - in irrigated and non-irrigatedfields -- Chapter 22. Fungal Biocontrol Agents- An Eco-friendly Option for the Management of Plant Diseases to Attain Sustainable Agriculture in India -- Chapter 23. Challenges and Threats Posed by Plant Pathogenic Fungi on Agricultural Productivity and Economy -- Chapter 24. Challenges Faced by Farmers in Crops Production due to Fungal Pathogens and their Effect on Indian Economy -- Chapter 25. Understanding the Various Strategies for the Management of Fungal Pathogens in Crop Plants in the Current Scenario -- Chapter 26. Molecular basis of host-pathogen interaction: An overview -- Chapter 27. Biocontrol potential of fungi for pest and pathogen management -- Chapter 28. Role of Fungal Biocontrol Agents for Sustainable Agriculture -- Chapter 29. Antagonistic Fungi against Plant Pathogens for Sustainable Agriculture.This edited volume provides comprehensive and latest information on the fungal biodiversity in its morphological characters, bioactive molecules, pathogenicity and virulence, and its impacts on crop production and sustainable management of agricultural productivity towards resolving global food security issues. The increasing number of infectious fungal diseases are regarded as threats to agricultural productivity and global food security. The efforts done by scientists to inventories the fungal diversity and identification of fungal species contributing as pathogens towards many plant and human diseases have been compiled in the present volume. The identification of the potential fungal pathogens is a prerequisite for an effective disease control management program. Also important is to understand the complex interactions between the host-pathogen and the environment. The book dwells on insights on the aforementioned aspects. The book also includes articles on ecologicalsignificance of fungi and fungal antagonists used as biocontrol agents on other pathogens. This compilation is useful to scientists working in similar areas as well as to undergraduate and graduate students keen on getting updated information on the subject. Scientists involved in agricultural research, crop management, and industries that manufacture agrochemicals may also find it useful read. .Fungal Biology,2198-7785FungiMycologyMicrobiologyEcologyFungiMicrobiologyEcologyFongsthubEcologia vegetalthubMorfologia vegetalthubLlibres electrònicsthubFungi.Mycology.Microbiology.Ecology.Fungi.Microbiology.Ecology.FongsEcologia vegetalMorfologia vegetal571.29Siṃha ĪśvaraRajpal Vijay RaniNavi Shrishail S.MiAaPQMiAaPQMiAaPQBOOK9910743223803321Fungal diversity, ecology and control management3560270UNINA