Results 91 to 100 of about 7,776,605 (218)
‘Turkeys Cannot Vote for Christmas’: Why Epistemic Disobedience in an Anti‐Black World Matters
Australian Journal of Social Issues, EarlyView.ABSTRACT Never in the history of global coloniality has the idea of epistemic disobedience been as important as in the 21st century. This is not only because the struggle for decolonisation has shifted from physical confrontation between the coloniser and the colonised into a battle of ideas but also because the former has deployed the idea of ...
Morgan Ndlovu
wiley +1 more source
Two-station equivalent of hydro power systems
, 2005 This paper studies the possible gains of representing hydropower systems with a new model consisting of two stations instead of the usual one station representation.
Söder, Lennart,, Rendelius, Jonas
core
The Legislation for Providing Animal Access in Australian Residential Aged Care: It's Not a Zoo
Australian Journal of Social Issues, EarlyView.ABSTRACT Providing meaningful animal contact to residential aged care facility (RACF) residents is problematic due to a lack of animal policies and National Guidelines. This paper examines how Australian Legislation could influence access to animal contact in RACFs and aims to answer the question, ‘Could current Legislation facilitate the development ...
Wendy Newton +2 more
wiley +1 more source
A Framework for Cooperative Deductive Database Systems
, 2012 In this paper, we address the problems of design, management, and integration of deductive database systems in a loosely coupled architecture, which constitute a cooperative deductive database system.
Sarda, N. L., Mohania, M. K.
core
Deductive Object-Oriented Database Systems: A Survey
, 1997 . Deductive object-oriented databases (DOODs) seek to combine the complementary benefits of the deductive and the object-oriented paradigms in the context of databases. Research into DOODs has now been taking place for almost ten years, and a significant
Pedro R. Falcone Sampaio +3 more
core
A FRAMEWORK FOR COOPERATIVE DEDUCTIVE DATABASE-SYSTEMS
, 1995 In this paper, we address the problems of design, management, and integration of deductive database systems in a loosely coupled architecture, which constitute a cooperative deductive database system.
MOHANIA, MK, SARDA, NL
core
Automating the Meta Theory of Deductive Systems
, 2000 This thesis describes the design of a meta-logical framework that supports the representation and verification of deductive systems, its implementation as an automated theorem prover, and experimental results related to the areas of programming languages,
Carsten Schürmann
core
CPES : Center Program Snapshot (April 2009)
, 2009 With the widespread use of power electronics technology, the United States would be able to cut electrical energy consumption by 33 percent. The energy savings, by today’s measure, is equivalent to the total output of 840 fossil fuel-based generating ...
Center for Power Electronics Systems
core
Deductive Verification of Hybrid Systems Using STeP
, 1998 . We investigate the feasibility of computer-aided deductive verification of hybrid systems. Hybrid systems are modeled by phase transition systems, in which activities specify the bounds on the derivatives of the continuous variables.
Henny B. Sipma, Zohar Manna
core
Teaching geometry in lower secondary school in Shanghai, China
, 2006 This paper reports on a study of geometry teaching at the lower secondary school level in Shanghai, China. Through an analysis of data from observing a variety of Year 9 (Grade 8) lessons, and utilising data from the students’ performance in school ...
Ding, Liping, Jones, Keith
core