1902 search results - page 14 / 381 » Differential Dynamic Logics |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
LCN
2003
IEEE
14 years 25 days ago
2003
IEEE
Differentiated Services provide a scalable Quality of Service Concept for the Internet. It allows differentiating service classes which may be treated individually. The data arisi...
JOLLI
2010
13 years 2 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
NECO
2010
13 years 2 months ago
2010
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
ENTCS
2007
13 years 7 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...