Search Results - "tree"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 140
- Biology, life sciences 82
- History of engineering & technology 67
- Technology: general issues 56
- Forestry & silviculture: practice & techniques 29
- Botany & plant sciences 28
- British & Irish history 26
- History of science 26
- Social & cultural history 26
- Computer science 25
- Environmental science, engineering & technology 20
- Environmental economics 18
- Medicine 18
- linguistics 18
- Information technology industries 16
- Trees, wildflowers & plants 16
- Environmental monitoring 15
- Forestry & related industries 15
- Geography 15
- Mathematics & science 15
- Ecological science, the Biosphere 14
- Humanities 14
- Technology, engineering, agriculture 14
- Artificial intelligence 13
- Environmental management 11
- Agricultural science 10
- Animals -- Juvenile fiction 10
- Applied ecology 10
- Artificial Intelligence 10
- Forestry 10
-
3701
-
3702
-
3703
-
3704
-
3705
-
3706
-
3707
-
3708
-
3709
-
3710
-
3711
Applied Discrete Structures
Published 2021Table of Contents: “…1 Set Theory -- 2 Combinatorics -- 3 Logic -- 4 More on Sets -- 5 Introduction to Matrix Algebra -- 6 Relations and Graphs -- 7 Functions -- 8 Recursion and Recurrence Relations -- 9 Graph Theory -- 10 Trees -- 11 Algebraic Systems -- 12 More Matrix Algebra -- 13 Boolean Algebra -- 14 Monoids and Automata -- 15 Group Theory and Applications -- 16 An Introduction to Rings and Fields…”
Access online version
Electronic eBook -
3712
Ribosome Biogenesis Methods and Protocols /
Published 2022Table of Contents: “…A Comparative Perspective on Ribosome Biogenesis: Unity and Diversity across the Tree of Life -- Establishment and Maintenance of Open Ribosomal RNA Gene Chromatin States in Eukaryotes -- Analysis of Yeast RNAP I Transcription of Nucleosomal Templates In Vitro -- Specialization of RNA Polymerase I in Comparison to Other Nuclear RNA Polymerases of Saccharomyces cerevisiae -- Structural Studies of Eukaryotic RNA Polymerase I using Cryo-Electron Microscopy -- Preparation of RNA Polymerase Complexes for their Analysis by Single Particle Cryo-Electron Microscopy -- Eukaryotic Ribosome Assembly and Nucleo-Cytoplasmic Transport -- Tethered MNase Structure Probing as Versatile Technique for Analyzing RNPs using Tagging Cassettes for Homologous Recombination in Saccharomyces cerevisiae -- Chemical Modifications of Ribosomal RNA -- In Vitro Selection of Deoxyribozymes for the Detection of RNA Modifications -- Mapping of the Chemical Modificationsof rRNAs -- Non-Radioactive In Vivo Labelling of RNA with 4-thio-uracil -- Translation Phases in Eukaryotes -- Differential Translation Activity using Bio-Orthogonal Non-Canonical Amino Acids Tagging (BONCAT) in Archaea -- Thermofluor-Based Analysis of Protein Integrity and Ligand Interactions -- In Vitro Assembly of a Fully Reconstituted Yeast Translation System for Studies of Initiation and Elongation Phases of Protein Synthesis.…”
Link to Metadata
Electronic eBook -
3713
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Table of Contents: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata
Electronic eBook -
3714
Methods for Measuring Greenhouse Gas Balances and Evaluating Mitigation Options in Smallholder Agriculture
Published 2016Table of Contents: “…Chapter 1 Introduction to the SAMPLES Approach -- Chapter 2 Targeting Landscapes to Identify Mitigation Options -- Chapter 3 Determining Greenhouse Gas Emissions and Removals Associated with Land Use and Land Cover Change -- Chapter 4 Quantifying Greenhouse Gas Emissions from Managed and Natural Soils -- Chapter 5 A Comparison of Methodologies for Measuring Methane Emissions from Ruminants -- Chapter 6 Quantifying Tree Biomass Carbon Stocks and Fluxes in Agricultural Landscapes -- Chapter 7 Methods for Smallholder Quantification of Soil Carbon Stocks and Stock Changes -- Chapter 8 Yield Estimation of Food and Non-Food Crops in Smallholder Production Systems -- Chapter 9 Scaling Point and Plot Measurements of Greenhouse Gas Fluxes, Balances and Intensities to Whole Farms and Landscapes -- Chapter 10 Methods for Environment-Productivity Trade-off Analysis in Agricultural Systems.…”
Link to Metadata
Electronic eBook -
3715
-
3716
-
3717
-
3718
-
3719
-
3720