Search Results - Højre~

Women, Migration and Gendered Experiences The Case of Post-1991 Albanian Migration / by Danaj, Ermira

Table of Contents: “…International Student Returnees-Nowhere at Home -- Chapter 7. Conclusions.…”
Link to Metadata

Migration and Religion IMISCOE Short Reader / by Nordin, Magdalena, Otterbeck, Jonas

Table of Contents: “…Trends in research: A literature review -- Part II: The New Home -- Chapter 3. Finding tactics and making space: The individuals and the communities -- Chapter 4. …”
Link to Metadata

Toward a Biopsychosocial Welfare State? How Medicine and Psychology Transform Social Policy /

Table of Contents: “…Introduction -- The biopsychosocial welfare state: A theoretical framework -- Medicine, psychology, and the welfare state -- Unemployment - A case for medicine and psychology? -- Poverty - More than just a lack of material resources? -- Childhood in crisis - Are medicine and psychology part of the problem or part of the solution? …”
Link to Metadata

Safer Healthcare Strategies for the Real World / by Vincent, Charles, Amalberti, René

Table of Contents: “…One Size Does not Fit All -- Seeing Safety Through the Patient's Eyes -- The Consequences for Incident Analysis -- Strategies for Safety -- Safety Strategies in Hospitals -- Safety Strategies for Care in the Home -- Safety Strategies in Primary Care -- New challenges for Patient Safety -- A compendium of safety strategies and interventions- Managing risk in the real world.…”
Link to Metadata

The New Common How the COVID-19 Pandemic is Transforming Society /

Table of Contents: “…-- Growing Up in Times of COVID-19: When a Window of Opportunity Is Temporarily Closed -- To Solve the Coronavirus Crisis: Click Here -- The Comeback of the Old Theological Narratives During the Coronavirus Crisis: A Critical Reflection -- Rethinking Education in a Crisis: How New Is a New Common Really? …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Table of Contents: “…Part I: Core Concepts -- 1. What is a Cyber-Physical System? …”
Link to Metadata

The Comprehensive Cancer Center Development, Integration, and Implementation /

Table of Contents: “…Introduction: The Overall structure of a Comprehensive Cancer Center -- Inpatient Unit -- Outpatient Unit -- Infusion Center -- Staffing Requirement -- Nursing -- Radiation Therapy Facility -- Surgical Unit -- Pharmacy -- Laboratory Support -- Supportive Care -- Palliative Care -- Blood Bank -- Home Care -- Transplantation and Cellular Therapy -- Training -- Quality Management -- Data Unit -- Finance -- Cost of Medication -- Cancer Treatment at Sites with Limited Resources. .…”
Link to Metadata

Proceedings of the 2nd International Conference on Innovative Solutions in Hydropower Engineering and Civil Engineering

Table of Contents: “…Hydropower and sustainable development -- Maximizing and communicating the multiple benefits of hydro -- The food-water-energy nexus approach -- Synergy among the renewables -- Making hydro more competitive (managing and mitigating risk) -- Regional development through power trading -- Hydropower technology -- Civil engineering -- Materials for dams and appurtenant works -- Advances in design and construction techniques -- Recent developments in dam construction -- Monitoring and engineering for safe structures and sites.…”
Link to Metadata

Part CM Classical Mechanics by Likharev, Konstantin

Table of Contents: “…Table of Contents -- Chapter 1: Review of Fundamentals -- Chapter 2: Lagrangian Formalism -- Chapter 3: A Few Simple Problems -- Chapter 4: Rigid Body Motion -- Chapter 5: Oscillations -- Chapter 6: From Oscillations to Waves -- Chapter 7: Deformations and Elasticity -- Chapter 8: Fluid Mechanics -- Chapter 9: Deterministic Chaos -- Chapter 10: A Bit More of Analytical Mechanics…”
Access online version

Virginia Cooperative Extension Gardener Handbook by Reed, Kathleen, Johnson, Devon

Table of Contents: “…Botany -- Soils and Nutrient Management -- Entomology -- Plant Pathology -- Abiotic Stress Effects on Plant Growth and Development -- Diagnosing Plant Damage -- Integrated Pest Management and Pesticide Safety -- Plant Propagation -- The Vegetable Garden -- Fruits in the Home Garden -- Lawns -- Indoor Plants -- Woody Landscape Plants -- Pruning -- Herbaceous Landscape Plants -- Landscape Design -- Water Quality and Conservation -- Habitat Gardening for Wildlife -- Virginia Native Plants…”
Access online version

Children, Families, Schools, and Communities by Giovannini, Joan

Table of Contents: “…-- Chapter 7 - Exploring the Core Competencies of Family Engagement -- Appendix -- References…”
Access online version

MANIFESTAÇÕES DO CUIDAR POPULAR E PROFISSIONAL NO COTIDIANO DE SAÚDE DE FAMÍLIAS RIBEIRINHAS DA ILHA DO COMBU by Ilma Pastana Ferreira, Adriana dos Santos Mendes, Natalice Andrade da Silva

Connect to this object online.

Os Títulos de Especialista by João Werner Falk

Connect to this object online.

Ócio e promoção da saúde by José Clerton de Oliveira Martins

Connect to this object online.

Um olhar da saúde sobre a violência by Paula Borges Jacques, Querubina Bringel Olinda

Connect to this object online.

Possible consequences of increasing life expectancy in Brazil: the perspective of a European historical demographer Possíveis conseqüências da crescente longevidade no Brasil: p... by Arthur E. Imhof

Connect to this object online.

MANIFESTAÇÕES DO CUIDAR POPULAR E PROFISSIONAL NO COTIDIANO DE SAÚDE DE FAMÍLIAS RIBEIRINHAS DA ILHA DO COMBU by Ilma Pastana Ferreira, Adriana dos Santos Mendes, Natalice Andrade da Silva

Connect to this object online.

Social Democratic Parties and the Working Class New Voting Patterns / by Rennwald, Line

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: A reflection on classes; a reflection on parties -- Chapter 3: Were social democratic parties really more working-class in the past? -- Chapter 4: The class basis of social democracy at the beginning of the twenty-first century -- Chapter 5: Parties' changing political projects and workers' political attitudes -- Chapter 6: Renewing social democracy by re-mobilising the working class.…”
Link to Metadata

Radio and Women's Empowerment in Francophone West Africa by Heywood, Emma

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Radio, women and politics -- Chapter 3: Radio, women and finances -- Chapter 4: Radio, women and life within marriage -- Chapter 5: Radio, women and inheritance -- Chapter 6: 'We're more than just a radio': Radio Scout and its Women's Listening Associations -- Chapter 7: Radio, women IDPs and women journalists -- Chapter 8: Conclusion.…”
Link to Metadata