| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910761201403321 |
|
|
Titolo |
Rapporto 2023 : la conoscenza nel tempo della complessità : educazione e formazione nelle democrazie del XXI secolo / Italiadecide |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bologna, : il Mulino, 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143867603321 |
|
|
Titolo |
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings / / edited by Stuart Anderson, Massimo Felici, Bev Littlewood |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2003.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 426 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2788 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computers, Special purpose |
Coding theory |
Information theory |
Computer logic |
Management information systems |
Computer science |
Software Engineering/Programming and Operating Systems |
Special Purpose and Application-Based Systems |
Coding and Information Theory |
Logics and Meanings of Programs |
|
|
|
|
|
|
|
|
|
|
|
|
Management of Computing and Information Systems |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Keynote Talk -- Issues in Safety Assurance -- Formal Methods -- Elicitation and Validation of Graphical Dependability Models -- Visual Modeling and Verification of Distributed Reactive Systems -- Automatic Timeliness Verification of a Public Mobile Network -- Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform -- Design for Dependability -- Integrity Static Analysis of COTS/SOUP -- Safety Lifecycle for Developing Safety Critical Artificial Neural Networks -- Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks -- A Dependability Model for Domestic Systems -- Security and Formal Methods -- Modelling and Verification of Layered Security Protocols: A Bank Application -- A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity -- Software Tamper Resistance Using Program Certificates -- Keynote Talk -- Developing High Assurance Systems: On the Role of Software Tools -- Dependability and Performance Analysis -- Web Service Availability – Impact of Error Recovery -- A Unified Tool for Performance Modelling and Prediction -- Dependability of Medical Systems -- An Approach to Trust Case Development -- Reliable Data Replication in a Wireless Medical Emergency Network -- Critical Feature Analysis of a Radiotherapy Machine -- Fault Tolerance -- Byzantine Fault Tolerance, from Theory to Reality -- Redundancy Management for Drive-by-Wire Computer Systems -- Fault-Tolerant Communication System to Improve Safety in Railway Environments -- Dependable Communication Synthesis for Distributed Embedded Systems -- Tools for Dependable Design -- Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW -- On the Role of Traceability for Standards Compliance: Tracking Requirements to Code -- Tools Supporting the Communication of Critical Domain Knowledge in High-Consequence Systems Development -- Dependability of Critical Infrastructures -- Security Policy Configuration Issues in Grid Computing Environments -- Dependability and Survivability of Large Complex Critical Infrastructures -- Hazard and Safety Analysis -- Safety Assessment of Experimental Air Traffic Management Procedures -- The Application of Causal Analysis Techniques for Computer-Related Mishaps -- Reuse in Hazard Analysis: Identification and Support -- Design for Dependability -- The Characteristics of Data in Data-Intensive Safety-Related Systems -- Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross- |
|
|
|
|
|
|
|
|
|
|
|
|
|
fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910973068003321 |
|
|
Titolo |
Mycorrhiza : State of the Art, Genetics and Molecular Biology, Eco-Function, Biotechnology, Eco-Physiology, Structure and Systematics / / edited by Ajit Varma |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-281-77407-3 |
9786611774073 |
3-540-78826-3 |
|
|
|
|
|
|
|
|
Edizione |
[3rd ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (820 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Microbiology |
Microbial genetics |
Botany |
Biotechnology |
Forests and forestry |
Physical geography |
Microbial Genetics |
Plant Science |
Forestry |
Earth System Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
State of the Art -- Mycorrhizal Fungi: What We Know and What Should We Know? -- Diversity, Function and Potential Applications of the Root-Associated Endophytes -- Structure, Extent and Functional Significance of Belowground Arbuscular Mycorrhizal Networks -- Foraging for Resources in Arbuscular Mycorrhizal Fungi: What is an Obligate Symbiont Searching for and How is it Done? -- Global Diversity Patterns of Arbuscular Mycorrhizal Fungi–Community Composition and Links with Functionality -- Mycorrhiza Helper Bacteria -- Genetics and Molecular Biology -- Genomic Organization and Mechanisms of Inheritance in Arbuscular Mycorrhizal Fungi: Contrasting the Evidence and Implications of Current Theories -- Ectomycorrhiza and Water Transport -- Hypogeous Pezizaceae: Physiology and Molecular Genetics -- Evaluation of the Possible Participation of Drought-induced Genes in the Enhanced Tolerance of Arbuscular Mycorrhizal Plants to Water Deficit -- Eco-Function -- The Beneficial Effect of Mycorrhizae on N Utilization by the Host-Plant: Myth or Reality? -- Ion Dynamics During the Polarized Growth of Arbuscular Mycorrhizal Fungi: From Presymbiosis to Symbiosis -- Arbuscular Mycorrhiza in Metal Hyperaccumulating Plants -- Mycorrhizal Fungi and Other Root Endophytes as Biocontrol Agents Against Root Pathogens -- The Biocontrol Effect of Mycorrhization on Soilborne Fungal Pathogens and the Autoregulation of the AM Symbiosis: One Mechanism, Two Effects? -- Resource Partitioning Between Extraradical and Intraradical AM Fungal Mycelium -- Ozone Stress and Ectomycorrhizal Root–Shoot Signaling -- Biotechnology -- From Production to Application of Arbuscular Mycorrhizal Fungi in Agricultural Systems: Requirements and Needs -- Agronomic Management of Indigenous Mycorrhizas -- AM Inoculation in TropicalAgriculture: Field Results -- The International Market Development for Mycorrhizal Technology -- Why and How Using Micropropagated Trees rather than Germinations for Controlled Synthesis of Ectomycorrhizal Associations? -- Biotechnology and Cultivation of Desert Truffles -- The Fungal Transmitted Viruses -- Eco-Physiology -- Intertwined Existence: The Life of Plant Symbiotic Fungi in Agricultural Soils -- Macroecology of Microbes – Biogeography of the Glomeromycota -- Arbuscular Mycorrhiza of Endangered Plant Species: Potential Impacts on Restoration Strategies -- Community Developmental Patterns and Ecological Functions of Ectomycorrhizal Fungi: Implications from Primary Succession -- Colonization of Plant Roots by Pseudomonads and AM Fungi: A Dynamic Phenomenon, Affecting Plant Growth and Health -- In vitro Cultures Open New Prospects for Basic Research in Arbuscular Mycorrhizas -- Interactions of Piriformospora indica with Medicinal Plants -- In vivo Assessment of Stress Impact on Plant’s Vitality: Applications in Detecting and Evaluating the Beneficial Role of Mycorrhization on Host Plants -- Structure and Systematics -- Edible Mycorrhizal Fungi: Identification, Life Cycle and Morphogenesis -- Arbuscular Mycorrhiza in Physiological and Morphological Adaptations of Mediterranean Plants -- Novel Symbiotrophic Endophytes -- Frankia Nodulation, Mycorrhization and Interactions Between Frankia and Mycorrhizal Fungi in Casuarina Plants. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This third updated and revised edition emphasises strongly on genetics and molecular biology. It contains new chapters, which are written by the leading experts in their respective field of knowledge and expertise. Mycorrhizas are symbioses between fungi and the roots of higher |
|
|
|
|
|
|
|
|
|
|
plants. As more than 90% of all known species of plants have the potential to form mycorrhizal associations, the productivity and species composition and the diversity of natural ecosystems are frequently dependent upon the presence and activity of mycorrhizas. The biotechnological application of mycorrhizas is expected to promote the production of food while maintaining ecologically and economically sustainable production systems. |
|
|
|
|
|
| |