Search Results - "Talking With..."

Refine Results
  1. 2121
  2. 2122
  3. 2123
  4. 2124
  5. 2125

    The Heterogeneity of Cancer Metabolism

    Published 2021
    Table of Contents: “…Relationship between Cancer Cells and Cancer-Associated Fibroblasts -- Metabolic Relationship between Cancer-Associated Fibroblasts and Cancer Cells -- Targeting Metabolic Cross Talk between Cancer Cells and Cancer-Associated Fibroblasts -- Part IV. …”
    Link to Metadata
    Electronic eBook
  6. 2126

    Modes of Esports Engagement in Overwatch

    Published 2022
    Table of Contents: “…Overwatch to Oversnatch: The Mutually Reinforcing Gendered Power Relations of Pornography, Streaming, and Esports; Thomas Apperley -- 11. The Talk of the Town: Community Perspectives on Loot Boxes; Joseph Macey & Mila Bujić.…”
    Link to Metadata
    Electronic eBook
  7. 2127

    Writing Spaces Readings on Writing Vol. II by Lowe, Charlie, Zemliansky, Pavel

    Published 2011
    Table of Contents: “…(Rhetorically Speaking) -- The Complexity of Simplicity: Invention Potentials for Writing Students -- Writing “Eyeball To Eyeball”: Building A Successful Collaboration -- On the Other Hand: The Role of Antithetical Writing in First Year Composition Courses -- Introduction to Primary Research: Observations, Surveys, and Interviews -- Putting Ethnographic Writing in Context -- Walk, Talk, Cook, Eat: A Guide to Using Sources -- Reading Games: Strategies for Reading Scholarly Sources -- Googlepedia: Turning Information Behaviors into Research Skills -- Annoying Ways People Use Sources -- Everything Changes, or Why MLA Isn't (Always) Right -- Storytelling, Narration, and the “Who I Am” Story -- The Sixth Paragraph: A Re-Vision of the Essay -- Why Blog? …”
    Access online version
    Electronic eBook
  8. 2128
  9. 2129
  10. 2130
  11. 2131

    Pluralistic Struggles in Gender, Sexuality and Coloniality Challenging Swedish Exceptionalism /

    Published 2021
    Table of Contents: “…We Were Here, and We Still Are: Negotiations of Political Space Through Unsanctioned Art; Linda Berg and Anna Sofia Lundgren -- 4. 1 May - Muslim Women Talk Back: A Political Transformation of Secular Modernity on International Workers' Day; Lena Martinsson -- 5. …”
    Link to Metadata
    Electronic eBook
  12. 2132
  13. 2133
  14. 2134

    Engaged Fatherhood for Men, Families and Gender Equality Healthcare, Social Policy, and Work Perspectives /

    Published 2022
    Table of Contents: “…1 Launching a Cross-Disciplinary and Cross-National Conversation on Engaged Fatherhood -- 2 The Role of Fathers in Child and Family Health -- 3 The Impact of Father's Health on Reproductive and Infant Health and Development -- 4 The Impact of Fatherhood on Men's Health and Development -- 5 Steps in Developing a Public Health Surveillance System for Fathers -- 6 Fatherhood and Reproductive Health in the Antenatal Period: From Men's Voices to Clinical Practice -- 7 Fathers and Family Leave Policies: What Public Policy Can Do to Support Families -- 8 Individual Parental Leave for Fathers - Promoting Gender Equality in Norway -- 9 How do Men Talk about Taking Parental Leave? Evidence from South Korea, Spain and the U.S -- 10 Impossible Standards and Unlikely Trade-Offs: Can Fathers Be Competent Parents and Professionals -- 11 The New Dad: The Career-Caregiving Conundrum -- 12 French Fathers in Work Organizations: Navigating Work-Life BalanceChallenges -- 13 It would be silly to stop now and go part-time: Fathers and Flexible Working Arrangements in Australia -- 14 Small Changes that Make a Great Difference: Reading, Playing and Eating with Your Children and the Facilitating Role of Managers in Latin America -- 15 Fatherhood Among Marginalised Work-Seeking Men in South Africa -- 16 The Role of Love & Children's Agency in Improving Fathers Wellbeing -- 17 Reducing Barriers to Engaged Fatherhood: Three Principles for Promoting Gender Equity in Parenting.…”
    Link to Metadata
    Electronic eBook
  15. 2135

    Wirtschaft neu lehren Erfahrungen aus der pluralen, sozioökonomischen Hochschulbildung /

    Published 2021
    Table of Contents: “…Ein didaktisch reflektierender Erfahrungsbericht -- Dialogischer Pluralismus als Polit-Talk - Ein Seminarkonzept zur Vermittlung von Diskurskultur und angewandter Pluraler Ökonomik -- Poetry-Slams als Impuls für eine subjektiv begründete Reflexion wirtschaftswissenschaftlicher Denk- und Sprachkulturen -- Gedeih-Räume sozioökonomischer Hochschullehre. …”
    Link to Metadata
    Electronic eBook
  16. 2136
  17. 2137

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2019
    Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
    Link to Metadata
    Electronic eBook
  18. 2138

    Community and Identity in Contemporary Technosciences

    Published 2021
    Table of Contents: “…Diversity Within. Biographical Talk and (Inter)disciplinary Identities in a Contemporary British University (Cuevas-Garcia, Carlos A.) -- Part 2. …”
    Link to Metadata
    Electronic eBook
  19. 2139
  20. 2140

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

    Published 2021
    Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
    Link to Metadata
    Electronic eBook