513 search results - page 44 / 103 » Test Construction for Mathematical Functions |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
ITP
2010
13 years 11 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
NJC
2006
13 years 7 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
In brain imaging, cortical data such as the cortical thickness, cortical surface curvatures and surface coordinates have been mapped to a unit sphere for the purpose of visualizat...
ICDM
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a classification algorithm built on our adaptation of the Generalized Lotka-Volterra model, well-known in mathematical ecology. The training algorithm itself consists ...