4217 search results - page 13 / 844 » Computational indistinguishability logic |
SIBGRAPI
2005
IEEE
14 years 4 months ago
2005
IEEE
Images rendered using global illumination algorithms are considered amongst the most realistic in 3D computer graphics. However, this high fidelity comes at a significant comput...
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...
ICS
2010
Tsinghua U.
14 years 8 months ago
2010
Tsinghua U.
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...
BSL
2006
13 years 11 months ago
2006
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...
TCBB
2011
13 years 5 months ago
2011
—Constructing accurate computational models that explain how ions permeate through a biological ion channel is an important problem in biophysics and drug design. Brownian dynami...