1132 search results - page 191 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
JCP
2007
15 years 1 months ago
2007
— In this paper the development of mathematical model of voltage-input and current-input active magnetic bearing (AMB) system in deterministic form is presented. The AMB system, ...
113
click to vote
MP
2010
15 years 11 days ago
2010
Abstract; Dedicated to Alan J. Hoffman Ball et al. propose a graph model for material compatibility constraints for products such as PCs made from components, where each componen...
111
click to vote
RSA
2010
15 years 10 days ago
2010
In this paper we analyze the appearance of a Hamilton cycle in the following random process. The process starts with an empty graph on n labeled vertices. At each round we are pre...
151
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
133
Voted
WAW
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...