Results 81 to 90 of about 3,323 (276)

Strengthening Treaty Understanding: The Role of Education in Building Durable Indigenous–State Agreements

Australian Journal of Social Issues, EarlyView.
ABSTRACT Education is a central mechanism for ensuring that Indigenous–State treaties are understood, supported and endure through political change. Public knowledge shapes the negotiation, acceptance, implementation and long‐term stability of agreements. In Australia, however, treaty knowledge remains fragmented.
Jacob Prehn, Harry Hobbs, Jessica Horton
wiley   +1 more source

The Logic of Quantum Programs. [PDF]

, 2004
We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems.
Smets, Sonja, Baltag, Alexandru, Ru Baltag, Sonja Smets   +3 more
core  

King Aorta: Narrative anatomy education

Anatomical Sciences Education, Volume 18, Issue 3, Page 264-276, March 2025.
Abstract The aim of this study was to investigate the effects of narrative anatomy education and traditional anatomy education on academic achievement. The study included 64 students who were randomly divided into two groups. The two groups were (n = 32) control (Group 1) and (n = 32) experimental (Group 2). The pretest scores of the two groups were 36.
Halil Yilmaz
wiley   +1 more source

Semantic Incompleteness of Liberman et al. (2020)’s Hilbert-style Systems for Term-modal Logics with Equality and Non-rigid Terms

Bulletin of the Section of Logic
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj   +1 more source

A Dynamic Informational-Epistemic Logic

, 2018
Epistemic logic is usually employed to model two aspects of a situation: the ontic and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a four-valued epistemic logic designed to deal with situations of this sort ...
openaire   +1 more source

Developing a critical caste analysis within information science and technology: A research review: An annual review of information science and technology paper

Journal of the Association for Information Science and Technology, EarlyView.
Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley   +1 more source

Investigating the Nature of Orientalism from a Philosophical-Historical Point of View Based on the Relationship between Subject and Object [PDF]

Comparative Theology
This article examined the emergence of the human subject as the central focus of modern thought, tracing its origins from the Renaissance period through the Enlightenment. Using a descriptive-analytical approach, it explored the philosophical foundations
Ghorban Elmi, Alireza Nahri
doaj   +1 more source

Relating Algebraic and Coalgebraic Logics of Knowledge and Update

, 2006
We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea, Sadrzadeh, Mehrnoosh, Sadrzadeh, M., M. Sadrzadeh, Cirstea, Corina, Cirstea, C.   +5 more
core  

Sleep‐trackers in the wild: A faceted taxonomy for information and interaction design

Journal of the Association for Information Science and Technology, EarlyView.
Abstract Consumer‐grade sleep‐tracking technologies (CSTs) have brought sleep into everyday data practices, reframing it from a clinical concern into a site of personal optimization and reflection. Yet existing taxonomies of sleep‐tracking often medicalize users and overlook the complexity of sleep‐tracking technologies. This paper presents SleepTax, a
Sanonda Datta Gupta, Jaime Snyder, John S. Seberger   +2 more
wiley   +1 more source

Different Aspects of the Frame Problem and Its Relation to Our Cognitive Background of the World [PDF]

حکمت و فلسفه
IntroductionThe frame problem was first introduced by McCarthy and Hayes (1969). In short, the initial issue was that there are no clear principles indicating what an action changes and what remains unchanged at a given time.
Abolfazl Sabramiz
doaj   +1 more source