18429 search results - page 176 / 3686 » Typing dynamic typing |
150
click to vote
PROCOMET
1998
15 years 7 months ago
1998
We introduce a type assignment system which is parametric with respect to five families of trees obtained by evaluating -terms (B
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: In this paper, we will propose a new type of cipher named DICING_CSB, which come from our previous a synchronous stream cipher DICING. It applies a stream of subkeys and a encryp...
113
click to vote
FUIN
2008
15 years 6 months ago
2008
We give an algorithmic solution in a simple combinatorial data of Birkhoff s type problem studied in [14], for the category repft(I, K[t]/(tm)) of filtered I-chains of modules over...
164
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Bacterial typing schemes based on the sequences of genes encoding surface antigens require databases that provide a uniform, curated, and widely accepted nomenclature ...
176
click to vote
JAPLL
2006
15 years 6 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...