7988 search results - page 1370 / 1598 » A Useful Undecidable Theory |
146
click to vote
SLOGICA
2008
15 years 4 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
148
click to vote
SLOGICA
2008
15 years 4 months ago
2008
A generic format for adaptive vague logics is presented. The concrete adaptive vague logics based on this format are able to (1) identify sentences as vague or non-vague in the con...
139
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: The recent explosion in the availability of complete genome sequences has led to the cataloging of tens of thousands of new proteins and putative proteins. Many of the...
109
click to vote
TSP
2008
15 years 4 months ago
2008
We consider the design of cooperation coding schemes for a two-user multi-access channel (MAC). In particular, we consider two block Markov coding schemes, namely, the multiplexed...
146
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
In a seminal paper in 1973, Black and Scholes argued how expected distributions of stock prices can be used to price options. Their model assumed a directed random motion for the ...