Sciweavers

386 search results - page 7 / 78
» Fundamental Questions
Sort
View
CAV
2011
Springer
217views Hardware» more  CAV 2011»
13 years 1 months ago
From Cardiac Cells to Genetic Regulatory Networks
Abstract. A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to ...
Radu Grosu, Grégory Batt, Flavio H. Fenton,...
AIIA
2007
Springer
14 years 4 months ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
FOCM
2008
88views more  FOCM 2008»
13 years 8 months ago
Convergence of the Magnus Series
The Magnus series is an infinite series which arises in the study of linear ordinary differential equations. If the series converges, then the matrix exponential of the sum equals...
Per Christian Moan, Jitse Niesen
ECCC
2011
234views ECommerce» more  ECCC 2011»
13 years 4 months ago
On the complexity of computational problems regarding distributions (a survey)
We consider two basic computational problems regarding discrete probability distributions: (1) approximating the statistical difference (aka variation distance) between two given d...
Oded Goldreich, Salil P. Vadhan
ECCC
2002
86views more  ECCC 2002»
13 years 9 months ago
Classical Physics and the Church-Turing Thesis
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
Andrew Chi-Chih Yao