Search Results - NORSAR~

Entre jornais, revistas e livros: a educação jesuítica no Ceará nas décadas de 1920 e 1930 e a memória histórica da Companhia de Jesus - Amongst newspapers, magazines and bo... by Maria Juraci Maia Cavalcante, Brasil

Connect to this object online.

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

Permanent training and self-training of teachers by Francisco Javier Esperanza Casado

Connect to this object online.

Indutores de mudança na formação dos profissionais de saúde: pró-saúde e PET-SAÚDE by Isabel Cristina Luck Coelho de Holanda, Magda Moura de Almeida, Edyr Marcelo Costa Hermeto

Connect to this object online.

A ENFERMEIRA ONDINA MIRANDA DE SOUZA E SUA PARTICIPAÇÃO NA 2ª GUERRA MUNDIAL by Antonio Campello, Fernando Rocha Porto

Connect to this object online.

Surveying Human Vulnerabilities across the Life Course

Table of Contents: “…Sources of bias and ways around them:Isabel Baumann, Oliver Lipps, Daniel Oesch, Caroline Vandenplas -- Using Life History Calendars to Survey Vulnerability: Davide Morselli, Nora Dasoki, Rainer Gabriel, Jacques-Antoine Gauthier, Julia Henke, Jean-Marie LeGoff -- Data collection through a social network: First impressions: Véronique Eicher, Mouna Bakouri, Christian Staerklé, Marlene Carvalhosa Barbosa, Alain Clémence -- Attrition in the Swiss Household Panel: are vulnerable groups more affected than others: Martina Rothenbühler, Marieke Voorpostel.…”
Link to Metadata

The Centrality of Style by Duncan, Mike, M. Vanguri, Star

Table of Contents: “…Paul's Grammar School and Today's Stylistic Classroom, Tom Pace -- The Research Paper As Stylistic Exercise, Mike Duncan -- Part Two: Applying Style -- Introduction to Part Two: Applying Style, Mike Duncan & Star Medzerian Vanguri -- Style in Academic Writing, Nora Bacon -- Tracking Interpersonal Style: The Use of Functional Language Analysis in College Writing Instruction, Zak Lancaster -- Multimodal Style and the Evolution of Digital Writing Pedagogy, Moe Folk -- Voice, Transformed: The Potentialities of Style Pedagogy in the Teaching of Creative Nonfiction, Crystal Fodrey -- Fighting Styles: The Pedagogical Implications of Applying Contemporary Rhetorical Theory to the Persuasive Prose of Mary Wollstonecraft and Mary Hays, Luke Redington -- Style and the Professional Writing Curriculum: Teaching Stylistic Fluency through Science Writing, Jonathan Buehl -- Toward a Pedagogy of Psychic Distance, Erik Ellis -- What Scoring Rubrics Teach Students (and Teachers) about Style, Star Medzerian Vanguri…”
Access online version

The direction of schools today: the power of the simple in a complex situation by Purificación Fuente Aguilar

Connect to this object online.

O Programa de Residência em Medicina de Família e Comunidade do município de Florianópolis by Nulvio Lermen Junior

Connect to this object online.

EL PAISAJE Y LA EDUCACIÓN AMBIENTAL by Alfonso García De La Vega

Connect to this object online.

Old and New Perspectives on Mortality Forecasting

Table of Contents: “…Mortality Projections in Norway: Helge Brunborg -- Ch 5. Mortality Assumptions for Sweden. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Contemporary Perspectives on Ageism

Table of Contents: “…Bosems, & Joost van Hoof -- Researching Ageism: Liat Ayalon & Clemens Tesch-Römer -- Normative, Empiricist, and Interpretive Considerations in the Ageism Research Process: Fredrik Snellman -- Ageism in a Cross-Cultural Perspective: Reflections From the Research Field: Monika Wilińska, Astrid de Hontheim, & Els-Marie Anbäcken -- Agisem in the European Region: Finding from the European Social Survey: Hannah J. …”
Link to Metadata

Beyond Becquerel and Biology to Precision Radiomolecular Oncology: Festschrift in Honor of Richard P. Baum

Table of Contents: “…Uptake of 68Ga-DOTATATE and 68Ga-DOTATOC in primary neuroendocrine tumors, metastases, and normal liver tissue - is there a significant difference? …”
Link to Metadata

Understanding China's School Leadership Interpreting the Terminology / by Feng, Daming

Table of Contents: “…Teacher supervision and development -- 7.1 Licensure examination -- 7.2 Normalized internship -- 7.3 Periodical registration -- 7.4 Five-step career ladder -- 7.5 Two honorary titles for outstanding teachers -- 7.6 Professional community building -- 7.7 Inter-school vehicles of CPD -- 7.8 Cross-district vehicles of CPD -- Appendix -- References -- 8. …”
Link to Metadata

Perspectives on Public Policy in Societal-Environmental Crises What the Future Needs from History /

Table of Contents: “…Success and Failure in the Norse North Atlantic: Origins, Pathway Divergence, Extinction and Survival -- 18.Resilience of coupled socio-ecological systems: historic rice fields of the U.S. south -- 19. …”
Link to Metadata

Understanding Society and Natural Resources Forging New Strands of Integration Across the Social Sciences /

Table of Contents: “…: Arun Agrawal -- Chapter 5: Millennium Alliance for Humanity and the Biosphere (MAHB): Integrating Social Science and the Humanities into Earth Systems Governance: Ilan Kelman, Eugene Rosa, Tom R. Burns, Nora Machado, Lennart Olsson, Paul Ehrlich, Don Kennedy -- Chapter 6: Neuroeconomic: John M. …”
Link to Metadata

Europe: Austria by Juan Antonio Gómez Marín

Connect to this object online.

Reflexiones sobre la experiencia en el programa de residencia en Medicina Familiar y Comunitaria en España by Lourdes Luzón Oliver, Verónica Casado Vicente

Connect to this object online.