Search Results

The Semantics of Diversity in Higher Education: Differences between the Global North and Global South

• Authors : Pineda, Pedro (ORCID 0000-0001-8775-1971); Mishra, Shweta

Subjects: Semantics; Diversity; Higher EducationUnited States; Canada; United Kingdom

• Source: Higher Education: The International Journal of Higher Education Research. Apr 2023 85(4):865-886.22

Record details

ETC: A REVIEW OF GENERAL SEMANTICS: THE NEIL POSTMAN YEARS.

• Authors : GENCARELLI, THOM¹

• Source: ETC: A Review of General Semantics. Jan-Apr2020, Vol. 77 Issue 1/2, p7-39. 33p.

Record details

Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks

• Authors : Bistarelli, Stefano; David, Victor; Monnin, Pierre ...

Subjects: [INFO]Computer Science [cs]United StatesPhiladelphia, United States

• Source: The 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025) ; https://inria.hal.science/hal-04876258 ; The 39th Annual AAAI Conference on Artificial Intelligence (AAAI 2025), Feb 2025,

Record details

A Categorical Framework for Program Semantics and Semantic Abstraction

• Authors : Katsumata, Shin-Ya; Rival, Xavier; Dubut, Jérémy ...

Subjects: Semantics; Abstract interpretation; Oplax functorsBloomington; United StatesBloomington, United States

• Source: MFPS 2023 - Mathematical Foundations of Program Semantics ; https://hal.science/hal-04290749 ; MFPS 2023 - Mathematical Foundations of Program

Record details

A Semantics of Core Erlang with Handling of Signals

• Authors : Kong Win Chang, Aurélie; Feret, Jerome; Gössler, Gregor ...

Subjects: Core Erlang; Semantics; SignalsSeattle WA; United States

• Source: ACM Digital Library ; Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang ; https://hal.science/hal-04222884 ; Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023,

Record details

Semantics of Probabilistic Programs using s-Finite Kernels in Coq

• Authors : Affeldt, Reynald; Cohen, Cyril; Saito, Ayumu ...

Subjects: Mmeasure theory; Integration theory; Probabilistic programming languageBoston; United StatesBoston, United States

• Source: CPP 2023 - Certified Programs and Proofs ; https://inria.hal.science/hal-03917948 ; CPP 2023 - Certified Programs and Proofs, Jan 2023, Boston, United States.

Record details

Certified Abstract Machines for Skeletal Semantics

• Authors : Ambal, Guillaume; Lenglet, Sergueï; Schmitt, Alan ...

Subjects: Skeletal Semantics; Operational Semantics; Abstract MachinesUnited StatesPhiladelphia, United States

• Source: CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03466807 ; CPP 2022 - 11th ACM SIGPLAN International Conference on Certified

Record details

MEDIA LITERACY AS AN ETHICAL OBLIGATION: A GENERAL SEMANTICS APPROACH.

• Authors : STRATE, LANCE¹

• Source: ETC: A Review of General Semantics. Apr2014, Vol. 71 Issue 2, p101-105. 5p.

Record details

A GENERAL SEMANTICS APPROACH TO SCHOOL-AGE BULLYING.

• Authors : Liepe-Levinson, Katherine; Levinson, Martin H.

• Source: ETC: A Review of General Semantics. Jan2005, Vol. 62 Issue 1, p4-16. 13p.

Record details

The Effect of Language Dominance on Classic Semantic, Action, Emotional, and Phonemic Fluency in Unbalanced Bilinguals.

• Authors : Boji P. W. Lam¹ ; Jiyoung Yoon²

• Source: Journal of Speech, Language & Hearing Research. Dec2023, Vol. 66 Issue 12, p4967-4983. 17p.

Record details