Taxation, International Cooperation and the 2030 Sustainable Development Agenda

Table of Contents: “…The Promise of Non-Arm's Length Practices: Is the Destination-Based Cash Flow Tax or Unitary Taxation the Panacea of which Developing Countries are in Search? (Afton Titus) -- Chapter 3. The Suitability of BEPS in Developing Countries (Emphasis on Latin America and the Caribbean) (Isaác Gonzalo Arias Esteban and Anarella Calderoni) -- Part II: External assistance for tax capacity building ((Chapters on external assistance, including issues for donors) -- Chapter 4. …”
Link to Metadata

Regenerative Territories Dimensions of Circularity for Healthy Metabolisms /

Table of Contents: “…The role of Living Labs in regenerative decision-making processes(Maria Cerreta) -- Part IV: New definitions: a shared glossary -- Chapter 13. Territorialising circularity(Furlan Cecilia, Alexander Wandl) -- Chapter 14. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

The Politics of Children's Rights and Representation

Table of Contents: “…Recognizing children's rights: From child protection to children's human rights - the 1979 Swedish ban on corporal punishment in perspective -- Chapter 2. Adults in charge: The limits of formal child participatory processes for societal transformation -- Chapter 3. …”
Link to Metadata

Challenging Assumptions Around Dementia User-led Research and Untold Stories / by Ashworth, Rosalie, Fyvel, Sue, Hill, Alyson, Maddocks, Chris, Qureshi, Masood, Ross, David, Hay, Stuart, Robertson, Martin, Gilder, Willy, Henry, Winnie, Lamont, Myra, Houston, Agnes, Wilson, Fred S.

Link to Metadata

Reimagining Science Education in the Anthropocene, Volume 2

Table of Contents: “…-- Chapter 8 The Social Focus Framework: Antiracist and Anticolonial Conscientization, Consequence, and Presencing in Science Education -- Chapter 9 Breaking the Paradigm: Storying Climate Change -- Part III Politics and Political Reverberations -- Chapter 10 From False Generosity to True Generosity: Theorizing a Critical Imaginary for Science Education -- Chapter 11 Anti-racist Praxis in (Science and) Education -- Chapter 12 Science Education: From an Ideology of Greed to an Ideology of Thriving -- Chapter 13 Practices of Care with the Anthropocene: Scenes from the 2019 Nebraska Flood -- Part IV Science Education for a World Yet to Come -- Chapter 14 Science Fiction, Speculative Pedagogy, and Critical Hope: Counternarratives for/of the Future -- Chapter 15 Curriculum Beyond Apocalypse -- Chapter 16 Let's Root for Each Other and Grow: Interconnectedness (with)in Science Education -- Chapter 17 Perturbing Current Boundary Conditions in Discipline-Based and Science Education Research in the Anthropocene: Implications for Research and Teaching Communities -- Part V Complicated Conversations -- Chapter 18 In Conversation with SharonTodd: Rethinking the Future in a Time of Sorrow -- Chapter 19 In Conversation with Max Liboiron: Towards an Everyday, Anticolonial Feminist Science (Education) Practice -- Chapter 20 In Conversation with Isabelle Stengers: Ontological Politics in Catastrophic Times -- Chapter 21 In Conversation with Steven Khan: Sensible and Sense-able Qualitative Literacies for Multi-species Flourishing -- Conclusion Amplifying Science Education Research with(in) a Minor Key. .…”
Link to Metadata

Leadership in Educational Contexts in Finland Theoretical and Empirical Perspectives /

