Results 61 to 70 of about 27,151 (281)
Mapping Intimate Partner Financial Abuse Across Public and Private Systems
Australian Journal of Social Issues, EarlyView.ABSTRACT This article maps the ways that intimate partner financial abuse presents, and the range of public and private entities involved in its perpetration. It reports on an analysis of submissions by individuals to the Australian parliamentary inquiry into the Financial Services Regulatory Framework in Relation to Financial Abuse.
Adrienne Byrt +3 more
wiley +1 more source
The Variable Hierarchy for the Games mu-Calculus [PDF]
, 2008 Parity games are combinatorial representations of closed Boolean mu-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors into a mu-calculus. As done by Berwanger et al. for the propositional modal mu-calculus,
Belkhir, Walid, Santocanale, Luigi
core +1 more source
The Cost of the National Disability Insurance Scheme: Australia's Print‐Media Discourse
Australian Journal of Social Issues, EarlyView.ABSTRACT This paper examines the way that Australian newspapers have framed the cost of the National Disability Insurance Scheme (NDIS). Introduced in 2013, the NDIS represented a major change in Australia's disability support policy, moving for the first time to a nationwide universal insurance model.
Meera Chinnappa +2 more
wiley +1 more source
Os Paradoxos de Prior e o Cálculo Proposicional Deôntico Relevante Eo
Princípios, 2010 Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at
Ângela Maria Paiva Cruz
doaj
Completeness of Flat Coalgebraic Fixpoint Logics
, 2010 Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type.
Gastin, P. +3 more
core +1 more source
Exploring the World of Double Nanohoops
Angewandte Chemie International Edition, EarlyView.As two conjugated nanohoops covalently linked by a central unit, double nanohoops are a relatively new class of strained nanocarbons with different properties to single nanohoops. This review gives an overview of all reported double nanohoops, categorizing their structures, syntheses, and discussing properties and applications. Creativity and synthetic
Luisa Rzesny +2 more
wiley +1 more source
Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented.
Marcelo E. Coniglio, María I. Corbalán
doaj +1 more source
Investigation of Hexagonal Honeycomb Topology for Impact Optimization in Energetic Material
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT The regulation of the mechanical properties of energetic materials manufactured by traditional processes is constrained. However, the introduction of lattice structures can facilitate the regulation of mechanical properties without necessitating alterations to the materials themselves. Using finite element analysis and experimental validation,
Xueye Chen +4 more
wiley +1 more source
A derivation-loop method for temporal logic
Lietuvos Matematikos Rinkinys, 2019 Various types of calculi (Hilbert, Gentzen sequent, resolution calculi, tableaux) for propositional linear temporal logic (PLTL) have been considered in the literature.
Romas Alonderis, Haroldas Giedra
doaj +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources