Results 121 to 130 of about 1,307,657 (201)

The influence of semantics and numerical representation on the SNARC effect. [PDF]

Sci Rep
Kang T, Liu Y, Qu M, Wang R, Tang T.
europepmc   +1 more source

Runtime Monitoring of Static Fairness Properties

Henzinger TA, Karimi M, Kueffner K, Mallik K.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Formal Semantics

2018
P. Buttigieg, Ruth Duerr, Mark Schildhaue, Kai Blumberg, Gary Berg-Cross   +4 more
openaire   +2 more sources

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

IEEE Computer Security Foundations Symposium, 2018
A developing field of interest for the distributed systems and applied cryptography communities is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, D. Park, Yi Zhang, Andrei Stefanescu, Grigore Roşu   +10 more
semanticscholar   +1 more source

Formal semantics of speech acts for argumentative dialogues

Adaptive Agents and Multi-Agent Systems, 2014
In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing ...
Alison R. Panisson, Felipe Meneguzzi, M. Fagundes, R. Vieira, Rafael Heitor Bordini   +4 more
semanticscholar   +1 more source