1518 search results - page 188 / 304 » Cryptographic Test Correction |
97
Voted
CSDA
2008
15 years 25 days ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
114
click to vote
ENTCS
2008
15 years 25 days ago
2008
This paper reports on the design of a test chip built to test a) a new latency insensitive network fabric protocol and circuits, b) a new synchronizer design, and c) how efficient...
CPHYSICS
2004
15 years 18 days ago
2004
There has been dramatic progress in the scope and power of plasma simulations in recent years; and because codes are generally cheaper to write, to run and to diagnose than experi...
108
Voted
BMCBI
2002
15 years 18 days ago
2002
Background: Gene regulation in eukaryotes is mainly effected through transcription factors binding to rather short recognition motifs generally located upstream of the coding regi...
117
click to vote
MICS
2008
15 years 7 days ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...