5493 search results - page 104 / 1099 » Effectively Polynomial Simulations |
107
click to vote
WCE
2007
15 years 2 months ago
2007
—This paper studies the cardiovascular response under heart failure condition supported by two types of ventricular assist devices (VADs): the positive displacement pump and the ...
INFORMS
2010
14 years 10 months ago
2010
Controlled Sequential Bifurcation (CSB) is a factor-screening method for discrete-event simulations. It combines a multi-stage hypothesis testing procedure with the original Seque...
CCSECIS
2011
14 years 1 months ago
2011
Macro-control is an important system of regulation in the body of socialist market economy; it plays a significant role in the social economy. To make it come into play, it is nec...
103
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, even when both are extended with the Tseitin exte...
122
click to vote
ECCC
2007
15 years 1 months ago
2007
We show that if a language L has a 4-round, black-box, computational zero-knowledge proof system with negligible soundness error, then ¯L ∈ MA. Assuming the polynomial hierarch...