2086 search results - page 110 / 418 » Mathematical Theory Exploration |
230
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
90
Voted
ISSAC
2005
Springer
15 years 9 months ago
2005
Springer
Picard-Vessiot extensions for ordinary differential and difference equations are well known and are at the core of the associated Galois theories. In this paper, we construct fu...
101
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
106
click to vote
DAM
2008
15 years 3 months ago
2008
We give an overview on twisting commutative algebraic groups and applications to discrete log based cryptography. We explain how discrete log based cryptography over extension fie...
153
Voted
MOC
2010
14 years 10 months ago
2010
Some significant quantities in mathematics and physics are most naturally expressed as the Fredholm determinant of an integral operator, most notably many of the distribution funct...