Search Results - Papus~

Conservation Biology in Sub-Saharan Africa by Wilson, John W., Primack, Richard B.

Table of Contents: “…Extinction Is Forever -- 9. Applied Population Biology -- 10. Conserving Ecosystems -- 11. …”
Access online version

Experiences in Biodiversity Research A Field Course by Gessler, Thea B.

Table of Contents: “…Acknolwedgements -- Welcome to Experiences in Biodiversity Research -- Module 1: In the Field -- Module 2: Peer Review -- Module 3: Preparing Professional Materials -- Module 4: Research Proposals -- Appendix 1: Example Schedule -- Appendix 2: Lakeside Laboratory Itinerary -- Appendix 3: Rubrics -- Appendix 4: Survey -- Appendix 5: Reading a Scientific Paper -- Appendix 6: Starting Research Proposals -- Appendix 7: Table of Assignments -- Appendix 8: Personal Statement Brainstorming Questions…”
Access online version

Human-Centred Economics The Living Standards of Nations / by Samans, Richard

Table of Contents: “…The source of the fundamental disconnect in modern economics -- 3. The nature and causes of the living standards of nations -- 4. Comparative country data -- 5. …”
Link to Metadata

Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings /

Table of Contents: “…Investigating transparency dimensions for Internet voting -- OpenVoting: Recoverability from Failures in Dual Voting -- Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE -- Online Voting in Ontario Municipalities: A Standards-based Review -- Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study -- Verifiability Experiences in Ontario's 2022 Online Elections -- Pretty Good Strategies for Benaloh Challenge -- CAISED: A Protocol for Cast-as-Intended Verifiability with a Second Device -- Estimating carbon footprint of paper and Internet voting.…”
Link to Metadata

Natural Resources Biometrics by Kiernan, Diane

Table of Contents: “…Chapter 1: Descriptive Statistics and the Normal Distribution -- Chapter 2: Sampling Distributions and Confidence Intervals -- Chapter 3: Hypothesis Testing -- Chapter 4: Inferences about the Differences of Two Populations -- Chapter 5: One-way Analysis of Variance -- Chapter 6: Two-way Analysis of Variance -- Chapter 7: Correlation and Simple Linear Regression -- Chapter 8: Multiple Linear Regression -- Chapter 9: Modeling Growth, Yield, and Site Index -- Chapter 10: Quantitative Measures of Diversity, Site Similarity, and Habitat Suitability…”
Access online version

Public Health Ethics Global Cases, Practice, and Context

Table of Contents: “…Section I Introduction to Public Health Ethics -- 1 Public Health Ethics: Global Cases, Practice, and Context -- 2 Essential Cases in the Development of Public Health Ethics -- Section II Topics in Public Health Ethics -- 3 Resource Allocation and Priority Setting -- 4 Disease Prevention and Control -- 5 Chronic Disease Prevention and Health Promotion -- 6 Environmental and Occupational Public Health -- 7 Vulnerability and Marginalized Populations -- 8 International Collaboration for Global Public Health -- 9 Public Health Research -- Index…”
Access online version

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...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

The Prevent Duty in Education Impact, Enactment and Implications /

Table of Contents: “…Britain's Prevent Strategy: Always changing, always the same?; Paul Thomas -- Chapter 3. The introduction of the Prevent Duty into schools and colleges: Stories of continuity and change; Joel Busher, Tufyal Choudhury and Paul Thomas -- Chapter 4. …”
Link to Metadata

Salón de Clase Intermediate Spanish for Education Professionals by Castro Ortiz, Fernando, Zimotti, Giovanni

Table of Contents: “…El sistema educativo en los países hispanohablantes -- IV. El ecosistema educativo…”
Access online version

Social and Economic Vulnerability of Roma People Key Factors for the Success and Continuity of Schooling Levels /

Table of Contents: “…Education of Roma and educational resilience in Hungary (Attila Papp Z and Eszter Neumann) -- Part II: OBSTACLES AND KEY FACTORS FOR THE CONTINUITY OF EDUCATION -- Chapter 7. …”
Link to Metadata

Diversity and Evolution of Butterfly Wing Patterns An Integrative Approach /

Table of Contents: “…The Nympalid Groundplan (NGP) and Diversification -- Chapter1:The common developmental origin of eyespots and parafocal elements;And a new model-mechanism for color pattern formation -- Chapter2:Exploring color pattern diversification in early lineages of Satyrinae (Nymphalidae) -- Chapter3:Camouflage variation on a theme of the Nymphalid Ground Plan -- Chapter4:Morphological evolution repeatedly caused by mutations in signaling ligand genes -- Part II. …”
Link to Metadata

