Search Results - NORSAR~

SISTEMA DE INTERNATO E PROBLEMAS DE SAÚDE DAS ALUNAS INTERNAS, NA EEUSP: 1947 A 1954 by Genival Fernandes Freitas, Magali Hiromi Takashi

Connect to this object online.

Ética médica e rastreamento: em quais evidências deveríamos nos apoiar? by Armando Henrique Norman

Connect to this object online.

SISTEMA DE INTERNATO E PROBLEMAS DE SAÚDE DAS ALUNAS INTERNAS, NA EEUSP: 1947 A 1954 by Genival Fernandes Freitas, Magali Hiromi Takashi

Connect to this object online.

VIVENCIANDO UM GRUPO COM USUÁRIOS DIABÉTICOS E HIPERTENSOS: RELATO DE EXPERIÊNCIA by Fernanda Almenara Silva dos Santos, Dalvani Marques, Ana Lúcia Abrahão, Ana Barreto

Connect to this object online.

SISTEMA DE INTERNATO E PROBLEMAS DE SAÚDE DAS ALUNAS INTERNAS, NA EEUSP: 1947 A 1954 by Genival Fernandes Freitas, Magali Hiromi Takashi

Connect to this object online.

Editorial by Milagros Muñoz Martín

Connect to this object online.

Algunas consideraciones teóricas sobre la enseñanza-aprendizaje de la traducción e interpretación en el contexto universitario by Dr. Emilio Ortega Arjonilla

Connect to this object online.

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Around the initial and permanent teacher training by José Camacho Cabello

Connect to this object online.

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

Table of Contents: “…Reuse of a railway depot -- A university campus for medical disciplines for the redevelopment of the Guglielmo da Saliceto Hospital in Piacenza -- Application of externally bonded fabric reinforced cementitious matrix to existing masonry and concrete structures -- Strengthening of different types of slabs with composite reinforced mortars (CRM) -- Energy Retrofit Potential evaluation. …”
Link to Metadata

Handbook of Positive Psychology, Religion, and Spirituality

Table of Contents: “…Part I: Historical and Theoretical Considerations -- Integrating Positive Psychology and the Psychology of Religion and Spirituality: Transcending Coexistence to Potentiate Coevolution -- Positive Psychology and the Psychology of Religion and Spirituality in Historical Perspective -- On the Integration of Positive Psychology and the Psychology of Religion and Spirituality: Logical, Normative, and Methodological Questions -- Virtues in Positive Psychology and the Psychology of Religion and Spirituality -- Theories of Health and Well-Being Germane to a Positive Psychology of Religion and Spirituality -- Meaning as a Framework for Integrating Positive Psychology and the Psychology of Religiousness and Spirituality -- Part II: Methodological Considerations -- Measurement at the Intersection of Positive Psychology and the Psychology of Religion and Spirituality -- Methodological Diversity in Positive Psychology and the Psychology of Religion and Spirituality -- Part III: Cultural Considerations -- Cultural Considerations in Positive Psychology and the Psychology of Religion and Spirituality -- Positive Psychology and Christianity -- Positive Psychology and Judaism -- Living the Good Life: An Islamic Perspective on Positive Psychology -- Positive Psychology and Hinduism -- Positive Psychology and Buddhism -- "Positive Psychology and Religion/Spirituality Across Cultures in Europe, Non-U.S. …”
Link to Metadata

Non-affirmative Theory of Education and Bildung

Table of Contents: “…Operating in an outcomes-based and a democratic Bildung discourse (Lejf Moos) -- Chapter 14. On the normativity of data-driven curriculum policy-making: a discursive and non-affirmative approach (Andreas Nordin) -- Chapter 15. …”
Link to Metadata

The Inspection of Education of the Canary Islands by José Francisco Leal Simón

Connect to this object online.

Interview with Ramón Pajares Box by Equipo Editorial

Connect to this object online.

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…Exponential Family Models for Continuous Responses; Norman Verhelst -- 8. Tracking Ability: Defining Trackers for Measuring Educational Progress; Matthieu Brinkhuis, GunterMaris -- 9. …”
Link to Metadata

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Table of Contents: “…Gender-typing god representations: Socio-normative constraints and ontological significance ( Grégory Dessart, Zhargalma Dandarova Robert, Pierre-Yves Brandt) -- Chapter 4. …”
Link to Metadata

Frontiers of Real Estate Science in Japan

Table of Contents: “…Current status and issues for urban (regional area) formulation of the Location Normalization Plan: the case of Niigata City -- Chapter 21. …”
Link to Metadata

Wellbeing, Freedom and Social Justice The Capability Approach Re-Examined by Robeyns, Ingrid

Table of Contents: “…-- 3.11 A suitable theory for all normative questions? -- 3.12 The role of resources in the capability approach -- 3.13 The capability approach and theories of justice -- 3.14 Capabilities and human rights -- 3.15 Conclusion -- 4. …”
Access online version

Slavery to Liberation The African American Experience by Farrington, Joshua, Powell, Norman W., Graham, Gwendolyn, Anyanwu, Ogechi E.

Table of Contents: “…Ch. 1: Introduction to the African American Experience, by Aaron Thompson -- Ch. 2: Concepts of Beauty: Black and White Connotations, by Norman Powell -- Ch. 3: Gumboot Dancing, Origins, Influences and Uses, by Nicola Mason -- Ch. 4: “The Strong Cords of Affection” Enslaved African American Families and Escape to the U.S. …”
Access online version

South-North Migration of EU Citizens in Times of Crisis

Table of Contents: “…Southern Europeans in France: invisible immigrants?:Tatiana Eremenko, Nora El Qadim and Elsa Steichen -- Chapter 9. Gastarbeiter Migration Revisited: Consolidating Germany's Position as an Immigration Country : Amanda Klekowski von Koppenfels and Jutta Höhne -- Chapter 10. …”
Link to Metadata