Search Results - Metroid~
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 604
- History of engineering & technology 572
- Research & information: general 551
- Education 219
- Biology, life sciences 164
- Research methods: general 164
- Medicine 146
- Sociology 130
- History: theory & methods 129
- Mathematics & science 110
- Physics 109
- Social research & statistics 108
- linguistics 97
- History 93
- Chemistry 90
- Computer science 90
- Humanities 84
- Psychology 84
- Public health & preventive medicine 83
- Society & social sciences 79
- Language teaching theory & methods 77
- Social sciences 75
- Mathematics 72
- Information technology industries 70
- Literature: history & criticism 65
- Media studies 65
- Methodology 65
- Philosophy 65
- Artificial intelligence 63
- Mechanical engineering & materials 61
-
186521
-
186522
-
186523
-
186524
-
186525
-
186526
-
186527
-
186528
-
186529
-
186530
-
186531
-
186532
-
186533
-
186534
-
186535
Biological Invasions in South Africa
Published 2020Table of Contents: “…PART 1: BACKGROUND -- Chapter 1: Biological invasions in South Africa: An overview -- Chapter 2: A brief, selective history of researchers and research initiatives related to biological invasions in South Africa -- PART 2: BIOLOGICAL INVASIONS IN SOUTH AFRICA -- Chapter 3: The biogeography of South African terrestrial plant invasions -- Chapter 4:Invasive alien aquatic plants in freshwater ecosystems -- Chapter 5: Terrestrial Vertebrate Invasions in South Africa -- Chapter 6: Alien freshwater fauna in South Africa -- Chapter 7: Alien terrestrial invertebrates in South Africa -- Chapter 8: Biological invasions in South Africa's offshore sub-Antarctic territories -- Chapter 9: Coastal invasions: The South African context -- Chapter 10: Pathogens of vertebrate animals as invasive species: Insights from South Africa -- Chapter 11: Biological invasions in South Africa's urban ecosystems: Patterns, processes, impacts and management -- PART 3: DRIVERS OF INVASION -- Chapter 12: South Africa's pathways of introduction and dispersal and how they have changed over time -- Chapter 13: The role of environmental factors in promoting and limiting biological invasions in South Africa -- Chapter 14: Biotic interactions as mediators of biological invasions: Insights from South Africa -- PART 4: IMPACTS OF INVASION -- Chapter 15:Impacts of invasions on terrestrial water resources in South Africa -- Chapter 16:The impact of invasive alien plants on rangelands in South Africa -- Chapter 17: An evaluation of the impacts of alien species on biodiversity in South Africa using different methods -- PART 5: MANAGEMENT OF INVASIONS -- Chapter 18: Biological invasion policy and legislation development and implementation in South Africa -- Chapter 19: More than a century of biological control against invasive alien plants in South Africa: a synoptic view of what has been accomplished -- Chapter 20:Analysing the risks posed by biological invasions to South Africa -- Chapter 21:The extent and effectiveness of alien plantcontrol projects in South Africa -- Chapter 22: Experience and lessons from alien and invasive animal control projects carried out in South Africa -- Chapter 23: Biological invasions and ecological restoration in South Africa -- Chapter 24: The social dimensions of biological invasions in South Africa -- Chapter 25: Education, training and capacity building in the field of biological invasions in South Africa -- PART 6: NEW INSIGHTS -- Chapter 26: South Africa as a donor of naturalized and invasive alien plants to other parts of the world -- Chapter 27: South Africa as a donor of alien animals -- Chapter 28: Knowing-doing continuum or knowing-doing gap? …”
Link to Metadata
Electronic eBook -
186536
Data Journeys in the Sciences
Published 2020Table of Contents: “…Evaluating Data Journeys: Climategate, Synthetic Data and the Benchmarking of Methods for Climate Data Processing (W Parker) -- Chapter 11. …”
Link to Metadata
Electronic eBook -
186537
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2023Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata
Electronic eBook -
186538
Contemporary Perspectives on Ageism
Published 2018Table of Contents: “…Ben-David, Gali Malkin, & Hadas Erel -- Against Ageism : Liat Ayalon & Clemens Tesch-Römer -- Ageism and Anti-Ageism in the Legal System: A Review of Key Themes: Israel Doron, Ann Numhauser-Henning, Benny Spanier, Nena Georgantzi, & Eugenio Mantovani -- The Council of Europe's Approach Towards Ageism: Barbara Mikołajczyk -- The European Union's Approach Towards Ageism: Nena Georgantzi -- Ageism and the Rights of Older People: Annika Taghizadeh Larsson & Håkan Jönson -- Educational methods using intergenerational interaction to fight ageism: María del Carmen Requena, Hannah J. …”
Link to Metadata
Electronic eBook -
186539
Interface Oral Health Science 2014 Innovative Research on Biosis-Abiosis Intelligent Interface /
Published 2015Table of Contents: “…Symposium I: Biosis-Abiosis Interface of Dental Implants -- 1 Biological events happened on the biosis-abiosis interface: Cellular responses induced by implantable electrospun nanofibrous scaffolds -- 2 Updates in Treatment Modalities and Techniques on Compromised Alveolar Ridge Augmentation for Successful Dental Implant Therapy -- 3 Surface Modification of Dental Implant Improves Implant-Tissue Interface -- 4 Oral Microbiota in Crevices around Dental Implants: Profiling of the Oral Biofilm -- Part II Symposium II: Biomaterials in Interface Science -- 5 Biofunctionalization of Metallic Materials-Creation of Biosis-Abiosis Intelligent Interface -- 6 Evaluation of photocatalytic activity of the TiO2 layer formed on Ti by thermal oxidation -- 7 Enhancing functionalities of metallic materials by controlling phase stability for use in orthopedic implants -- 8 Surface Improvement for Biocompatibility of Ti-6Al-4V by Dealloying in Metallic Melt -- 9 Chemical Vapor Deposition of Ca-P-O FilmCoating -- Part III Symposium III: Biomedical Engineering Interface -- 10 Importance of visual cues in hearing restoration by auditory prosthesis -- Part IV Symposium IV: Cell Manipulation and Tissue Regeneration -- 11 Designer supersurfaces via bioinspiration and biomimetics for dental materials and structures -- 12 Feeder Cell Sources and Feeder-Free Methods for Human iPS Cell Culture -- 13 Hydrogel-based biomimetic environment for in vitro cell and tissue manipulation -- 14 Trends in periodontal regeneration therapy: Potential therapeutic strategy of extracellular matrix administration for periodontal ligament regeneration -- Part V Poster Presentation Award Winners -- 15 Histochemical Characteristics of Glycoproteins during Rat Palatine Gland Development -- 16 The role of NFIC in regulating odontoblastic differentiation of human molar stem cells from apical papilla -- 17 Microbicidal activity of artificially generated hydroxyl radicals -- 18 High levels of saturated fatty acids may exacerbatethe pathogenesis of primary Sjögren's syndrome -- 19 Effects of carbon addition on mechanical properties and microstructures of Ni-free Co-Cr-W-based dental alloys -- 20 Periodontal disease as a possible risk factor for Alzheimer's disease -- 21 Measurement of Skin Elasticity using High Frequency Ultrasound Elastography with Intrinsic Deformation Induced by Arterial Pulsation -- Part VI Poster Presenters -- 22 Effect of macrophage colony-stimulating factor receptor c-Fms antibody on lipopolysaccharide-induced pathological osteoclastogenesis and bone resorption -- 23 The role of Th1 cytokines on mechanical loading-induced osteoclastogenesis and bone resorption -- 24 The ventral primary somatosensory cortex of the primate brain: innate neural interface for dexterous orofacial motor control -- 25 Possible roles of IL-33 in periodontal diseases: Porphyromonas gingivalis induced IL-33 in human gingival epithelial cells -- 26 Prospects for liposome-encapsulated nisin in the prevention of dental caries -- 27 Clinical chipping of zirconia all-ceramic restorations -- 28 Dentin Hypersensitivity: Etiology, prevalence and treatment modalities -- 29 Preventing Aspiration Pneumonia among the Elderly: a Review Focused on the Impact of the Consistency of Food Substances.…”
Link to Metadata
Electronic eBook -
186540
Agricultural and Forestry Reconstruction After the Great East Japan Earthquake Tsunami, Radioactive, and Reputational Damages /
Published 2015Table of Contents: “…Part I The Road to Reconstruction from the Tsunami and Radioactive Contamination: Two and a Half Years On -- 1 Dealing with Disasters of Unprecedented Magnitude: The Local Government's Tribulations and the Road to Reconstruction (Hidekiyo Tachiya) -- 2 Tokyo University of Agriculture East Japan Assistance Project Assisting with Reconstruction: Guiding Principles, Planning, and Propagation of Benefits (Toshiyuki Monma) -- 3 Characteristics of the Agricultural and Forestry Industries in the Soma Area and Damage Sustained as a Result of the Great East Japan Earthquake (Takahiro Yamada, Puangkaew Lurhathaiopath, and Toshiyuki Monma) -- Part II Reconstruction from Tsunami Damage -- 4 Reconstruction Support for the Farmland Struck by Tsunami (Itsuo Goto and Kaisei Inagaki) -- 5 Tsunami Damage to Farming Operations and the New Generation of Farmers and Farm Management (Yukio Shibuya, Takahiro Yamada, Nyamkhuu Batdelger, Puangkaew Lurhathaiopath, Gentaro Suzumura, and Toshiyuki Monma) -- 6 Presenting a Model for Revival of Rural Communities in Japan's Disaster Zones (Shigeyuki Miyabayashi, Yasushi Takeuchi, Hiromu Okazawa, Tomonori Fujikawa, and Yutaka Sasaki) -- 7 Contributing to Restoration of Tidal Flats in Miyagi Prefecture's Moune Bay Following the Great East Japan Earthquake and Tsunami (Susumu Chiba, Takeshi Sonoda, Makoto Hatakeyama, and Katsuhide Yokoyama) -- Part III Reconstruction from Radioactive Contamination -- 8 Initiatives by the Soil Fertilization Team to Develop Agricultural Technologies for Paddy Fields with Radioactive Contamination (Itsuo Goto and Kaisei Inagaki) -- 9 The Potential for Producing Rice for Feed and Whole Crop Rice Silage in Radiation-Contaminated Areas (Seiji Nobuoka) -- 10 Developing and Trialing a System to Monitor Radionuclide in Individual Plots of Farmland to Help Reconstruction Farming in Contaminated Areas (Toshiyuki Monma, Puangkaew Lurhathaiopath, Youichi Kawano, Dambii Byambasuren, Yuta Ono, and Quar Evine) -- 11 New Decontamination Methods for Parks and Other Areas in Which Radionuclide Have Accumulated (Mitsuo Kondo and Chizuko Mizuniwa) -- 12 Forest Restoration (Takahisa Hayashi) -- 13 Nuclear Radiation Levels in the Forest at Minamisoma, Fukushima Prefecture (Iwao Uehara, Tomoko Seyama, Fumio Eguchi, Ryuichi Tachibana, Yukito Nakamura, and Hiroya Obayashi ) -- 14 Radioactive Contamination of Ostriches in a Potentially Permanent Evacuation Zone (Hiroshi Ogawa, Hidehiko Uchiyama, Koji Masuda, Takeshi Sasaki, Tadao Watanabe, Toshiaki Tomizawa, and Schu Kawashima) -- 15 The Radioactive Contamination in Some Arthropod Species in Fukushima (Tarô Adati and Sota Tanaka) -- 16 A Consumer Survey Approach to Reputation-Based Damage Affecting Agricultural Products and How to Overcome It (Puangkaew Lurhathaiopath, Shizuka Matsumoto, Makoto Hoshi, Sayaka Yamaguchi, and Toshiyuki Monma) -- Part IV Activities and Impressions of Students and Farmers Who Supported the Project -- 17 Staking Recovery Hopes on Soma Revival Rice (Kaisei Inagaki, Tomoko Ninagi, Saburo Sasaki, and Akiko Sato) -- 18 Impression of the Students Participated in the Radioactivity Monitoring System of Farmland (Volodymyr Ganzha, Keiji Kanamori, Hana Fujimoto, and Ryo Itakura) -- 19 Impression of the Forestry managers and students participated in the Radioactivity Damage Investigation of Forests (Eihachi Horiuchi, Kiyoaki Sasaki, Masaaki Itakura, Chisato Yasukawa, and Chihiro Kinoshita).…”
Link to Metadata
Electronic eBook