Search Results - NORSAR~

AS RAZÕES DOS PSIQUIATRAS DA EPEE, PARA A CRIAÇÃO DO CURSO DE VISITADORAS SOCIAIS (1927) by Simone Gonçalves Rodrigues, Osnir Claudiano da Silva Junior

Connect to this object online.

AS RAZÕES DOS PSIQUIATRAS DA EPEE, PARA A CRIAÇÃO DO CURSO DE VISITADORAS SOCIAIS (1927) by Simone Gonçalves Rodrigues, Osnir Claudiano da Silva Junior

Connect to this object online.

Blue Planet Law The Ecology of our Economic and Technological World /

Table of Contents: “…Between the Hobbesian nightmare and a new culture of the commons -- Human Responsibility for the Protection of our "Common Home" -- Scientific Knowledge: its Impacts on Judicial Decision-making and International Law in the Era of Sustainability -- Part II Climate, Ocean and Biodiversity Protection -- Climate Change and Sustainability -- Pollution and Law -- Suing States: The Role of Courts in Promoting States' Responsibility for Climate Change -- Marine biodiversity beyond national jurisdiction -- Climate Change and the Ocean: The Disruption of the Coral Reef -- Marine Protected Areas and Ocean Sustainability -- Part III Law, Policy and Ecological Sustainability -- Renewable Energies, Sustainability and Law -- The Impact of Ecolabels and Green Taxes on Market Outcomes -- Environmental Governance through Tax Law in the European Union -- The Legal and Normative Challenges behind Sustainable Seafood -- Economy of the Sea and Sustainable Development: The 2030 Agenda Beyond Boxes -- Part IV Law, Genetic Resources and Biotechnology -- A Legal Approach to Fostering Green Infrastructure for Improved Water and Energy Efficiency -- Law and Marine Genetic Resources -- Marine Bioprospecting: Understanding the Activity and Some Challenges related to Environmental Protection, Scientific Research, Ethics and the Law -- Biotechnological Patents, Compulsory Licensing and Sars-cov-2 in a pandemic and epidemic context -- Fighting Listeria monocytogenes with bacteriophages: Biotechnology for Food Safety -- Genetic Engineering and the Law - Past, Present and Beyond: 20+1 Criteria to Help Focus the Path to Our Common Future.…”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

Asylum Determination in Europe Ethnographic Perspectives /

Table of Contents: “…Making the Right Decision: Justice in the Asylum Bureaucracy in Norway; Tone Maia Liodden -- Chapter 13. Taking the 'Just' Decision: Caseworkers and Their Communities of Interpretation in the Swiss Asylum Office; Laura Affolter, Jonathan Miaz, Ephraim Poertner -- Chapter 14. …”
Link to Metadata

Literatur und Recht: Materialität Formen und Prozesse gegenseitiger Vergegenständlichung /

Table of Contents: “…Zur Kartierung des Forschungsfeldes ,Literatur und Recht' -- Gideon Stiening: Der Begriff der Materialität als Kategorie der Prozesse gegenseitiger Vergegenständlichungen von Recht und Literatur -- II Literatur im Spannungsfeld von Kreativität, Ökonomie und Recht -- Wanda Kaufmann, Carolina Kögler, Christian Peter, Corinna Norrick-Rühl, Petra Pohlmann, Gernot Sieg: Rechtliche und ökonomische Bedingungen des deutschen Buchmarkts -- Lena Schüler: Die Materialisierung von Literatur und (Kartell-)Recht in den Wirtschaftswissenschaften -- Eberhard Ortland: Material und Werk im Urheberrecht -- III Kontroversen der Vergegenständlichungsprozesse von Literatur im Recht -- Daniel Arjomand, Nursan Celik: Zur Einführung -- Ino Augsberg: Richten müssen über etwas, das man nicht bestimmen darf. …”
Link to Metadata

The Missing Link An Introduction to Web Development and Programming by Mendez, Michael

