Results 231 to 240 of about 3,473 (262)
The Ideology of Sovereign Money: How Bitcoin Harms Politics
Constellations, EarlyView.
Nanna Lilletvedt Sæten
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The semantic communication game
2016 IEEE International Conference on Communications (ICC), 2016This paper proposes a communication framework where meanings of transmitted codewords over a noisy channel are explicitly taken into account. Furthermore, such communication takes place in the presence of an external entity, i.e., an agent, that can influence the receiver.
Basak Guler +2 more
openaire +1 more source
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332), 2002
A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy ...
Vincent Danos, Russell Harmer
openaire +1 more source
A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the likelihood of seeing a given play. A two-sided die is shown to be universal in this category, in the sense that any strategy breaks down into a composition between some deterministic strategy ...
Vincent Danos, Russell Harmer
openaire +1 more source
Foundations and Trends® in Programming Languages, 2016
These tutorial notes present nominal game semantics, a denotational technique for modelling higher-order programs.
Andrzej S. Murawski, Nikos Tzevelekos
openaire +1 more source
These tutorial notes present nominal game semantics, a denotational technique for modelling higher-order programs.
Andrzej S. Murawski, Nikos Tzevelekos
openaire +1 more source
An invitation to game semantics
ACM SIGLOG News, 2016Game semantics is a flexible semantic theory that has led in recent years to an unprecedented number of full abstraction results for various programming paradigms. We present a gentle introduction to the subject, focussing on high-level ideas and examples with a view to providing a bridge to more technical literature.
Andrzej S. Murawski, Nikos Tzevelekos
openaire +1 more source
The role of semantics in games and simulations
Computers in Entertainment, 2008Powerful graphics hardware is enabling strong improvements in both the appearance and the complexity of virtual worlds for games and simulations. However, current practices in the design and development of virtual worlds mostly resemble high-tech variants of traditional handcrafts, resulting in increasingly unbearable design costs.
Tim Tutenel +3 more
openaire +2 more sources
Journal of Logic and Computation, 2006
We present a game semantics for modal propositional logic Grz. Since intuitionistic logic may be embedded into Grz, the semantics also covers intuitionistic propositional logic. That semantics is simpler than Lorenzen's ‘dialogue’ games, but lacks predicates.
openaire +1 more source
We present a game semantics for modal propositional logic Grz. Since intuitionistic logic may be embedded into Grz, the semantics also covers intuitionistic propositional logic. That semantics is simpler than Lorenzen's ‘dialogue’ games, but lacks predicates.
openaire +1 more source
2007
We present a games semantics of AnsPrologwith single headed clauses. Using the semantics, we derive tools for the assistance of verification of programs and tools based on those programs, a well as proposing a solver that grounds on the fly.
Jonty Needham, Marina De Vos
openaire +1 more source
We present a games semantics of AnsPrologwith single headed clauses. Using the semantics, we derive tools for the assistance of verification of programs and tools based on those programs, a well as proposing a solver that grounds on the fly.
Jonty Needham, Marina De Vos
openaire +1 more source
‘Is’, Semantical Games, and Semantical Relativity
1983If there is a doctrine shared by almost all analysts of the semantics of natural language in these days, it is the distinction between the different senses of “is”: the “is” of predication, the “is” of identity, and the “is” of existence. The “is” of predication is often called the copula.
openaire +1 more source