04057nam 22007455 450 99646564870331620230329194321.03-642-34005-910.1007/978-3-642-34005-5(CKB)3280000000002195(SSID)ssj0000788975(PQKBManifestationID)11518570(PQKBTitleCode)TC0000788975(PQKBWorkID)10722423(PQKB)10610766(DE-He213)978-3-642-34005-5(MiAaPQ)EBC3070430(PPN)168325934(EXLCZ)99328000000000219520121009d2012 u| 0engurnn|008mamaatxtccrRewriting Logic and Its Applications[electronic resource] 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /edited by Francisco Durán1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (VIII, 241 p. 51 illus.) Theoretical Computer Science and General Issues,2512-2029 ;7571Bibliographic Level Mode of Issuance: Monograph3-642-34004-0 Includes bibliographical references and author index.Rigorous Component-Based System Design (Invited Paper) -- Program Analysis Scenarios in Rascal -- K Framework Distilled -- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude -- Making Maude Definitions More Interactive -- Model Checking LTLR Formulas under Localized Fairness -- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude -- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude -- Order-Sorted Equality Enrichments Modulo Axioms -- Timed CTL Model Checking in Real-Time Maude -- Using Narrowing to Test Maude Specifications -- A Rule-Based Framework for Building Superposition-Based Decision Procedures.This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.Theoretical Computer Science and General Issues,2512-2029 ;7571Computer scienceSoftware engineeringComputer programmingCompilers (Computer programs)Machine theoryComputer Science Logic and Foundations of ProgrammingSoftware EngineeringProgramming TechniquesCompilers and InterpretersFormal Languages and Automata TheoryModels of ComputationComputer science.Software engineering.Computer programming.Compilers (Computer programs).Machine theory.Computer Science Logic and Foundations of Programming.Software Engineering.Programming Techniques.Compilers and Interpreters.Formal Languages and Automata Theory.Models of Computation.005.101/5113Durán Franciscoedthttp://id.loc.gov/vocabulary/relators/edtWRLA 2012BOOK996465648703316Rewriting logic and its applications2247230UNISA05633nam 22008295 450 991103166710332120251001130426.03-032-01506-510.1007/978-3-032-01506-8(CKB)41520901800041(MiAaPQ)EBC32323410(Au-PeEL)EBL32323410(DE-He213)978-3-032-01506-8(OCoLC)1543219392(EXLCZ)994152090180004120251001d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAdvances in Lichens and Non-Flowering Plants Fungal Endophytes Research Volume 1: Biodiversity and Ecological Perspective /edited by Ahmed M. Abdel-Azeem, Francesca Degola1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (553 pages)Fungal Biology,2198-77853-032-01505-7 The Fungal endophytes a dilemma -- Endophytic fungi from lichens and non-flowering plants Biodiversity and Ecological Prospects -- Diversity and distribution patterns of Endolichenic fungi -- Diversity of Endophytic Fungi of Saxicolous Lichens -- Endolichenic fungi the lesser known fungal associates of lichens -- Diversity of Culturable Endophytic Fungi Associated with Bryophytes -- The diversity of endophytic fungi in the Lycopodium species -- Fungal Endophytes a continuous interaction with Land Plant Evolution -- Discovery of Endo Fungi within Water Ferns Community Analyses Based on High Throughput Sequencing -- Diversity of aquatic hyphomycetes as root endophytes hosted Pteridophytic plants Arbuscular mycorrhiza of Pteridophytes and Gymnosperms diversity and plant microbes interaction -- Exploring Endophytic Fungal Biodiversity in Different Coniferous Species -- Temporal variations in endophytic fungal assemblages of Ginkgo biloba -- Diversity of Endophytic Fungi of Common Yew Taxus baccata L -- Biodiversity of Algicolus Fungi Related with Macroalgae Seaweeds -- Effect of Host Environment and climate change on Fungal Endophytic Communities appealing.Advances in Lichens and Non-Flowering Plants Fungal Endophytes Research provides a better understanding of endophytic fungal diversity from lichens and non-flowering plants, and their applications. Beneficial plant-colonizing fungi deliver benefits to their hosts by promoting growth, producing secondary metabolites, and enhancing resistance to biotic and abiotic stresses. Mycorrhizae and endophytic fungi are the hidden companions of plants, living a mutually beneficial life inside the host plant. With the development of techniques of molecular biology, it has become possible to establish the correct identity of these fungi, and to know their interactions with the host and other micro-organisms. The unique attributes of fungi thus herald great promise for their application in biotechnology and industry. Fungi can be grown with relative ease, making production at scale viable. The search for fungal biodiversity, and the constructionof a living fungi collection, have both incredible economic potential in locating organisms with novel biotechnological uses that will lead to novel products. Fungi have provided the world with penicillin, lovastatin, and other globally significant medicines, and they remain an untapped resource with enormous industrial potential. Advances in Lichens and Non-Flowering Plants Fungal Endophytes Research, Volume 1 explores the biodiversity and the ecological perspective of these fungi. It includes discussion of distribution patterns, saxicolous lichens, lesser-known lichens, fungi in the Amazon forest, hosted medical ferns, conifers, aquatic plants, gymnosperm trees, as well as specific studies on Ginkgo biloba, and the common Yew. A companion Volume 2 discusses bioprospecting for biomolecules and their applications in the medical, agricultural, and food industries. It should be useful to researchers and students studying fungal biology,biotechnology, microbiology, agriculture, molecular biology, environmental biology, and related subjects.Fungal Biology,2198-7785FungiMycologyMicrobiologyBiotechnologyBiologyTechniqueMedicineResearchBiologyResearchMetabolism, SecondaryPlantsBotanical chemistryFungiBiotechnologyBiological TechniquesBiomedical ResearchPlant Secondary MetabolismPlant BiochemistryFungi.Mycology.Microbiology.Biotechnology.BiologyTechnique.MedicineResearch.BiologyResearch.Metabolism, Secondary.Plants.Botanical chemistry.Fungi.Biotechnology.Biological Techniques.Biomedical Research.Plant Secondary Metabolism.Plant Biochemistry.579.5Abdel-Azeem Ahmed M1850092Degola Francesca1850093MiAaPQMiAaPQMiAaPQBOOK9911031667103321Advances in Lichens and Non-Flowering Plants Fungal Endophytes Research4443058UNINA