Table of Contents: “…Chapter 1: Brief History of the Internet -- Chapter 2: Current Trends -- Chapter 3: Web Servers -- Chapter 4: Network Basics -- Chapter 5: Website Design -- Chapter 6: Development -- Chapter 7: Markup Languages -- Chapter 8: Creating HTML Files -- Chapter 9: Page Layout -- Chapter 10: Text Layout -- Chapter 11: Navigation -- Chapter 12: Graphics -- Chapter 13: Tables -- Chapter 14: Forms -- Chapter 15: Canvas -- Chapter 16: Media Support -- Chapter 17: Mobile Device Support -- Chapter 18: Tags to Avoid -- Chapter 19: Rule Structure -- Chapter 20: Layout Formatting -- Chapter 21: Font and Text Decoration -- Chapter 22: Responsive Styling -- Chapter 23: Server-Side and Client-Side Scripting -- Chapter 24: Creating PHP Files -- Chapter 25: PHP Errors -- Chapter 26: PHP Output -- Chapter 27: Data Storage -- Chapter 28: Data Manipulation -- Chapter 29: Email -- Chapter 30: File Interaction -- Chapter 31: Structures -- Chapter 32: Functions -- Chapter 33: Objects and Classes -- Chapter 34: JavaScript Syntax -- Chapter 35: JavaScript Examples -- Chapter 36: jQuery -- Chapter 37: Database Types -- Chapter 38: Data Relationships -- Chapter 39: MySQL Data Types -- Chapter 40: Normalization -- Chapter 41: MySQL CRUD Actions -- Chapter 42: Advanced Queries -- Chapter 43: Security -- Chapter 44: Integration Examples -- Chapter 45: Finishing Touches -- Chapter 46: Now What?…”
Access online version

Recordando siempre la historia del Instituto Nacional Materno Perinatal, la ex Maternidad de Lima by Enrique Guevara-Ríos

Connect to this object online.

Nem você acreditava que este lance daria tão certo, Carlos Grossman! by José Mauro Ceratti Lopes, Bianca Niemezewski Silveira, Eduardo Aires de Oliveira, Francisco Souza Santos

Connect to this object online.

ALUNAS ORIENTAIS EGRESSAS DA ESCOLA DE ENFERMAGEM DA USP: 1953 a 1970 by Barbara Felix Fragazi da Silva, Genival Fernandes de Freitas

Connect to this object online.

AS RAZÕES DOS PSIQUIATRAS DA EPEE, PARA A CRIAÇÃO DO CURSO DE VISITADORAS SOCIAIS (1927) by Simone Gonçalves Rodrigues, Osnir Claudiano da Silva Junior

Connect to this object online.

La CPU-e, Revista de Investigación Educativa en SciELO by Mtro. Héctor Merino Sánchez, Lic. Cynthia Palomino Alarcón

Connect to this object online.

ALUNAS ORIENTAIS EGRESSAS DA ESCOLA DE ENFERMAGEM DA USP: 1953 a 1970 by Barbara Felix Fragazi da Silva, Genival Fernandes de Freitas

Connect to this object online.

Review about Ramón Pérez Juste, Francisco López Rupérez, Mª Dolores Peralta Ortiz, Pedro Municio Fernández: Towards a quality education. Management, instruments and evaluation... by Elías Ramírez Aísa

Connect to this object online.

Revistas de investigación educativa: entre la productividad académica y la cambiante realidad social by Raquel Aparicio Cid

Connect to this object online.

DECLARAÇÃO DE BRASÍLIA "O Conceito de rural e o cuidado à saúde" by Nilson Massakazu Ando, Leonardo Vieira Targa, Arnaldo Almeida, Dijon Hosana Souza Silva, Enrique Falceto de Barros, Fabio Duarte Schwalm, Leonardo Cançado Monteiro Savassi, Marcos Breunig, Monica Correia Lima, Ricardo Amaral Filho, Thereza Cristina Gomes Horta

Connect to this object online.

ALUNAS ORIENTAIS EGRESSAS DA ESCOLA DE ENFERMAGEM DA USP: 1953 a 1970 by Barbara Felix Fragazi da Silva, Genival Fernandes de Freitas

Connect to this object online.

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Transformational Change for People and the Planet Evaluating Environment and Development /

Table of Contents: “…Evaluating for Resilient and Sustainable Livelihoods: Applying a Normative Framework to Emerging Realities -- 18. Measuring the Impact of Monitoring: How We Know Transparent Near-Real-Time Data Can Help Save the Forests -- 19. …”
Link to Metadata

Education, Equity and Inclusion Teaching and Learning for a Sustainable North /

Table of Contents: “…Multi-grade Teaching in a Small Rural School in Northern Norway -- Chapter 15. Fostering professional development for inclusive education in rural Iceland: A collaborative action research project -- Chapter 16.Concluding chapter: Southern Reflections on Education toward a Sustainable North.…”
Link to Metadata