Results 31 to 40 of about 64,991 (246)
Realising Aboriginal Community Controlled Approaches to Child Reunification
Australian Journal of Social Issues, EarlyView.ABSTRACT Reunification rates for Aboriginal and Torres Strait Islander children in out‐of‐home care (OOHC) in Australia are critically low, even though reunification is the preferred permanency outcome for children following removal, and despite a range of mechanisms and strategies ostensibly to support effective reunification. To better understand the
B. J. Newton +4 more
wiley +1 more source
Effectively Solving NP-SPEC Encodings by Translation to ASP [PDF]
, 2015 NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are
Drescher C. +3 more
core +1 more source
Universal Entanglement and an Information‐Complete Quantum Theory
Advanced Physics Research, EarlyView.This Perspective summarize an informationcomplete quantum theory which describes a fully quantum world without any classical systems and concepts. Here spacetime/gravity, having to be a physical quantum system, universally entangles matter (matter fermions and their gauge fields) as an indivisible trinity, and encodes information‐complete physical ...
Zeng‐Bing Chen
wiley +1 more source
Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions [PDF]
, 2020 Daniel Rogozin
openalex +2 more sources
LoET-E: A Refined Theory for Proving Security Properties of Cryptographic Protocols
IEEE Access, 2019 Nowadays, more and more new cryptographic protocols are emerging, and the security analysis of emerging cryptographic protocols is increasingly important.
Jiawen Song +4 more
doaj +1 more source
Biological Reviews, EarlyView.ABSTRACT Three categories of explanations exist for why we age: mechanistic theories, which omit reference to evolutionary forces; weakening force of selection theories, which posit that barriers exist that prevent evolutionary forces from optimising fitness in ageing; and optimisation theories, which posit that evolutionary forces actually select for ...
Michael S. Ringel
wiley +1 more source
Refinement Calculus of Reactive Systems
, 2014 Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculus for reactive systems.
Preoteasa, Viorel, Tripakis, Stavros
core +1 more source
Continuous first order logic and local stability [PDF]
, 2008 We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends Henson's logic ...
Usvyatsov, Alexander, Yaacov, Itaï Ben
core +5 more sources
The Negation of Content Participation of the Concept of Existence in Islamic Gnosis and Transcendent Theosophy [PDF]
حکمت معاصر, 2013 In science of logic equivocation and content participation has been described on the basis of the literary contractions among men of letters, but Mulla Sadra referring to that philosopher doesn't pay attention to these contractions, explains the two ...
Morteza Shajari, Leila Ghorbani Alvar
doaj
Can Hybrid Organisations Solve the Paradox of the Triple Bottom Line, and Does It Need Solving?
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates how B Corp certification enables hybrid organisations to integrate competing institutional logics of market and social purpose. Through a two‐stage qualitative design combining cross‐sector interviews with B Corps and an in‐depth case study, with a total of 30 participants, we analyse how certification supports hybrid ...
Ruth Cherrington +3 more
wiley +1 more source