Flowing Matter

Table of Contents: “…Mesoscopic approach to nematic fluids -- Chapter4. Amphiphilic Janus Particles at Interfaces -- Chapter5. Upscaling Flow and Transport Processes -- Chapter6. …”
Link to Metadata

Retirement Home? Ageing Migrant Workers in France and the Question of Return by Hunter, Alistair

Table of Contents: “…Points of Departure: Geographical, Historical and Theoretical Contexts -- 3. Your Papers, Please: the Temporal and Territorial Demands of Welfare State Inclusion -- 4. …”
Link to Metadata

Methodological Investigations in Agent-Based Modelling With Applications for the Social Sciences / by Silverman, Eric

Table of Contents: “…Part I Agent-Based Models: 1 Introduction -- 2 Simulation and Artificial Life -- 3 Making the Artificial Real -- 4 Modelling in Population Biology -- Part II Modelling Social Systems: 5 Modelling for the Social Sciences -- 6 Analysis: Frameworks and Theories -- 7 Schelling: A Success for Simplicity -- 8 Conclusions Part III Case Study: Simulation in Demography -- 9 Modelling in Demography: From Statistics to Simulations -- 10 Model-Based Demography in Practice: I -- 11 Model-Based Demography in Practice: II -- 12 Conclusions. .…”
Link to Metadata

Veterinary Epidemiology Principles and Methods by Martin, Wayne S., Meek, Alan H., Willebtrg, Preben

Table of Contents: “…Measurement of disease frequency and production -- II / Studying disease in animal populations -- 4. Descriptive epidemiology -- 5. Disease causation -- 6. …”
Access online version

Introduction to Applied Statistics for Psychology Students by Sarty, Gordon E.

Table of Contents: “…Hypothesis Testing -- 10. Comparing Two Population Means -- 11. Comparing Proportions -- 12. …”
Access online version

Buildings for Education A Multidisciplinary Overview of The Design of School Buildings /

Table of Contents: “…The architecture of the campus and spaces for teaching -- Camillo Boito's "Capannone" for the Accademia di Brera in Milan. …”
Link to Metadata

Advancing the Science of Cancer in Latinos Building Collaboration for Action /

Table of Contents: “…Vulnerable Populations and Cancer Health Disparities -- Chapter 4. …”
Link to Metadata

Evolutionary Genomics Statistical and Computational Methods /

Table of Contents: “…Asexual Species -- Selection Acting on Genomes -- Looking for Darwin in Genomic Sequences: Validity and Success Depends on the Relationship between Model and Data -- Evolution of Viral Genomes: Interplay between Selection, Recombination, and Other Forces -- Evolution of Protein Domain Architectures -- New Insights on the Evolution of GenomeContent: Population Dynamics of Transposable Elements in Flies and Humans -- Association Mapping and Disease: Evolutionary Perspectives -- Ancestral Population Genomics -- Introduction to the Analysis of Environmental Sequences: Metagenomics with MEGAN -- Multiple Data Analyses and Statistical Approaches for Analyzing Data from Metagenomic Studies and Clinical Trials -- Systems Genetics for Evolutionary Studies -- Analyzing Epigenome Data in Context of Genome Evolution and Human Diseases -- Semantic Integration and Enrichment of Heterogeneous Biological Databases -- High-Performance Computing in Bayesian Phylogenetics and Phylodynamics Using BEAGLE -- Scalable Workflows and Reproducible Data Analysis for Genomics -- Sharing Programming Resources between Bio* Projects.…”
Link to Metadata

Introduction to Sociology by Conerly, Tonja R., Holmes, Kathleen, Tamang, Asha Lal

Table of Contents: “…1 An Introduction to Sociology -- 2 Sociological Research -- 3 Culture -- 4 Society and Social Interaction -- 5 Socialization -- 6 Groups and Organization -- 7 Deviance, Crime, and Social Control -- 8 Media and Technology -- 9 Social Stratification in the United States -- 10 Global Inequality -- 11 Race and Ethnicity -- 12 Gender, Sex, and Sexuality -- 13 Aging and the Elderly -- 14 Relationships, Marriage, and Family -- 15 Religion -- 16 Education -- 17 Government and Politics -- 18 Work and the Economy -- 19 Health and Medicine -- 20 Population, Urbanization, and the Environment -- 21 Social Movements and Social Change…”
Access online version