Search Results - With~

Optimal, Integral, Likely Optimization, Integral Calculus, and Probability for Students of Commerce and the Social Sciences by Belevan, Bruno, Hamidi, Parham, Malhotra, Nisha, Yeager, Elyse

Table of Contents: “…1 Vectors and Geometry in Two & Three Dimensions -- 2 Partial Derivatives -- 3 Integration -- 4 Probability -- 5 Sequence and Series -- A Proofs and Supplements -- B High school material…”
Access online version

The Word on College Reading and Writing by Babin, Monique, Burnell, Carol, Pesznecker, Susan, Rosevear, Nicole, Wood, Jaime

Table of Contents: “…-- Finding Quality Texts -- Learning About Plagiarism and Guidelines for Using Information -- Part 2: Writing -- About This Section -- Why Write? -- Self-Exploration and Self-Enrichment -- Creativity -- Comprehension and Academic Performance -- Professional Opportunities -- Effective Communication and Persuasion -- Determining Your Audience and Purpose -- Audience -- Purpose -- Appealing to Your Audience -- Exercises -- Tone, Voice, and Point of View -- Prewriting—Generating Ideas -- Selecting and Narrowing a Topic -- Strategies for Getting Started -- Imagining Your Audience's Needs -- Drafting -- Organizing Your Ideas and Looking for Connections -- Finding the Thesis -- Writing a First Draft -- Writing Paragraphs -- The Paragraph Body: Supporting Your Ideas -- Developing Relationships between Ideas -- Patterns of Organization and Methods of Development -- Writing Introductions -- Writing Conclusions -- Writing Summaries -- Paraphrasing -- Quoting -- Using Sources Correctly -- Crediting and Citing Your Sources -- Citing: Identifying In-Text Sources -- Citing or Identifying Images in Your Writing -- Handling Titles -- Proofreading Your Work with Sources -- Using Citation Generators -- Dealing with Obstacles and Developing Good Habits -- Overcoming Writing Anxiety and Writer's Block -- Good Writing Habits -- Procrastination -- Revising -- Higher vs. …”
Access online version

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /

Table of Contents: “…Session I - File Systems, Storage and Communication -- A BeeGFS-based Caching File System for Data-intensive Parallel Computing -- Multiple HPC Environments-Aware Container Image Configuration Workflow for Large-Scale All-to-All Protein-Protein Docking Calculations -- DAOS: A Scale-out High Performance Storage Stack for Storage Class Memory -- Cloud Platform Optimization for HPC -- Session II - Applications and Scheduling -- swGBDT: Efficient Gradient Boosted Decision Tree on Sunway Many-core Processor -- Numerical Simulations of Serrated Propellers to Reduce Noise -- High-performance Computing in Maritime and Offshore Applications -- Correcting Job Walltime in a Resource-Constrained Environment.…”
Link to Metadata

Finance for Food Towards New Agricultural and Rural Finance /

Table of Contents: “…The Big Picture: Global Trends Affecting Agricultural Finance -- Institutional and Process Innovations in Serving Rural Clients -- Dealing With Risks in Agricultural Finance -- Using Modern Technology for High-Quality Services in Rural Areas.…”
Link to Metadata

Reading and Writing Successfully in College A Guide for Students by Lynne, Patricia

Table of Contents: “…Preface -- Chapter 1 - Successful College Reading -- Chapter 2 - Doing Intellectual Work -- Chapter 3 - Writing Process in College -- Chapter 4 - Writing with Sources -- Glossary -- Works Cited -- Grant Information…”
Access online version

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship /

Table of Contents: “…Open Mapping with Official Cartographies in the Americas -- Chapter27. Cities of the Future Need to be Both Smart and Just: How We Think Open Mapping Can Help -- PartIV. …”
Link to Metadata

Masterpieces on Japan by Foreign Authors From Goncharov to Pinguet /

Table of Contents: “…Edward Seidensticker, Low City, High City - Tokyo from Edo to the Earthquake -- Chapter 38. …”
Link to Metadata

Turbulent open channel flow, sediment erosion and sediment transport by Chan-Braun, Clemens

“…Dissertationsreihe am Institut für Hydromechanik des Karlsruher Instituts für Technologie / Karlsruher Institut für Technologie (KIT), Institut für Hydromechanik…”
DOAB: download the publication
DOAB: description of the publication

Chemical Youth Navigating Uncertainty in Search of the Good Life / by Hardon, Anita

Table of Contents: “…Introduction -- 2. Chemical Highs -- 3. Chemical Breath -- 4. Chemical Sexualities -- 5. …”
Link to Metadata

