Results 71 to 80 of about 1,203,304 (231)
Gamifying cybersecurity: A narrative-driven approach to teaching steganography
Computers and Education OpenSerious games are increasingly used in educational settings to enhance student engagement and support deeper learning. While research shows that such games can improve holistic understanding and knowledge retention, their application in specialised ...
Femke G.J. Weijsenfeld, Dipti K. Sarmah
doaj +1 more source
The semantics of ellipsis [PDF]
, 2008 There are four phenomena that are particularly troublesome for theories of ellipsis: the existence of sloppy readings when the relevant pronouns cannot possibly be bound; an ellipsis being resolved in such a way that an ellipsis site in the antecedent is
Elbourne, Paul
core
Extending intelligent content delivery in technical communication by semantics: microdocuments and content services [PDF]
, 2020 Wolfgang Ziegler
openalex +1 more source
, 2001 We define a small step operational semantics for a core of Haskell. We modify this semantics to generate traces, specifically Augmented Redex Trails. This small and direct definition of Augmented Redex Trails shall improve our understanding of them and ...
Chitil, Olaf
core +1 more source
, 2018 AbstractThis chapter starts out from the idea that semantics is a “special science” whose aim, like that of chemistry or ecology, is to identify systematic, high-level patterns in a fundamentally physical world. I defend an approach to this task on which sentences are associated with sets of possible worlds (of some kind). These sets of worlds, however,
openaire +1 more source
Deep learning for predicting the occurrence of tipping points
Royal Society Open ScienceTipping points occur in many real-world systems, at which the system shifts suddenly from one state to another. The ability to predict the occurrence of tipping points from time series data remains an outstanding challenge and a major interest in a broad
Chengzuo Zhuge, Jiawei Li, Wei Chen
doaj +1 more source
Lambda Dependency-Based Compositional Semantics [PDF]
, 2013 This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing.
Liang, Percy
core
Operational Semantics of Process Monitors
, 2017 CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components.
A Roscoe +9 more
core +1 more source
, 2020 This chapter provides a general overview of the issues surrounding semantic monsters. It outlines the basics of Kaplan’s framework and spells out how and why the topic of “monsters” arises within that framework. The chapter distinguishes four notions of a monster and shows why they all coincide within Kaplan’s framework.
openaire +2 more sources
Flexible Instruction-Set Semantics via Type Classes [PDF]
, 2021 Thomas Bourgeat +6 more
openalex +1 more source