4217 search results - page 13 / 844 » Computational indistinguishability logic |
SIBGRAPI
2005
IEEE
15 years 6 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...
92
Voted
WOLLIC
2009
Springer
15 years 7 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...
80
Voted
ICS
2010
Tsinghua U.
15 years 10 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...
108
Voted
BSL
2006
15 years 26 days 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...
157
Voted
TCBB
2011
14 years 7 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...