Cyber-Human Systems, Space Technologies, and Threats by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D., Ryan, Julie J.C.H, Carter, Candice M.

Table of Contents: “…Front Matter -- Foreword -- Part 1: Cyber-Human Systems (CHS) -- Part 2: Space Threats -- Part 3: Warfare, Hypersonics, and Materials -- Appendix A: dB Math and Plane / Spherical Trigonometry Primer…”
Access online version

Advances in the Characterisation and Remediation of Sites Contaminated with Petroleum Hydrocarbons

Table of Contents: “…Case study on natural source zone depletion -- 16.Case study on high-resolution site characterisation -- 17.Case study on risk management -- 18. …”
Link to Metadata

Keys to Understanding the Middle East by Payind, Alam, McClimans, Melinda

Table of Contents: “…Chapter One: Languages -- Languages -- Linguistic Groups -- Arabic's Influence in the Region -- Islamic Expansion -- Chapter Two: Faith and Religious Identity -- Faith and Religious Identity -- Diverse Religious Identities of the Middle East -- Religious DIversity -- Islam in Middle Eastern Societies -- What is Shar'ia Law -- Religious Pluralism -- Prayer, A Part of Daily Life for Muslims Around the World -- Shi'ism -- The Mystical Tradition of Sufism, or Tasawwuf -- Who are the Salafis/Wahabis? …”
Access online version

Folhas voláteis, papéis manuscritos: o pelotão de saúde no jornal infantil Pétalas (Colégio Coração de Jesus - Florianópolis/SC, 1945-1952) - Volatile sheets, manuscript p... by Maria Teresa Santos Cunha, Brasil

Connect to this object online.

Individual and Family Development, Health, and Well-being by Lang, Diana, Cone, Nicholas

Table of Contents: “…Introduction -- Theories -- Research -- Families and Other Influences on Development -- Heredity, Prenatal Development, and Birth -- Infancy and Toddlerhood -- Early Childhood -- Middle to Late Childhood -- Adolescence -- Early Adulthood -- Middle Adulthood -- Late Adulthood -- Death, Dying, and Mourning…”
Access online version

Narratives of the Unspoken in Contemporary Irish Fiction Silences that Speak /

Table of Contents: “…Chapter 1: Introduction: Silences that Speak -- Chapter 2: Conspicuously Silent: The excesses of Religion and Medicine in Emma Donoghue's historical novels The Wonder and The Pull of the Stars -- Chapter 3: "To Pick up the unsaid, and perhaps unknown, wishes": Reimagining the "True Stories" of the Past in Evelyn Conlon's Not the Same Sky -- Chapter 4: "He's been wanting to say that for a long time": Varieties of Silence in Colm Tóibín's Fiction -- Chapter 5: The Irish Short Story and the Aesthetics of Silence -- Chapter 6: Infinite Spaces: Kevin Barry's Lives of Quiet Desperation -- Chapter 7: The Silencing of Speranza -- Chapter 8: "A self-interested silence": Silences Identified and Broken in Peter Lennon's Rocky Road to Dublin (1967) -- Chapter 9: Silence in Donal Ryan's Fiction -- Chapter 10: "Sure, aren't the church doing their best?" …”
Link to Metadata

The European Landing Obligation Reducing Discards in Complex, Multi-Species and Multi-Jurisdictional Fisheries /

Table of Contents: “…Discard avoidance by improving fishing gear selectivity: helping the fishing industry help itself -- 15. …”
Link to Metadata

Prealgebra by Marecek, Lynn, Anthony-Smith, MaryAnne

Table of Contents: “…1 Whole Numbers -- 2 The Language of Algebra -- 3 Integers -- 4 Fractions -- 5 Decimals -- 6 Percents -- 7 The Properties of Real Numbers -- 8 Solving Linear Equations -- 9 Math Models and Geometry -- 10 Polynomials -- 11 Graphs…”
Access online version

Manufacturing Processes by Virasak, LamNgeun

Table of Contents: “…Chapter 1: Milling Machines -- Chapter 2: Lathe Machines -- Chapter 3: Drill Presses -- Chapter 4: Bandsaws -- Chapter 5: Surface Grinders -- Chapter 6: Heat Treating -- Chapter 7: Lean Manufacturing -- Chapter 8: CNC…”
Access online version

Migrations in the Mediterranean IMISCOE Regional Reader /

Table of Contents: “…Migrants and Refugees in the Mediterranean Cities: Reception, regulation and actors. Tunisia case study -- Chapter 8. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata