Search Results - "Into the Forest"
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 184
- Biology, life sciences 94
- Technology: general issues 85
- History of engineering & technology 82
- Forestry & silviculture: practice & techniques 68
- Environmental economics 58
- Ecological science, the Biosphere 52
- Geography 43
- Environmental management 42
- Conservation of the environment 38
- Environmental science, engineering & technology 37
- Forestry & related industries 36
- Sustainability 31
- Botany & plant sciences 29
- Technology, engineering, agriculture 23
- Medicine 20
- Climate change 19
- The environment 19
- Environmental monitoring 18
- Environmental policy & protocols 18
- Agricultural science 17
- Applied ecology 17
- Social & cultural anthropology, ethnography 17
- Forestry 16
- Human geography 16
- Plant ecology 16
- Society & social sciences 16
- Environment 15
- Environmental Sciences 15
- Rome -- History -- Empire, 30 B.C.-284 A.D. 15
-
3701
-
3702
-
3703
-
3704
-
3705
-
3706
-
3707
-
3708
-
3709
-
3710
Bioeconomy and Global Inequalities Socio-Ecological Perspectives on Biomass Sourcing and Production /
Published 2021Table of Contents: “…Finnish Bioeconomy and Forest Policy in the Era of Global Climate Politics; TeroToivanen -- 8. …”
Link to Metadata
Electronic eBook -
3711
Transformational Change for People and the Planet Evaluating Environment and Development /
Published 2022Table of Contents: “…Measuring the Impact of Monitoring: How We Know Transparent Near-Real-Time Data Can Help Save the Forests -- 19. Application of Geospatial Methods in Evaluating Environmental Interventions and Related Socioeconomic Benefits.…”
Link to Metadata
Electronic eBook -
3712
Academic Integrity in Canada An Enduring and Essential Challenge /
Published 2022Table of Contents: “…-- Visual plagiarism: Seeing the forest and the trees -- The distinctive nature of academic integrity in graduate legal education -- Perceptions and experiences in understanding academic integrity: Reflections within a doctoral program -- The barriers to reporting incidences of academic dishonesty: The unique perspective of faculty from Canadian community colleges -- Promotion of academic integrity through a marketing lens for Canadian post-secondary institutions -- Academic integrity in the practice / service learning setting -- Promoting academic integrity and preventing misconduct in a Canadian open digital distance education university -- Section III: An urgent and growing problem: Contract cheating in Canada -- Section introduction: Contract cheating in Canada -- Ethics, ed tech, and therise of contract cheating -- Pay-to-pass: Knowledge as a commodity in the digital age -- Education as a financial transaction: Contract employment and contract cheating -- Committing and facilitating academic misconduct as white-collar and corporate crime -- Section IV: Essential strategies and levers to advance academic integrity -- Section introduction: Essential strategies and levers to advance academic integrity -- Using quality assurance frameworks to support an institutional culture of academic integrity at Canadian universities -- Beyond the traditional: Academic integrity advocacy in Canadian librarianship -- Using computer-facilitated focus groups to gather student insight on academic integrity -- Fostering academic integrity through curriculum design -- Threading the needle: Student advocacy offices and their role within academic integrity -- Helping students resolve the ambiguous expectations of academic integrity -- How to talk about academic integrity, so students will listen: The inherent challenge in "mandated" training -- Revisioning instructor-writing specialist collaboration for paraphrasing instruction -- Supporting academic integrity in the writing centre: Student consultant perspectives -- Cultural aspects of academic integrity -- A new framework for enhancing (academic) integrity -- Building a culture of restorative practice and restorative responses to academic misconduct.…”
Link to Metadata
Electronic eBook -
3713
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
3714
Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /
Published 2024Table of Contents: “…Mangroves II - Change Mapping -- 49. Forest Degradation and Deforestation -- 50. Deforestation Viewed from Multiple Sensors -- 51. …”
Link to Metadata
Electronic eBook -
3715
Agricultural Implications of the Fukushima Nuclear Accident
Published 2013Table of Contents: “…Diffusion and transportation dynamics of 137Cs deposited on the forested area in Fukushima after the Fukushima Daiichi nuclear power plant accident in March 2011 (N. …”
Link to Metadata
Electronic eBook -
3716
-
3717
Advances in Chemical Analysis Procedures (Part II) Statistical and Chemometric Approaches
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3718
Le bananier plantain. Enjeux socio-économiques et techniques
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
3719
-
3720