Table of Contents: “…Introduction; Raisa Ahtiainen, Eija Hanhimäki, Jaana Leinonen, Mika Risku & Ann-Sofie Smeds-Nylund -- Part I Context -- Educational Policy, Governance, and Leadership; Jukka Alava, Pia Kola-Torvinen & Mika Risku -- In Quest of Principalship; Petri Salo & Siv Saarukka -- Towards a Multi-form Professional Development of Educational Leadership; Eija Hanhimäki, Janni Alho, Piia Nuora, Mika Risku, Elina Fonsén, Alex Mäkiharju, Ann-Sofie Smeds-Nylund, Petra Autio & Saana Korva -- Service Design Thinking Method for Educational Leaders; Mari Suoheimo & Kaarina Määttä -- Part II Conceptual Approaches -- Understanding leadership in educational leadership research in Finland; Saana Korva & Pikka-Maaria Laine -- Positioning and Conceptualising Finnish Pedagogical Leadership in the International Setting; Jukka Alava, Terttu Kovalainen & Mika Risku -- The Concept of Pedagogical Leadership in Finnish Education Enhancing Global Understanding of Leading High-quality Education; Elina Fonsén & Tapio Lahtero -- Pedagogical Dimensions of Curriculum Leadership - a Non-affirmative Approach; Michael Uljens -- Part III Leadership Profession -- Moral Professionalism in the Context of Educational Leadership; Eija Hanhimäki -- Conceptions of Diversity Among Finnish Principals; Anita Jantunen, Lauri Heikonen, Raisa Ahtiainen, Elina Fonsén & Arto Kallioniemi -- Contradictions and Opportunities in Contexts of Everyday Leadership in Education; Mari Simola & Raisa Ahtiainen -- Examining Contradictions for the Development of Competencies in School Leadership; Lauri Lantela, Ville Pietiläinen & Saana Korva -- Principals' Perceptions of Their Work during the COVID-19 Pandemic; Mailis Elomaa, Marja-Kristiina Lerkkanen, & Eija Pakarinen -- Part IV School Community and Collaboration -- Cultural Antecedents in Multisectoral Collaboration Promoting the Wellbeing of School-aged Children; Henna Nurmi, Jaana Leinonen, Malla Örn & Outi Ylitapio-Mäntylä -- The Leadership Group as Means for Teacher Participation and Distributing Leadership; Raisa Ahtiainen & Lauri Heikonen -- Prosociality in Shared Leadership from the Finnish Principals' Viewpoint; Takumi Yada -- Teachers as leaders? …”
Link to Metadata

Evaluating Evidence of Mechanisms in Medicine Principles and Procedures / by Parkkinen, Veli-Pekka, Wallmann, Christian, Wilde, Michael, Clarke, Brendan, Illari, Phyllis, Kelly, Michael P., Norell, Charles, Russo, Federica, Shaw, Beth, Williamson, Jon

Table of Contents: “…-- 1.3.1 Evaluating efficacy -- 1.3.2 Evaluating external validity -- 1.3.3 Other questions -- 1.3.4 Importance of considering evidence of mechanisms -- 2 How to consider evidence of mechanisms: a summary -- 2.1 Questions to address -- 2.2 Quality level of evidence and status of claim -- 2.3 Identifying evidence of mechanisms in the literature -- 2.4 Evaluating evidence of mechanisms -- 2.5 Using evidence of mechanisms to evaluate causal claims -- 2.6 Overall approach -- 3 Identifying evidence of mechanisms in the literature -- 3.1 Hypothesize a mechanism -- 3.2 Search the literature -- 3.3 Identify the evidence most relevant to the mechanism hypothesis -- 3.4 Presenting the evidence of mechanisms -- 4 Evaluating evidence of mechanisms -- 4.1 Considerations for evaluating evidence of mechanism -- 4.2 Presenting quality of evidence of mechanisms -- 5 Using evidence of mechanisms to evaluate efficacy and external validity -- 5.1 Efficacy -- 5.2 External validity -- 6 Glossary -- 7 References -- 8 Acknowledgements -- 9 Appendix A. …”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Usuários da Informação e Diversidade by Casarin, Helen de Castro Silva

DOAB: download the publication
DOAB: description of the publication

Morsmålsdidaktisk forskning og profesjonalisert lærerutdanning Fem nordiske beretninger om 50 års utvikling og kamp by Erixon, Per-Olof

DOAB: download the publication
DOAB: description of the publication

La Ética y la Responsabilidad Social Empresarial, un reto para las Empresas en preservar los recursos naturales del Ecuador by López-Pérez, Patricio Javier

DOAB: download the publication
DOAB: description of the publication

Skriveren og teksten by Straume, Ingerid S.

DOAB: download the publication
DOAB: description of the publication

KfW Water Symposium 2009 Financing Sanitation by KfW Development Bank

DOAB: download the publication
DOAB: description of the publication

Contemporary Natural Philosophy and Philosophies - Part 1 by Dodig-Crnkovic, Gordana

DOAB: download the publication
DOAB: description of the publication

Emergent Quantum Mechanics. David Bohm Centennial Perspectives by Walleczek, Jan

DOAB: download the publication
DOAB: description of the publication

La naissance du tribunal pour enfants : Une comparaison France-Québec (1912-1945) by David Niget

DOAB: download the publication
DOAB: description of the publication

Quantitative Biology: Dynamics of Living Systems by Noriko Hiroi

DOAB: download the publication
DOAB: description of the publication

Towards Socially Integrative Cities Perspectives on Urban Sustainability in Europe and China

DOAB: download the publication
DOAB: description of the publication

Novel Antibacterial Agents

DOAB: download the publication
DOAB: description of the publication